data/full_repos/permissive/139729848/roboy_darkroom_tracker.v
1: b"%Error: data/full_repos/permissive/139729848/roboy_darkroom_tracker.v:90: Cannot find file containing module: 'ts4231'\nts4231 #(16_000_000) ts(\n^~~~~~\n        ... Looked in:\n             data/full_repos/permissive/139729848,data/full_repos/permissive/139729848/ts4231\n             data/full_repos/permissive/139729848,data/full_repos/permissive/139729848/ts4231.v\n             data/full_repos/permissive/139729848,data/full_repos/permissive/139729848/ts4231.sv\n             ts4231\n             ts4231.v\n             ts4231.sv\n             obj_dir/ts4231\n             obj_dir/ts4231.v\n             obj_dir/ts4231.sv\n%Error: Exiting due to 1 error(s)\n"
module roboy_darkroom_tracker(
	input clock_16MHz,
	inout [1:0]data,
	inout [1:0]envelope,
	output sck,
	output mosi,
	output ss_n,
	output uart_tx
);


parameter NUMBER_OF_SENSORS = 2;













































































ts4231 #(16_000_000) ts(
	.clk(clock_16MHz),
	.rst(1'b0),
	.D(data[0]),
	.E(envelope[0]),
	.sensor_STATE({mosi,ss_n,sck})
);

endmodule
module roboy_darkroom_tracker(
	input clock_16MHz,
	inout [1:0]data,
	inout [1:0]envelope,
	output sck,
	output mosi,
	output ss_n,
	output uart_tx
);



parameter NUMBER_OF_SENSORS = 2;













































































ts4231 #(16_000_000) ts(
	.clk(clock_16MHz),
	.rst(1'b0),
	.D(data[0]),
	.E(envelope[0]),
	.sensor_STATE({mosi,ss_n,sck})
);

endmodule