data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_delta_wrapped.v
[Errno 2] No such file or directory: 'preprocess.output'
1: b"%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_delta_wrapped.v:92: Cannot find file containing module: 'ovl_delta'\n   ovl_delta #(\n   ^~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/ovl_delta\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/ovl_delta.v\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/ovl_delta.sv\n             ovl_delta\n             ovl_delta.v\n             ovl_delta.sv\n             obj_dir/ovl_delta\n             obj_dir/ovl_delta.v\n             obj_dir/ovl_delta.sv\n%Error: Exiting due to 1 error(s)\n"
module ovl_delta_wrapped(
    clk,
    rst,
    min,
    max,
    test_expr,
    prevConfigInvalid,
    out
);


`ifdef SMV
   parameter width = 12;
   parameter limit_width = 3;
`else
   parameter width = 32;
   parameter limit_width = 8;
`endif
   
    input clk;
    input rst;
    input [limit_width-1:0] min;
    input [limit_width-1:0] max;
    input [width-1:0]       test_expr;
    input  prevConfigInvalid;
    output out;

    wire [2:0]  result_3bit;
    wire [2:0] 	result_3bit_comb;
   
`ifdef SMV
   ovl_delta ovl_delta(.width(width),
	                     .limit_width(limit_width),
                       .clock(clk),
	                     .reset(rst),
                       .enable(1'b1),
	                     .min(min),
	                     .max(max),
	                     .test_expr(test_expr),
	                     .fire(result_3bit),
	.fire_comb(result_3bit_comb)
                       );
`else
   ovl_delta #(
    	.width(width),
	.limit_width(limit_width)
    )
    ovl_delta(
        .clock(clk),
	.reset(rst),
        .enable(1'b1),
	.min(min),
	.max(max),
	.test_expr(test_expr),
	.fire(result_3bit),
	.fire_comb(result_3bit_comb)
    );
`endif
   
   
    assign out = result_3bit_comb[0] & ~prevConfigInvalid;
endmodule
module ovl_delta_wrapped(
    clk,
    rst,
    min,
    max,
    test_expr,
    prevConfigInvalid,
    out
);



`ifdef SMV
   parameter width = 12;
   parameter limit_width = 3;
`else
   parameter width = 32;
   parameter limit_width = 8;
`endif
   
    input clk;
    input rst;
    input [limit_width-1:0] min;
    input [limit_width-1:0] max;
    input [width-1:0]       test_expr;
    input  prevConfigInvalid;
    output out;

    wire [2:0]  result_3bit;
    wire [2:0] 	result_3bit_comb;
   
`ifdef SMV
   ovl_delta ovl_delta(.width(width),
	                     .limit_width(limit_width),
                       .clock(clk),
	                     .reset(rst),
                       .enable(1'b1),
	                     .min(min),
	                     .max(max),
	                     .test_expr(test_expr),
	                     .fire(result_3bit),
	.fire_comb(result_3bit_comb)
                       );
`else
   ovl_delta #(
    	.width(width),
	.limit_width(limit_width)
    )
    ovl_delta(
        .clock(clk),
	.reset(rst),
        .enable(1'b1),
	.min(min),
	.max(max),
	.test_expr(test_expr),
	.fire(result_3bit),
	.fire_comb(result_3bit_comb)
    );
`endif
   
   
    assign out = result_3bit_comb[0] & ~prevConfigInvalid;
endmodule