URL
https://opencores.org/ocsvn/t6507lp/t6507lp/trunk
Subversion Repositories t6507lp
[/] [t6507lp/] [trunk/] [fv/] [fsm_bfm.e] - Rev 217
Go to most recent revision | Compare with Previous | Blame | View Log
<' import fsm_components.e; unit fsm_bfm_u { reset_n : out simple_port of bit; alu_result : out simple_port of byte; alu_status : out simple_port of byte; data_in : out simple_port of byte; alu_x : out simple_port of byte; alu_y : out simple_port of byte; reset_needed : bool; keep reset_needed == TRUE; event done; event main_clk; mem : list of valid_opcodes; keep mem.size() == 8192; !i : uint(bits:13); keep i == 0; on main_clk { var data : fsm_input_s; var last_X : byte; var last_Y : byte; gen data; --print mem[i]; --keep data.data_in == mem[i].as_a(byte); while (reset_needed) { gen data; if (data.reset_n == 0) { 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; alu_result$ = data.alu_result; alu_status$ = data.alu_status; --data_in$ = data.data_in; data_in$ = mem[i].as_a(byte); data.data_in = mem[i].as_a(byte); --data_in$ = 8'hF8; --print me.agent.chk.old_state; --if (me.agent.chk.old_state == CYCLE_1) { -- last_X = data.alu_x; -- last_Y = data.alu_y; --}; --alu_x$ = last_X; --alu_y$ = last_Y; 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); emit done; }; }; '>
Go to most recent revision | Compare with Previous | Blame | View Log