data/full_repos/permissive/157436936/ex4/MAN_detector.v
1: b"%Error: data/full_repos/permissive/157436936/ex4/MAN_detector.v:12: Cannot find file containing module: 'D_FF'\n D_FF FF0(q0, clk, in, rst_state_n);\n ^~~~\n        ... Looked in:\n             data/full_repos/permissive/157436936/ex4,data/full_repos/permissive/157436936/D_FF\n             data/full_repos/permissive/157436936/ex4,data/full_repos/permissive/157436936/D_FF.v\n             data/full_repos/permissive/157436936/ex4,data/full_repos/permissive/157436936/D_FF.sv\n             D_FF\n             D_FF.v\n             D_FF.sv\n             obj_dir/D_FF\n             obj_dir/D_FF.v\n             obj_dir/D_FF.sv\n%Error: data/full_repos/permissive/157436936/ex4/MAN_detector.v:13: Cannot find file containing module: 'D_FF'\n D_FF FF1(q1, clk, q0, rst_state_n);\n ^~~~\n%Error: Exiting due to 2 error(s)\n"
module MAN_detector(clk, in, data, edge_pulse, rst_state_n);
	input clk;
	input in;
	output data;
	output edge_pulse;
	input rst_state_n;
	
	wire q0;
	wire q1;
	not gate1(data, q1);
	
	D_FF FF0(q0, clk, in, rst_state_n);
	D_FF FF1(q1, clk, q0, rst_state_n);
	
	xor gate2(edge_pulse, q0, q1);
	
endmodule
module MAN_detector(clk, in, data, edge_pulse, rst_state_n);

	input clk;
	input in;
	output data;
	output edge_pulse;
	input rst_state_n;
	
	wire q0;
	wire q1;
	not gate1(data, q1);
	
	D_FF FF0(q0, clk, in, rst_state_n);
	D_FF FF1(q1, clk, q0, rst_state_n);
	
	xor gate2(edge_pulse, q0, q1);
	
endmodule