data/full_repos/permissive/124642985/RTL/transform_for_key_exp.v
1: b"%Error: data/full_repos/permissive/124642985/RTL/transform_for_key_exp.v:50: Cannot find file containing module: 'sbox_replace'\nsbox_replace u_0\n^~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/124642985/RTL,data/full_repos/permissive/124642985/sbox_replace\n             data/full_repos/permissive/124642985/RTL,data/full_repos/permissive/124642985/sbox_replace.v\n             data/full_repos/permissive/124642985/RTL,data/full_repos/permissive/124642985/sbox_replace.sv\n             sbox_replace\n             sbox_replace.v\n             sbox_replace.sv\n             obj_dir/sbox_replace\n             obj_dir/sbox_replace.v\n             obj_dir/sbox_replace.sv\n%Error: data/full_repos/permissive/124642985/RTL/transform_for_key_exp.v:56: Cannot find file containing module: 'sbox_replace'\nsbox_replace u_1\n^~~~~~~~~~~~\n%Error: data/full_repos/permissive/124642985/RTL/transform_for_key_exp.v:62: Cannot find file containing module: 'sbox_replace'\nsbox_replace u_2\n^~~~~~~~~~~~\n%Error: data/full_repos/permissive/124642985/RTL/transform_for_key_exp.v:68: Cannot find file containing module: 'sbox_replace'\nsbox_replace u_3\n^~~~~~~~~~~~\n%Error: Exiting due to 4 error(s)\n"
module transform_for_key_exp
	(
		data_in,
		data_after_linear_key_out
	);
input	[31 : 0]	data_in;

output	[31 : 0]	data_after_linear_key_out; 	

wire	[7:0]	byte_0;
wire	[7:0]	byte_1;
wire	[7:0]	byte_2;
wire	[7:0]	byte_3;
wire	[7:0]	byte_0_replaced;
wire	[7:0]	byte_1_replaced;
wire	[7:0]	byte_2_replaced;
wire	[7:0]	byte_3_replaced;
wire	[31:0]	word_replaced;

assign	{	byte_0,
			byte_1,
			byte_2,
			byte_3}	=	data_in;

assign	word_replaced	=	{	byte_0_replaced,
								byte_1_replaced,
								byte_2_replaced,
								byte_3_replaced};

sbox_replace u_0
	(
		.data_in(byte_0),
		.result_out(byte_0_replaced)														
	);

sbox_replace	u_1
	(
		.data_in(byte_1),
		.result_out(byte_1_replaced)														
	);
	
sbox_replace	u_2
	(
		.data_in(byte_2),
		.result_out(byte_2_replaced)														
	);
	
sbox_replace	u_3
	(
		.data_in(byte_3),
		.result_out(byte_3_replaced)														
	);																																				

assign	data_after_linear_key_out	= (word_replaced ^ {word_replaced[18:0], word_replaced[31:19]}) 
					^ {word_replaced[8:0], word_replaced[31:9]};

endmodule
module transform_for_key_exp
	(
		data_in,
		data_after_linear_key_out
	);

input	[31 : 0]	data_in;

output	[31 : 0]	data_after_linear_key_out; 	

wire	[7:0]	byte_0;
wire	[7:0]	byte_1;
wire	[7:0]	byte_2;
wire	[7:0]	byte_3;
wire	[7:0]	byte_0_replaced;
wire	[7:0]	byte_1_replaced;
wire	[7:0]	byte_2_replaced;
wire	[7:0]	byte_3_replaced;
wire	[31:0]	word_replaced;

assign	{	byte_0,
			byte_1,
			byte_2,
			byte_3}	=	data_in;

assign	word_replaced	=	{	byte_0_replaced,
								byte_1_replaced,
								byte_2_replaced,
								byte_3_replaced};

sbox_replace u_0
	(
		.data_in(byte_0),
		.result_out(byte_0_replaced)														
	);

sbox_replace	u_1
	(
		.data_in(byte_1),
		.result_out(byte_1_replaced)														
	);
	
sbox_replace	u_2
	(
		.data_in(byte_2),
		.result_out(byte_2_replaced)														
	);
	
sbox_replace	u_3
	(
		.data_in(byte_3),
		.result_out(byte_3_replaced)														
	);																																				

assign	data_after_linear_key_out	= (word_replaced ^ {word_replaced[18:0], word_replaced[31:19]}) 
					^ {word_replaced[8:0], word_replaced[31:9]};

endmodule