data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v
1: b'%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:1: Cannot find include file: constants.vh\n`include "constants.vh" \n         ^~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/188068190/ridecore-src-buggy,data/full_repos/permissive/188068190/constants.vh\n             data/full_repos/permissive/188068190/ridecore-src-buggy,data/full_repos/permissive/188068190/constants.vh.v\n             data/full_repos/permissive/188068190/ridecore-src-buggy,data/full_repos/permissive/188068190/constants.vh.sv\n             constants.vh\n             constants.vh.v\n             constants.vh.sv\n             obj_dir/constants.vh\n             obj_dir/constants.vh.v\n             obj_dir/constants.vh.sv\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:5: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0] in,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:26: Define or directive not defined: \'`SPECTAG_LEN\'\n   output reg [`SPECTAG_LEN-1:0]  mpft_valid,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:27: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0]  value_addr,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:28: Define or directive not defined: \'`SPECTAG_LEN\'\n   output wire [`SPECTAG_LEN-1:0] mpft_value,\n                ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:31: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0]  prsuccess_tag,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:32: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0]  setspec1_tag,  \n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:34: Define or directive not defined: \'`SPECTAG_LEN\'\n   input wire [`SPECTAG_LEN-1:0]  setspec2_tag,\n               ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:38: Define or directive not defined: \'`SPECTAG_LEN\'\n   reg [`SPECTAG_LEN-1:0]    value0;\n        ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:39: Define or directive not defined: \'`SPECTAG_LEN\'\n   reg [`SPECTAG_LEN-1:0]    value1;\n        ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:40: Define or directive not defined: \'`SPECTAG_LEN\'\n   reg [`SPECTAG_LEN-1:0]    value2;\n        ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:41: Define or directive not defined: \'`SPECTAG_LEN\'\n   reg [`SPECTAG_LEN-1:0]    value3;\n        ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:42: Define or directive not defined: \'`SPECTAG_LEN\'\n   reg [`SPECTAG_LEN-1:0]    value4;\n        ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:69: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    wdecdata = mpft_valid | (setspec1_en ? setspec1_tag : 0);\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:71: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value0_wdec =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:79: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value1_wdec =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:87: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value2_wdec =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:95: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value3_wdec =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:103: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value4_wdec =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:111: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value0_wprs =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:113: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value1_wprs =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:115: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value2_wprs =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:117: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value3_wprs =\n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/188068190/ridecore-src-buggy/mpft.v:119: Define or directive not defined: \'`SPECTAG_LEN\'\n   wire [`SPECTAG_LEN-1:0]    value4_wprs =\n         ^~~~~~~~~~~~\n%Error: Exiting due to 24 error(s)\n'
module tag_decoder
  (
   input wire [`SPECTAG_LEN-1:0] in,
   output reg [2:0] 		 out
   );

   always @ (*) begin
      out = 0;
      case (in)
	5'b00001: out = 0;
	5'b00010: out = 1;
	5'b00100: out = 2;
	5'b01000: out = 3;
	5'b10000: out = 4;
	default: out = 0;
      endcase
   end
endmodule
module tag_decoder
  (
   input wire [`SPECTAG_LEN-1:0] in,
   output reg [2:0] 		 out
   );


   always @ (*) begin
      out = 0;
      case (in)
	5'b00001: out = 0;
	5'b00010: out = 1;
	5'b00100: out = 2;
	5'b01000: out = 3;
	5'b10000: out = 4;
	default: out = 0;
      endcase
   end
endmodule