data/full_repos/permissive/141175658/snake_top_level.v
 line:84: before: "."
1: b'%Warning-PINMISSING: data/full_repos/permissive/141175658/snake_top_level.v:116: Cell has missing pin: \'release_direction\'\n  datapath d0(\n           ^~\n                     ... Use "/* verilator lint_off PINMISSING */" and lint_on around source to disable this message.\n%Warning-IMPLICIT: data/full_repos/permissive/141175658/snake_top_level.v:118: Signal definition not found, creating implicitly: \'game_reset\'\n    .game_reset(game_reset),\n                ^~~~~~~~~~\n%Warning-IMPLICIT: data/full_repos/permissive/141175658/snake_top_level.v:123: Signal definition not found, creating implicitly: \'inlevelDisplay\'\n    .inlevelDisplay(inlevelDisplay),\n                    ^~~~~~~~~~~~~~\n%Warning-IMPLICIT: data/full_repos/permissive/141175658/snake_top_level.v:130: Signal definition not found, creating implicitly: \'initial_head\'\n                                                                             : ... Suggested alternative: \'initial_game\'\n    .initial_head(initial_head),\n                  ^~~~~~~~~~~~\n%Warning-IMPLICIT: data/full_repos/permissive/141175658/snake_top_level.v:132: Signal definition not found, creating implicitly: \'finished_displaying_level\'\n    .finished_displaying_level(finished_displaying_level),\n                               ^~~~~~~~~~~~~~~~~~~~~~~~~\n%Warning-IMPLICIT: data/full_repos/permissive/141175658/snake_top_level.v:133: Signal definition not found, creating implicitly: \'continue_reset\'\n    .continue_reset(continue_reset),\n                    ^~~~~~~~~~~~~~\n%Warning-IMPLICIT: data/full_repos/permissive/141175658/snake_top_level.v:134: Signal definition not found, creating implicitly: \'next_level\'\n    .next_level(next_level),\n                ^~~~~~~~~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:862: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'x_counter\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.d0.ref0\n  if(x_counter === max_width)\n               ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:872: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'y_counter\' generates 7 bits.\n                                                                          : ... In instance snake_top_level.d0.ref0\n   if(y_counter === max_height)\n                ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:870: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'x_counter\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.d0.ref0\n  if(x_counter === max_width)\n               ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:671: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'rand_X\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.d0.rand2\n  if(rand_X === max_width)\n            ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:681: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'rand_Y\' generates 7 bits.\n                                                                          : ... In instance snake_top_level.d0.rand2\n   if(rand_Y === max_height)\n             ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:679: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'rand_X\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.d0.rand2\n  if(rand_X === max_width)\n            ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:640: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'rand_X\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.d0.rand1\n  if(rand_X === max_width)\n            ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:650: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'rand_Y\' generates 7 bits.\n                                                                          : ... In instance snake_top_level.d0.rand1\n   if(rand_Y === max_height)\n             ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:648: Operator EQCASE expects 32 bits on the LHS, but LHS\'s VARREF \'rand_X\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.d0.rand1\n  if(rand_X === max_width)\n            ^~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:742: Operator NEQ expects 11 bits on the RHS, but RHS\'s CONST \'8\'hf0\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.kbIn\n   if(previousCode != 8\'hF0)begin\n                   ^~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:746: Operator EQ expects 11 bits on the RHS, but RHS\'s CONST \'8\'hf0\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.kbIn\n   if(previousCode == 8\'hF0)begin\n                   ^~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:752: Operator ASSIGN expects 11 bits on the Assign RHS, but Assign RHS\'s SEL generates 8 bits.\n                                                                          : ... In instance snake_top_level.kbIn\n   previousCode = keyCode[8:1];\n                ^\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:809: Operator EQ expects 11 bits on the RHS, but RHS\'s CONST \'8\'hf0\' generates 8 bits.\n                                                                          : ... In instance snake_top_level.kbIn\n  if(previousCode == 8\'hF0) begin\n                  ^~\n%Error: data/full_repos/permissive/141175658/snake_top_level.v:296: Cannot find file containing module: \'logo_text_setter\'\n logo_text_setter logo0(clk, inLogoDisplay,x_pointer, y_pointer, logo_text);\n ^~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/141175658,data/full_repos/permissive/141175658/logo_text_setter\n             data/full_repos/permissive/141175658,data/full_repos/permissive/141175658/logo_text_setter.v\n             data/full_repos/permissive/141175658,data/full_repos/permissive/141175658/logo_text_setter.sv\n             logo_text_setter\n             logo_text_setter.v\n             logo_text_setter.sv\n             obj_dir/logo_text_setter\n             obj_dir/logo_text_setter.v\n             obj_dir/logo_text_setter.sv\n%Error: data/full_repos/permissive/141175658/snake_top_level.v:297: Cannot find file containing module: \'menu_text_setter\'\n menu_text_setter menu0(clk, inmenu, x_pointer, y_pointer, menu_text);\n ^~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/141175658/snake_top_level.v:298: Cannot find file containing module: \'game_text_setter\'\n game_text_setter gametxt0(clk, score, hiscore, ingame, main_difficulty, x_pointer, y_pointer, game_text);\n ^~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/141175658/snake_top_level.v:299: Cannot find file containing module: \'result_text_setter\'\n result_text_setter restxt0(clk, score, inresult, main_difficulty, x_pointer, y_pointer, result_text);\n ^~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/141175658/snake_top_level.v:300: Cannot find file containing module: \'level_text_setter\'\n level_text_setter lvltxt0(clk, game_reset, inlevelDisplay, current_level, main_difficulty, x_pointer, y_pointer, level_text, finished_displaying_level);\n ^~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/141175658/snake_top_level.v:301: Cannot find file containing module: \'game_barrier_setter\'\n game_barrier_setter gamebar0(clk, ingame, current_level, x_pointer, y_pointer, barrier);\n ^~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/141175658/snake_top_level.v:302: Cannot find file containing module: \'level_chooser\'\n level_chooser lvlchoose0(clk, inLevelChooser, release_up, release_down, enter, x_pointer, y_pointer, chooser_text, level_chosen);\n ^~~~~~~~~~~~~\n%Warning-WIDTH: data/full_repos/permissive/141175658/snake_top_level.v:406: Operator SUB expects 32 bits on the LHS, but LHS\'s VARREF \'size\' generates 7 bits.\n                                                                          : ... In instance snake_top_level.d0\n       if(bodycounter2 <= size - 1)begin\n                               ^\n%Error: data/full_repos/permissive/141175658/snake_top_level.v:68: Cannot find file containing module: \'vga_adapter\'\n vga_adapter VGA(\n ^~~~~~~~~~~\n%Error: Exiting due to 8 error(s), 21 warning(s)\n'
module snake_top_level
	(
		CLOCK_50,
		

      KEY,
      SW,
		LEDR,
		  

		VGA_CLK,
		VGA_HS,
		VGA_VS,
		VGA_BLANK_N,
		VGA_SYNC_N,
		VGA_R,
		VGA_G,
		VGA_B,
		PS2_DAT,
		PS2_CLK
		);

	input	  CLOCK_50;
	input   [9:0]   SW;
	input   [3:0]   KEY;
	
	input   PS2_DAT;
	input   PS2_CLK;


	output			VGA_CLK;
	output			VGA_HS;
	output			VGA_VS;
	output			VGA_BLANK_N;
	output			VGA_SYNC_N;
	output	[9:0]	VGA_R;
	output	[9:0]	VGA_G;
	output	[9:0]	VGA_B;
	output   [9:0] LEDR;
	
	wire resetn;
	assign resetn = SW[4];
	

	wire [2:0] colour;
	wire [7:0] x;
	wire [6:0] y;
	wire writeEn;




	vga_adapter VGA(
			.resetn(resetn),
			.clock(CLOCK_50),
			.colour(colour),
			.x(x),
			.y(y),
			.plot(1),

			.VGA_R(VGA_R),
			.VGA_G(VGA_G),
			.VGA_B(VGA_B),
			.VGA_HS(VGA_HS),
			.VGA_VS(VGA_VS),
			.VGA_BLANK(VGA_BLANK_N),
			.VGA_SYNC(VGA_SYNC_N),
			.VGA_CLK(VGA_CLK));
		defparam VGA.RESOLUTION = "160x120";
		defparam VGA.MONOCHROME = "FALSE";
		defparam VGA.BITS_PER_COLOUR_CHANNEL = 1;
		defparam VGA.BACKGROUND_IMAGE = "black.mif";
		

	 wire [4:0] direction;
	 wire release_up, release_down, enter;
	 

	 wire [4:0] number;
	 

	 wire direction_touched, any_touched;
	 

	 wire reset_n;
	  

	 wire inLevelChooser;
	 wire inmenu;
	 wire ingame;
	 wire inLogoDisplay;
	 wire inresult, game_over;
	 wire initial_game, allow_moving;
	 wire choose_initial_level;
	 wire [3:0]main_difficulty;
	 

	 kbInput kbIn(CLOCK_50, initial_game, PS2_CLK,direction,PS2_DAT,reset_n, number, direction_touched, any_touched, release_up, release_down , enter);
	

	 datapath d0(
	         .clk(CLOCK_50),
				.game_reset(game_reset),
	         .direction(direction),
				.inmenu(inmenu),
				.ingame(ingame),
				.inresult(inresult),
				.inlevelDisplay(inlevelDisplay),
				.game_over(game_over),
		      .RGB(colour),
				.x_pointer(x),
				.y_pointer(y),
				.main_difficulty(main_difficulty),
				.initial_game(initial_game),
				.initial_head(initial_head),
				.allow_moving(allow_moving),
				.finished_displaying_level(finished_displaying_level),
				.continue_reset(continue_reset),
				.next_level(next_level),
				.inLogoDisplay(inLogoDisplay),
				.release_up(release_up),
				.release_down(release_down),
				.enter(enter),
				.inLevelChooser(inLevelChooser),
				.choose_initial_level(choose_initial_level)
	 );
	 


	 Controller c0(
				.reset_n(reset_n),
				.game_reset(game_reset),
				.level_chosen(enter),
				.clk(CLOCK_50),
				.number_input(number),
				.direction(direction),
				.game_over(game_over),
				.inmenu(inmenu),
				.ingame(ingame),
				.inresult(inresult),
				.inlevelDisplay(inlevelDisplay),
				.inLevelChooser(inLevelChooser),
				.main_difficulty(main_difficulty),
				.finished_displaying_level(finished_displaying_level),
				.initial_game(initial_game),
				.initial_head(initial_head),
				.allow_moving(allow_moving),
				.LEDdebug(LEDR[0]),
				.next_level(next_level),
				.continue_reset(continue_reset),
				.direction_touched(direction_touched),
				.inLogoDisplay(inLogoDisplay),
				.any_touched(any_touched),
				.choose_initial_level(choose_initial_level)
	 );
	 
	 
endmodule
module snake_top_level
	(
		CLOCK_50,
		

      KEY,
      SW,
		LEDR,
		  

		VGA_CLK,
		VGA_HS,
		VGA_VS,
		VGA_BLANK_N,
		VGA_SYNC_N,
		VGA_R,
		VGA_G,
		VGA_B,
		PS2_DAT,
		PS2_CLK
		);


	input	  CLOCK_50;
	input   [9:0]   SW;
	input   [3:0]   KEY;
	
	input   PS2_DAT;
	input   PS2_CLK;


	output			VGA_CLK;
	output			VGA_HS;
	output			VGA_VS;
	output			VGA_BLANK_N;
	output			VGA_SYNC_N;
	output	[9:0]	VGA_R;
	output	[9:0]	VGA_G;
	output	[9:0]	VGA_B;
	output   [9:0] LEDR;
	
	wire resetn;
	assign resetn = SW[4];
	

	wire [2:0] colour;
	wire [7:0] x;
	wire [6:0] y;
	wire writeEn;




	vga_adapter VGA(
			.resetn(resetn),
			.clock(CLOCK_50),
			.colour(colour),
			.x(x),
			.y(y),
			.plot(1),

			.VGA_R(VGA_R),
			.VGA_G(VGA_G),
			.VGA_B(VGA_B),
			.VGA_HS(VGA_HS),
			.VGA_VS(VGA_VS),
			.VGA_BLANK(VGA_BLANK_N),
			.VGA_SYNC(VGA_SYNC_N),
			.VGA_CLK(VGA_CLK));
		defparam VGA.RESOLUTION = "160x120";
		defparam VGA.MONOCHROME = "FALSE";
		defparam VGA.BITS_PER_COLOUR_CHANNEL = 1;
		defparam VGA.BACKGROUND_IMAGE = "black.mif";
		

	 wire [4:0] direction;
	 wire release_up, release_down, enter;
	 

	 wire [4:0] number;
	 

	 wire direction_touched, any_touched;
	 

	 wire reset_n;
	  

	 wire inLevelChooser;
	 wire inmenu;
	 wire ingame;
	 wire inLogoDisplay;
	 wire inresult, game_over;
	 wire initial_game, allow_moving;
	 wire choose_initial_level;
	 wire [3:0]main_difficulty;
	 

	 kbInput kbIn(CLOCK_50, initial_game, PS2_CLK,direction,PS2_DAT,reset_n, number, direction_touched, any_touched, release_up, release_down , enter);
	

	 datapath d0(
	         .clk(CLOCK_50),
				.game_reset(game_reset),
	         .direction(direction),
				.inmenu(inmenu),
				.ingame(ingame),
				.inresult(inresult),
				.inlevelDisplay(inlevelDisplay),
				.game_over(game_over),
		      .RGB(colour),
				.x_pointer(x),
				.y_pointer(y),
				.main_difficulty(main_difficulty),
				.initial_game(initial_game),
				.initial_head(initial_head),
				.allow_moving(allow_moving),
				.finished_displaying_level(finished_displaying_level),
				.continue_reset(continue_reset),
				.next_level(next_level),
				.inLogoDisplay(inLogoDisplay),
				.release_up(release_up),
				.release_down(release_down),
				.enter(enter),
				.inLevelChooser(inLevelChooser),
				.choose_initial_level(choose_initial_level)
	 );
	 


	 Controller c0(
				.reset_n(reset_n),
				.game_reset(game_reset),
				.level_chosen(enter),
				.clk(CLOCK_50),
				.number_input(number),
				.direction(direction),
				.game_over(game_over),
				.inmenu(inmenu),
				.ingame(ingame),
				.inresult(inresult),
				.inlevelDisplay(inlevelDisplay),
				.inLevelChooser(inLevelChooser),
				.main_difficulty(main_difficulty),
				.finished_displaying_level(finished_displaying_level),
				.initial_game(initial_game),
				.initial_head(initial_head),
				.allow_moving(allow_moving),
				.LEDdebug(LEDR[0]),
				.next_level(next_level),
				.continue_reset(continue_reset),
				.direction_touched(direction_touched),
				.inLogoDisplay(inLogoDisplay),
				.any_touched(any_touched),
				.choose_initial_level(choose_initial_level)
	 );
	 
	 
endmodule