data/full_repos/permissive/508012015/Watchdog.v
1: b'%Warning-IMPLICIT: data/full_repos/permissive/508012015/Watchdog.v:12: Signal definition not found, creating implicitly: \'w_reset\'\n                                                                     : ... Suggested alternative: \'w_restart\'\nor (w_reset, restart,not_enable);\n    ^~~~~~~\n                   ... Use "/* verilator lint_off IMPLICIT */" and lint_on around source to disable this message.\n%Error: Exiting due to 1 warning(s)\n'
module Watchdog (output timeout, input restart , enable, clk);

wire w_restart , w_enable, not_enable,not_timeout; 
wire [3:0] d_out;
wire w1,w2,w3,w4;
reg [3:0] t_value = 4'b1111;


not (not_enable, enable);
not (not_timeout, timeout);
or (w_reset, restart,not_enable);
and (w_enable, enable, not_timeout);


up_counter counter(d_out,w_enable,w_reset,clk);

xnor g1 (w1,d_out[0],t_value[0]);
xnor g2 (w2,d_out[1],t_value[1]);
xnor g3 (w3,d_out[2],t_value[2]);
xnor g4 (w4,d_out[3],t_value[3]);

and g5 (timeout,w1,w2,w3,w4);

endmodule
module Watchdog (output timeout, input restart , enable, clk);


wire w_restart , w_enable, not_enable,not_timeout; 
wire [3:0] d_out;
wire w1,w2,w3,w4;
reg [3:0] t_value = 4'b1111;


not (not_enable, enable);
not (not_timeout, timeout);
or (w_reset, restart,not_enable);
and (w_enable, enable, not_timeout);


up_counter counter(d_out,w_enable,w_reset,clk);

xnor g1 (w1,d_out[0],t_value[0]);
xnor g2 (w2,d_out[1],t_value[1]);
xnor g3 (w3,d_out[2],t_value[2]);
xnor g4 (w4,d_out[3],t_value[3]);

and g5 (timeout,w1,w2,w3,w4);

endmodule