data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v
None: at end of input
1: b'%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:52: Cannot find include file: std_ovl_defines.h\n `include "std_ovl_defines.h" \n          ^~~~~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported,data/full_repos/permissive/17099167/std_ovl_defines.h\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported,data/full_repos/permissive/17099167/std_ovl_defines.h.v\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported,data/full_repos/permissive/17099167/std_ovl_defines.h.sv\n             std_ovl_defines.h\n             std_ovl_defines.h.v\n             std_ovl_defines.h.sv\n             obj_dir/std_ovl_defines.h\n             obj_dir/std_ovl_defines.h.v\n             obj_dir/std_ovl_defines.h.sv\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:84: Cannot find include file: std_ovl_reset.h\n `include "std_ovl_reset.h" \n          ^~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:85: Cannot find include file: std_ovl_clock.h\n `include "std_ovl_clock.h" \n          ^~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:86: Cannot find include file: std_ovl_cover.h\n `include "std_ovl_cover.h" \n          ^~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:87: Cannot find include file: std_ovl_task.h\n `include "std_ovl_task.h" \n          ^~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:88: Cannot find include file: std_ovl_init.h\n `include "std_ovl_init.h" \n          ^~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:94: Cannot find include file: ./vlog95/ovl_combo_logic.v\n  `include "./vlog95/ovl_combo_logic.v" \n           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:55: Define or directive not defined: \'`module\'\n`module ovl_combo (clock, reset, enable, num_cks, start_event, test_expr, select, fire_comb);\n^~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:55: syntax error, unexpected IDENTIFIER\n`module ovl_combo (clock, reset, enable, num_cks, start_event, test_expr, select, fire_comb);\n        ^~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:56: Define or directive not defined: \'`OVL_SEVERITY_DEFAULT\'\n  parameter severity_level      = `OVL_SEVERITY_DEFAULT;\n                                  ^~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:56: syntax error, unexpected \';\', expecting TYPE-IDENTIFIER\n  parameter severity_level      = `OVL_SEVERITY_DEFAULT;\n                                                       ^\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:61: Define or directive not defined: \'`OVL_PROPERTY_DEFAULT\'\n  parameter property_type       = `OVL_PROPERTY_DEFAULT;\n                                  ^~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:61: syntax error, unexpected \';\', expecting TYPE-IDENTIFIER\n  parameter property_type       = `OVL_PROPERTY_DEFAULT;\n                                                       ^\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:62: Define or directive not defined: \'`OVL_MSG_DEFAULT\'\n  parameter msg                 = `OVL_MSG_DEFAULT;\n                                  ^~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:62: syntax error, unexpected \';\', expecting TYPE-IDENTIFIER\n  parameter msg                 = `OVL_MSG_DEFAULT;\n                                                  ^\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:63: Define or directive not defined: \'`OVL_COVER_DEFAULT\'\n  parameter coverage_level      = `OVL_COVER_DEFAULT;\n                                  ^~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:63: syntax error, unexpected \';\', expecting TYPE-IDENTIFIER\n  parameter coverage_level      = `OVL_COVER_DEFAULT;\n                                                    ^\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:65: Define or directive not defined: \'`OVL_CLOCK_EDGE_DEFAULT\'\n  parameter clock_edge          = `OVL_CLOCK_EDGE_DEFAULT;\n                                  ^~~~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:65: syntax error, unexpected \';\', expecting TYPE-IDENTIFIER\n  parameter clock_edge          = `OVL_CLOCK_EDGE_DEFAULT;\n                                                         ^\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:66: Define or directive not defined: \'`OVL_RESET_POLARITY_DEFAULT\'\n  parameter reset_polarity      = `OVL_RESET_POLARITY_DEFAULT;\n                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:66: syntax error, unexpected \';\', expecting TYPE-IDENTIFIER\n  parameter reset_polarity      = `OVL_RESET_POLARITY_DEFAULT;\n                                                             ^\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:67: Define or directive not defined: \'`OVL_GATING_TYPE_DEFAULT\'\n  parameter gating_type         = `OVL_GATING_TYPE_DEFAULT;\n                                  ^~~~~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:67: syntax error, unexpected \';\', expecting TYPE-IDENTIFIER\n  parameter gating_type         = `OVL_GATING_TYPE_DEFAULT;\n                                                          ^\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:73: Define or directive not defined: \'`OVL_FIRE_WIDTH\'\n  output [`OVL_FIRE_WIDTH-1:0]   fire_comb;\n          ^~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:97: syntax error, unexpected assign\nassign fire_comb = {2\'b0, fire_2state_comb};\n^~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_ported/ovl_combo.v:99: Define or directive not defined: \'`endmodule\'\n`endmodule\n^~~~~~~~~~\n%Error: Exiting due to 26 error(s)\n'
module ovl_combo (clock, reset, enable, num_cks, start_event, test_expr, select, fire_comb);
  parameter severity_level      = `OVL_SEVERITY_DEFAULT;
  parameter check_overlapping   = 1;
  parameter check_missing_start = 0;
  parameter num_cks_max         = 7;
  parameter num_cks_width       = 3;
  parameter property_type       = `OVL_PROPERTY_DEFAULT;
  parameter msg                 = `OVL_MSG_DEFAULT;
  parameter coverage_level      = `OVL_COVER_DEFAULT;

  parameter clock_edge          = `OVL_CLOCK_EDGE_DEFAULT;
  parameter reset_polarity      = `OVL_RESET_POLARITY_DEFAULT;
  parameter gating_type         = `OVL_GATING_TYPE_DEFAULT;

  input                          clock, reset, enable;
  input	 [num_cks_width-1:0]     num_cks;
  input                          start_event, test_expr;
  input	[1:0]				 select;
  output [`OVL_FIRE_WIDTH-1:0]   fire_comb;


  parameter assert_name = "OVL_COMBO";

`ifdef SMV
 `include "ovl_ported/std_ovl_reset.h"
 `include "ovl_ported/std_ovl_clock.h"
 `include "ovl_ported/std_ovl_cover.h"
 `include "ovl_ported/std_ovl_init.h"
`else
 `include "std_ovl_reset.h"
 `include "std_ovl_clock.h"
 `include "std_ovl_cover.h"
 `include "std_ovl_task.h"
 `include "std_ovl_init.h"
`endif

`ifdef SMV
  `include "./ovl_ported/vlog95/ovl_combo_logic.v"
`else
  `include "./vlog95/ovl_combo_logic.v"
`endif

assign fire_comb = {2'b0, fire_2state_comb};

`endmodule
module ovl_combo (clock, reset, enable, num_cks, start_event, test_expr, select, fire_comb);

  parameter severity_level      = `OVL_SEVERITY_DEFAULT;
  parameter check_overlapping   = 1;
  parameter check_missing_start = 0;
  parameter num_cks_max         = 7;
  parameter num_cks_width       = 3;
  parameter property_type       = `OVL_PROPERTY_DEFAULT;
  parameter msg                 = `OVL_MSG_DEFAULT;
  parameter coverage_level      = `OVL_COVER_DEFAULT;

  parameter clock_edge          = `OVL_CLOCK_EDGE_DEFAULT;
  parameter reset_polarity      = `OVL_RESET_POLARITY_DEFAULT;
  parameter gating_type         = `OVL_GATING_TYPE_DEFAULT;

  input                          clock, reset, enable;
  input	 [num_cks_width-1:0]     num_cks;
  input                          start_event, test_expr;
  input	[1:0]				 select;
  output [`OVL_FIRE_WIDTH-1:0]   fire_comb;


  parameter assert_name = "OVL_COMBO";

`ifdef SMV
 `include "ovl_ported/std_ovl_reset.h"
 `include "ovl_ported/std_ovl_clock.h"
 `include "ovl_ported/std_ovl_cover.h"
 `include "ovl_ported/std_ovl_init.h"
`else
 `include "std_ovl_reset.h"
 `include "std_ovl_clock.h"
 `include "std_ovl_cover.h"
 `include "std_ovl_task.h"
 `include "std_ovl_init.h"
`endif

`ifdef SMV
  `include "./ovl_ported/vlog95/ovl_combo_logic.v"
`else
  `include "./vlog95/ovl_combo_logic.v"
`endif

assign fire_comb = {2'b0, fire_2state_comb};

`endmodule