data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_combo_wrapped.v
None: at end of input
1: b'%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_combo_wrapped.v:52: Cannot find include file: or1200_defines.v\n `include "or1200_defines.v" \n          ^~~~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/or1200_defines.v\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/or1200_defines.v.v\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/or1200_defines.v.sv\n             or1200_defines.v\n             or1200_defines.v.v\n             or1200_defines.v.sv\n             obj_dir/or1200_defines.v\n             obj_dir/or1200_defines.v.v\n             obj_dir/or1200_defines.v.sv\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_combo_wrapped.v:117: Define or directive not defined: \'`OR1200_RST_VALUE\'\n     if(rst == `OR1200_RST_VALUE)\n               ^~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_combo_wrapped.v:117: syntax error, unexpected \')\', expecting TYPE-IDENTIFIER\n     if(rst == `OR1200_RST_VALUE)\n                                ^\n%Error: Exiting due to 3 error(s)\n'
module ovl_combo_wrapped(
    clk,
    rst,
    enable,
    num_cks,
    start_event,
    test_expr,
    select,
    prevConfigInvalid,
    out,
    out_delayed,
    configInvalid
);

    parameter num_cks_max = 7;
    parameter num_cks_width = 3;
   
    input clk;
    input rst;
    input enable;
    input [num_cks_width-1:0] num_cks;
    input start_event;
    input test_expr;
    input [1:0] select;
    input  prevConfigInvalid;
    output out;
    output out_delayed;
    output configInvalid;

    reg out_delayed;
    wire [2:0] 	result_3bit_comb;

`ifdef SMV
   ovl_combo ovl_combo (.num_cks_max(7),
	           .num_cks_width(3),
             .clock(clk),
	           .reset(rst),
             .enable(enable),
	           .num_cks(num_cks),
	           .start_event(start_event),
	           .test_expr(test_expr),
			.select(select),
	.fire_comb(result_3bit_comb)
             );
`else
   ovl_combo #(
        .num_cks_max(7),
	.num_cks_width(3)
   ) ovl_combo(
        .clock(clk),
	.reset(rst),
        .enable(enable),
	.num_cks(num_cks),
	.start_event(start_event),
	.test_expr(test_expr),
	.select(select),
	.fire_comb(result_3bit_comb)
   );
`endif


   always @(posedge clk)
     if(rst == `OR1200_RST_VALUE)
       out_delayed <= 1'b0;
     else if(enable)
       out_delayed <= result_3bit_comb[0];
     


    assign configInvalid = prevConfigInvalid | (~|num_cks & ~select[1]);


   assign out = result_3bit_comb[0];
   

endmodule
module ovl_combo_wrapped(
    clk,
    rst,
    enable,
    num_cks,
    start_event,
    test_expr,
    select,
    prevConfigInvalid,
    out,
    out_delayed,
    configInvalid
);


    parameter num_cks_max = 7;
    parameter num_cks_width = 3;
   
    input clk;
    input rst;
    input enable;
    input [num_cks_width-1:0] num_cks;
    input start_event;
    input test_expr;
    input [1:0] select;
    input  prevConfigInvalid;
    output out;
    output out_delayed;
    output configInvalid;

    reg out_delayed;
    wire [2:0] 	result_3bit_comb;

`ifdef SMV
   ovl_combo ovl_combo (.num_cks_max(7),
	           .num_cks_width(3),
             .clock(clk),
	           .reset(rst),
             .enable(enable),
	           .num_cks(num_cks),
	           .start_event(start_event),
	           .test_expr(test_expr),
			.select(select),
	.fire_comb(result_3bit_comb)
             );
`else
   ovl_combo #(
        .num_cks_max(7),
	.num_cks_width(3)
   ) ovl_combo(
        .clock(clk),
	.reset(rst),
        .enable(enable),
	.num_cks(num_cks),
	.start_event(start_event),
	.test_expr(test_expr),
	.select(select),
	.fire_comb(result_3bit_comb)
   );
`endif


   always @(posedge clk)
     if(rst == `OR1200_RST_VALUE)
       out_delayed <= 1'b0;
     else if(enable)
       out_delayed <= result_3bit_comb[0];
     


    assign configInvalid = prevConfigInvalid | (~|num_cks & ~select[1]);


   assign out = result_3bit_comb[0];
   

endmodule