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;
 
		while (reset_needed) {
			gen data;
 
			if (data.reset_n == 0) {
				reset_needed = FALSE;
			};
		};
 
		reset_n$    = data.reset_n;
		alu_result$ = data.alu_result;
		alu_status$ = data.alu_status;
		data_in$    = mem[i].as_a(byte);
		data.data_in = mem[i].as_a(byte);
		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;
	};
};
'>