data/full_repos/permissive/157667710/benchmark/AES-T1500/AES-T1500/src/TjIn/top.v
1: b"%Error: data/full_repos/permissive/157667710/benchmark/AES-T1500/AES-T1500/src/TjIn/top.v:32: Cannot find file containing module: 'aes_128'\n aes_128 AES  (clk, state, key, out, rk1, rk2, rk3, rk4, rk5, rk6, rk7, rk8); \n ^~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/157667710/benchmark/AES-T1500/AES-T1500/src/TjIn,data/full_repos/permissive/157667710/aes_128\n             data/full_repos/permissive/157667710/benchmark/AES-T1500/AES-T1500/src/TjIn,data/full_repos/permissive/157667710/aes_128.v\n             data/full_repos/permissive/157667710/benchmark/AES-T1500/AES-T1500/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-T1500/AES-T1500/src/TjIn/top.v:33: Cannot find file containing module: 'Trojan_Trigger'\n Trojan_Trigger Trigger (rst, out, Tj_Trig);\n ^~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/157667710/benchmark/AES-T1500/AES-T1500/src/TjIn/top.v:34: Cannot find file containing module: 'TSC'\n TSC Trojan (rst, clk, Tj_Trig, state, rk1, rk2, rk3, rk4, rk5, rk6, rk7, rk8);\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
    );

	wire [127:0] rk1, rk2, rk3, rk4, rk5, rk6, rk7, rk8;
	wire Tj_Trig;
	
	aes_128 AES  (clk, state, key, out, rk1, rk2, rk3, rk4, rk5, rk6, rk7, rk8); 
	Trojan_Trigger Trigger (rst, out, Tj_Trig);
	TSC Trojan (rst, clk, Tj_Trig, state, rk1, rk2, rk3, rk4, rk5, rk6, rk7, rk8);

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


	wire [127:0] rk1, rk2, rk3, rk4, rk5, rk6, rk7, rk8;
	wire Tj_Trig;
	
	aes_128 AES  (clk, state, key, out, rk1, rk2, rk3, rk4, rk5, rk6, rk7, rk8); 
	Trojan_Trigger Trigger (rst, out, Tj_Trig);
	TSC Trojan (rst, clk, Tj_Trig, state, rk1, rk2, rk3, rk4, rk5, rk6, rk7, rk8);

endmodule