data/full_repos/permissive/157436936/ex4/MAN_decoder.v
1: b"%Error: data/full_repos/permissive/157436936/ex4/MAN_decoder.v:18: Cannot find file containing module: 'D_FF'\n D_FF FF(strobe, clk, raise, rst);\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_decoder.v:20: Cannot find file containing module: 'MAN_detector'\n MAN_detector man_detector (\n ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/157436936/ex4/MAN_decoder.v:28: Cannot find file containing module: 'MAN_one_shot_Johnson'\n MAN_one_shot_Johnson man_one_shot_johnson (\n ^~~~~~~~~~~~~~~~~~~~\n%Error: Exiting due to 3 error(s)\n"
module MAN_decoder(clk, in, strobe, data, rst);
	input clk;
	input in;
	output strobe;
	output data;
	input rst;
	
	wire edge_pulse;
	wire [2:0] q;
	wire [2:0] nq;
	wire raise;
	
	not gaten1(nq[0], q[0]);
	not gaten2(nq[1], q[1]);
	not gaten3(nq[2], q[2]);
	and gatea1(raise, nq[0], nq[1], nq[2], edge_pulse);
	
	D_FF FF(strobe, clk, raise, rst);
	
	MAN_detector man_detector (
		.clk(clk),
		.in(in),
		.data(data),
		.edge_pulse(edge_pulse),
		.rst_state_n(rst)
	);

	MAN_one_shot_Johnson man_one_shot_johnson (
		.clk(clk),
		.edge_pulse(edge_pulse),
		.q(q),
		.rst_state_n(rst)
	);
	
endmodule
module MAN_decoder(clk, in, strobe, data, rst);

	input clk;
	input in;
	output strobe;
	output data;
	input rst;
	
	wire edge_pulse;
	wire [2:0] q;
	wire [2:0] nq;
	wire raise;
	
	not gaten1(nq[0], q[0]);
	not gaten2(nq[1], q[1]);
	not gaten3(nq[2], q[2]);
	and gatea1(raise, nq[0], nq[1], nq[2], edge_pulse);
	
	D_FF FF(strobe, clk, raise, rst);
	
	MAN_detector man_detector (
		.clk(clk),
		.in(in),
		.data(data),
		.edge_pulse(edge_pulse),
		.rst_state_n(rst)
	);

	MAN_one_shot_Johnson man_one_shot_johnson (
		.clk(clk),
		.edge_pulse(edge_pulse),
		.q(q),
		.rst_state_n(rst)
	);
	
endmodule