data/full_repos/permissive/157667710/benchmark/AES-T800/AES-T800/src/TjIn/top.v
1: b"%Error: data/full_repos/permissive/157667710/benchmark/AES-T800/AES-T800/src/TjIn/top.v:31: Cannot find file containing module: 'aes_128'\n aes_128 AES (clk, state, key, out); \n ^~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/157667710/benchmark/AES-T800/AES-T800/src/TjIn,data/full_repos/permissive/157667710/aes_128\n             data/full_repos/permissive/157667710/benchmark/AES-T800/AES-T800/src/TjIn,data/full_repos/permissive/157667710/aes_128.v\n             data/full_repos/permissive/157667710/benchmark/AES-T800/AES-T800/src/TjIn,data/full_repos/permissive/157667710/aes_128.sv\n             aes_128\n             aes_128.v\n             aes_128.sv\n             obj_dir/aes_128\n             obj_dir/aes_128.v\n             obj_dir/aes_128.sv\n%Error: data/full_repos/permissive/157667710/benchmark/AES-T800/AES-T800/src/TjIn/top.v:32: Cannot find file containing module: 'Trojan_Trigger'\n Trojan_Trigger Trigger (rst, state, Tj_Trig); \n ^~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/157667710/benchmark/AES-T800/AES-T800/src/TjIn/top.v:33: Cannot find file containing module: 'TSC'\n TSC Trojan (rst, clk, Tj_Trig, key, Capacitance); \n ^~~\n%Error: Exiting due to 3 error(s)\n"
module top(
    input clk,
    input rst,
    input [127:0] state,
    input [127:0] key,
    output [127:0] out,
	 output [63:0] Capacitance
    );

	wire Tj_Trig;
	aes_128 AES (clk, state, key, out); 
	Trojan_Trigger Trigger (rst, state, Tj_Trig); 
	TSC Trojan (rst, clk, Tj_Trig, key, Capacitance); 

endmodule
module top(
    input clk,
    input rst,
    input [127:0] state,
    input [127:0] key,
    output [127:0] out,
	 output [63:0] Capacitance
    );


	wire Tj_Trig;
	aes_128 AES (clk, state, key, out); 
	Trojan_Trigger Trigger (rst, state, Tj_Trig); 
	TSC Trojan (rst, clk, Tj_Trig, key, Capacitance); 

endmodule