Subversion Repositories t6507lp

<'
import fsm_components.e;
type fsm_input_t  : [ RESET, INSTRUCTIONS ];
 
struct fsm_input_s {
	input_kind : fsm_input_t;
	reset_n    : bit;
	alu_result : byte;
	alu_status : byte;
	data_in    : byte;
	alu_x      : byte;
	alu_y      : byte;
 
	keep soft input_kind == select {
			99: INSTRUCTIONS;
			1 : RESET;
		};	
 
	when RESET'input_kind fsm_input_s {
		keep reset_n == 0;
	};
 
	when INSTRUCTIONS'input_kind fsm_input_s {
		keep reset_n == 1;
	};
 
--	event T1_cover_event;
--	cover T1_cover_event is {
--		item input_kind using no_collect=TRUE, ignore = (input_kind == ENABLED_RAND || input_kind == DISABLED_RAND);
--		item alu_opcode using num_of_buckets=256, radix=HEX, no_collect=TRUE;
--		cross input_kind, alu_opcode;
--		//item alu_a;
--	};
};
 
'>