Subversion Repositories t6507lp

<' 
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;
	};
};
'>