URL
https://opencores.org/ocsvn/t6507lp/t6507lp/trunk
[/] [t6507lp/] [trunk/] [fv/] [fsm_bfm.e] - Diff between revs 212 and 247
Go to most recent revision |
Show entire file |
Details |
Blame |
View Log
Rev 212 |
Rev 247 |
Line 25... |
Line 25... |
var data : fsm_input_s;
|
var data : fsm_input_s;
|
var last_X : byte;
|
var last_X : byte;
|
var last_Y : byte;
|
var last_Y : byte;
|
gen data;
|
gen data;
|
|
|
--print mem[i];
|
|
--keep data.data_in == mem[i].as_a(byte);
|
|
while (reset_needed) {
|
while (reset_needed) {
|
gen data;
|
gen data;
|
|
|
if (data.reset_n == 0) {
|
if (data.reset_n == 0) {
|
reset_needed = FALSE;
|
reset_needed = FALSE;
|
};
|
};
|
};
|
};
|
|
|
-- if (data.test_kind == REGULAR) {
|
|
-- emit data.T1_cover_event;
|
|
-- alu_opcode$ = data.alu_opcode.as_a(byte);
|
|
-- }
|
|
-- else {
|
|
-- emit data.T2_cover_event;
|
|
-- alu_opcode$ = data.rand_op;
|
|
-- };
|
|
|
|
reset_n$ = data.reset_n;
|
reset_n$ = data.reset_n;
|
alu_result$ = data.alu_result;
|
alu_result$ = data.alu_result;
|
alu_status$ = data.alu_status;
|
alu_status$ = data.alu_status;
|
--data_in$ = data.data_in;
|
|
data_in$ = mem[i].as_a(byte);
|
data_in$ = mem[i].as_a(byte);
|
data.data_in = mem[i].as_a(byte);
|
data.data_in = mem[i].as_a(byte);
|
--data_in$ = 8'hF8;
|
alu_x$ = data.alu_x;
|
--print me.agent.chk.old_state;
|
alu_y$ = data.alu_y;
|
--if (me.agent.chk.old_state == CYCLE_1) {
|
|
-- last_X = data.alu_x;
|
if (data.reset_n == 1) {
|
-- last_Y = data.alu_y;
|
i = i + 1;
|
--};
|
}
|
--alu_x$ = last_X;
|
else {
|
--alu_y$ = last_Y;
|
i = 0;
|
alu_x$ = data.alu_x;
|
};
|
alu_y$ = data.alu_y;
|
|
|
|
if (data.reset_n == 1) {
|
|
i = i + 1;
|
|
}
|
|
else {
|
|
i = 0;
|
|
};
|
|
|
|
agent.chk.store(data);
|
agent.chk.store(data);
|
emit done;
|
emit done;
|
};
|
|
};
|
|
'>
|
|
|
|
No newline at end of file
|
No newline at end of file
|
|
};
|
|
};
|
|
'>
|
|
|
No newline at end of file
|
No newline at end of file
|
© copyright 1999-2025
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.