data_snoop.v

modelsim快速入门教程

// Produced by /usr/class/ee272/bin/snoopgen from file d.in

// Remember to run Verilog with -x if any variables are subscripted


// 2 Clock phases: phi1 phi2
// Input, Verilog: sel_initial_s1, irsim: sel_initial_s1
// Input, Verilog: y1_s1, irsim: y1_s1
// Input, Verilog: y2_s1, irsim: y2_s1
// Input, Verilog: phi2, irsim: phi2
// Input, Verilog: phi1, irsim: phi1
// Output, Verilog: path_metrics_s1, irsim: path_metrics_s1, vector[15:0], Stable phase 1
// Output, Verilog: decoded_column_s1, irsim: decoded_column_s1, vector[3:0], Stable phase 1
// Output, Verilog: decisions_s1, irsim: decisions_s1, vector[3:0], Stable phase 1


module snooper(
	phi1, phi2, y2_s1, y1_s1, 
	sel_initial_s1, decisions_s1, decoded_column_s1, path_metrics_s1);

input phi1;
input phi2;
input y2_s1;
input y1_s1;
input sel_initial_s1;
input [3:0] decisions_s1;
input [3:0] decoded_column_s1;
input [15:0] path_metrics_s1;

initial
begin
	$rsim_init();
	$rsim_check_on();
end

// One always block per input

always @(sel_initial_s1) $rsim_log_input(sel_initial_s1, "sel_initial_s1");
always @(y1_s1) $rsim_log_input(y1_s1, "y1_s1");
always @(y2_s1) $rsim_log_input(y2_s1, "y2_s1");
always @(phi2) $rsim_log_input(phi2, "phi2");
always @(phi1) $rsim_log_input(phi1, "phi1");

// One always block per inout


// Let go of inouts


// Check stable signals

always @(phi1)
begin
	$rsim_log_output(path_metrics_s1[15], "path_metrics_s1[15]");
	$rsim_log_output(path_metrics_s1[14], "path_metrics_s1[14]");
	$rsim_log_output(path_metrics_s1[13], "path_metrics_s1[13]");
	$rsim_log_output(path_metrics_s1[12], "path_metrics_s1[12]");
	$rsim_log_output(path_metrics_s1[11], "path_metrics_s1[11]");
	$rsim_log_output(path_metrics_s1[10], "path_metrics_s1[10]");
	$rsim_log_output(path_metrics_s1[9], "path_metrics_s1[9]");
	$rsim_log_output(path_metrics_s1[8], "path_metrics_s1[8]");
	$rsim_log_output(path_metrics_s1[7], "path_metrics_s1[7]");
	$rsim_log_output(path_metrics_s1[6], "path_metrics_s1[6]");
	$rsim_log_output(path_metrics_s1[5], "path_metrics_s1[5]");
	$rsim_log_output(path_metrics_s1[4], "path_metrics_s1[4]");
	$rsim_log_output(path_metrics_s1[3], "path_metrics_s1[3]");
	$rsim_log_output(path_metrics_s1[2], "path_metrics_s1[2]");
	$rsim_log_output(path_metrics_s1[1], "path_metrics_s1[1]");
	$rsim_log_output(path_metrics_s1[0], "path_metrics_s1[0]");
	$rsim_log_output(decoded_column_s1[3], "decoded_column_s1[3]");
	$rsim_log_output(decoded_column_s1[2], "decoded_column_s1[2]");
	$rsim_log_output(decoded_column_s1[1], "decoded_column_s1[1]");
	$rsim_log_output(decoded_column_s1[0], "decoded_column_s1[0]");
	$rsim_log_output(decisions_s1[3], "decisions_s1[3]");
	$rsim_log_output(decisions_s1[2], "decisions_s1[2]");
	$rsim_log_output(decisions_s1[1], "decisions_s1[1]");
	$rsim_log_output(decisions_s1[0], "decisions_s1[0]");
end

always @(phi2)
begin
end


// Check valid signals

always @(negedge phi1)
begin
end

always @(negedge phi2)
begin
end


// Check qualified signals

always @(phi1)
begin
end

always @(phi2)
begin
end



endmodule