data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v
1: b"%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:8: Cannot find file containing module: 'NAND2X1'\nNAND2X1 NAND2X1_1 ( .A(counter_tff3_out), .B(counter_tff2_out), .Y(_0_) );\n^~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/508012015/synthesis,data/full_repos/permissive/508012015/NAND2X1\n             data/full_repos/permissive/508012015/synthesis,data/full_repos/permissive/508012015/NAND2X1.v\n             data/full_repos/permissive/508012015/synthesis,data/full_repos/permissive/508012015/NAND2X1.sv\n             NAND2X1\n             NAND2X1.v\n             NAND2X1.sv\n             obj_dir/NAND2X1\n             obj_dir/NAND2X1.v\n             obj_dir/NAND2X1.sv\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:9: Cannot find file containing module: 'NAND2X1'\nNAND2X1 NAND2X1_2 ( .A(counter_tff1_out), .B(counter_tff0_out), .Y(_1_) );\n^~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:10: Cannot find file containing module: 'NOR2X1'\nNOR2X1 NOR2X1_1 ( .A(_0_), .B(_1_), .Y(_5_) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:11: Cannot find file containing module: 'INVX1'\nINVX1 INVX1_1 ( .A(enable), .Y(_2_) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:12: Cannot find file containing module: 'OR2X2'\nOR2X2 OR2X2_1 ( .A(_2_), .B(restart), .Y(counter_clear) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:13: Cannot find file containing module: 'AND2X2'\nAND2X2 AND2X2_1 ( .A(counter_tff2_out), .B(counter_tff1_out), .Y(_3_) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:14: Cannot find file containing module: 'AND2X2'\nAND2X2 AND2X2_2 ( .A(counter_tff3_out), .B(counter_tff0_out), .Y(_4_) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:15: Cannot find file containing module: 'AOI21X1'\nAOI21X1 AOI21X1_1 ( .A(_3_), .B(_4_), .C(_2_), .Y(counter_enable) );\n^~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:16: Cannot find file containing module: 'BUFX2'\nBUFX2 BUFX2_1 ( .A(_5_), .Y(timeout) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:17: Cannot find file containing module: 'AND2X2'\nAND2X2 AND2X2_3 ( .A(counter_enable), .B(counter_tff0_out), .Y(counter_tff1_t) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:18: Cannot find file containing module: 'NAND3X1'\nNAND3X1 NAND3X1_1 ( .A(counter_enable), .B(counter_tff0_out), .C(counter_tff1_out), .Y(_7_) );\n^~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:19: Cannot find file containing module: 'INVX1'\nINVX1 INVX1_2 ( .A(_7_), .Y(counter_tff2_t) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:20: Cannot find file containing module: 'INVX1'\nINVX1 INVX1_3 ( .A(counter_tff2_out), .Y(_6_) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:21: Cannot find file containing module: 'NOR2X1'\nNOR2X1 NOR2X1_2 ( .A(_6_), .B(_7_), .Y(counter_tff3_t) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:22: Cannot find file containing module: 'OR2X2'\nOR2X2 OR2X2_2 ( .A(counter_enable), .B(counter_tff0_out), .Y(_9_) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:23: Cannot find file containing module: 'AOI21X1'\nAOI21X1 AOI21X1_2 ( .A(counter_enable), .B(counter_tff0_out), .C(counter_clear), .Y(_10_) );\n^~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:24: Cannot find file containing module: 'AND2X2'\nAND2X2 AND2X2_4 ( .A(_9_), .B(_10_), .Y(_8_) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:25: Cannot find file containing module: 'DFFPOSX1'\nDFFPOSX1 DFFPOSX1_1 ( .CLK(clk), .D(_8_), .Q(counter_tff0_out) );\n^~~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:26: Cannot find file containing module: 'OR2X2'\nOR2X2 OR2X2_3 ( .A(counter_tff1_t), .B(counter_tff1_out), .Y(_12_) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:27: Cannot find file containing module: 'AOI21X1'\nAOI21X1 AOI21X1_3 ( .A(counter_tff1_t), .B(counter_tff1_out), .C(counter_clear), .Y(_13_) );\n^~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:28: Cannot find file containing module: 'AND2X2'\nAND2X2 AND2X2_5 ( .A(_12_), .B(_13_), .Y(_11_) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:29: Cannot find file containing module: 'DFFPOSX1'\nDFFPOSX1 DFFPOSX1_2 ( .CLK(clk), .D(_11_), .Q(counter_tff1_out) );\n^~~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:30: Cannot find file containing module: 'OR2X2'\nOR2X2 OR2X2_4 ( .A(counter_tff2_t), .B(counter_tff2_out), .Y(_15_) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:31: Cannot find file containing module: 'AOI21X1'\nAOI21X1 AOI21X1_4 ( .A(counter_tff2_t), .B(counter_tff2_out), .C(counter_clear), .Y(_16_) );\n^~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:32: Cannot find file containing module: 'AND2X2'\nAND2X2 AND2X2_6 ( .A(_15_), .B(_16_), .Y(_14_) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:33: Cannot find file containing module: 'DFFPOSX1'\nDFFPOSX1 DFFPOSX1_3 ( .CLK(clk), .D(_14_), .Q(counter_tff2_out) );\n^~~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:34: Cannot find file containing module: 'OR2X2'\nOR2X2 OR2X2_5 ( .A(counter_tff3_t), .B(counter_tff3_out), .Y(_18_) );\n^~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:35: Cannot find file containing module: 'AOI21X1'\nAOI21X1 AOI21X1_5 ( .A(counter_tff3_t), .B(counter_tff3_out), .C(counter_clear), .Y(_19_) );\n^~~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:36: Cannot find file containing module: 'AND2X2'\nAND2X2 AND2X2_7 ( .A(_18_), .B(_19_), .Y(_17_) );\n^~~~~~\n%Error: data/full_repos/permissive/508012015/synthesis/Watchdog_synth.rtlbb.v:37: Cannot find file containing module: 'DFFPOSX1'\nDFFPOSX1 DFFPOSX1_4 ( .CLK(clk), .D(_17_), .Q(counter_tff3_out) );\n^~~~~~~~\n%Error: Exiting due to 30 error(s)\n"
module Watchdog (restart, enable, clk, timeout);

input restart;
input enable;
input clk;
output timeout;

NAND2X1 NAND2X1_1 ( .A(counter_tff3_out), .B(counter_tff2_out), .Y(_0_) );
NAND2X1 NAND2X1_2 ( .A(counter_tff1_out), .B(counter_tff0_out), .Y(_1_) );
NOR2X1 NOR2X1_1 ( .A(_0_), .B(_1_), .Y(_5_) );
INVX1 INVX1_1 ( .A(enable), .Y(_2_) );
OR2X2 OR2X2_1 ( .A(_2_), .B(restart), .Y(counter_clear) );
AND2X2 AND2X2_1 ( .A(counter_tff2_out), .B(counter_tff1_out), .Y(_3_) );
AND2X2 AND2X2_2 ( .A(counter_tff3_out), .B(counter_tff0_out), .Y(_4_) );
AOI21X1 AOI21X1_1 ( .A(_3_), .B(_4_), .C(_2_), .Y(counter_enable) );
BUFX2 BUFX2_1 ( .A(_5_), .Y(timeout) );
AND2X2 AND2X2_3 ( .A(counter_enable), .B(counter_tff0_out), .Y(counter_tff1_t) );
NAND3X1 NAND3X1_1 ( .A(counter_enable), .B(counter_tff0_out), .C(counter_tff1_out), .Y(_7_) );
INVX1 INVX1_2 ( .A(_7_), .Y(counter_tff2_t) );
INVX1 INVX1_3 ( .A(counter_tff2_out), .Y(_6_) );
NOR2X1 NOR2X1_2 ( .A(_6_), .B(_7_), .Y(counter_tff3_t) );
OR2X2 OR2X2_2 ( .A(counter_enable), .B(counter_tff0_out), .Y(_9_) );
AOI21X1 AOI21X1_2 ( .A(counter_enable), .B(counter_tff0_out), .C(counter_clear), .Y(_10_) );
AND2X2 AND2X2_4 ( .A(_9_), .B(_10_), .Y(_8_) );
DFFPOSX1 DFFPOSX1_1 ( .CLK(clk), .D(_8_), .Q(counter_tff0_out) );
OR2X2 OR2X2_3 ( .A(counter_tff1_t), .B(counter_tff1_out), .Y(_12_) );
AOI21X1 AOI21X1_3 ( .A(counter_tff1_t), .B(counter_tff1_out), .C(counter_clear), .Y(_13_) );
AND2X2 AND2X2_5 ( .A(_12_), .B(_13_), .Y(_11_) );
DFFPOSX1 DFFPOSX1_2 ( .CLK(clk), .D(_11_), .Q(counter_tff1_out) );
OR2X2 OR2X2_4 ( .A(counter_tff2_t), .B(counter_tff2_out), .Y(_15_) );
AOI21X1 AOI21X1_4 ( .A(counter_tff2_t), .B(counter_tff2_out), .C(counter_clear), .Y(_16_) );
AND2X2 AND2X2_6 ( .A(_15_), .B(_16_), .Y(_14_) );
DFFPOSX1 DFFPOSX1_3 ( .CLK(clk), .D(_14_), .Q(counter_tff2_out) );
OR2X2 OR2X2_5 ( .A(counter_tff3_t), .B(counter_tff3_out), .Y(_18_) );
AOI21X1 AOI21X1_5 ( .A(counter_tff3_t), .B(counter_tff3_out), .C(counter_clear), .Y(_19_) );
AND2X2 AND2X2_7 ( .A(_18_), .B(_19_), .Y(_17_) );
DFFPOSX1 DFFPOSX1_4 ( .CLK(clk), .D(_17_), .Q(counter_tff3_out) );
endmodule
module Watchdog (restart, enable, clk, timeout);


input restart;
input enable;
input clk;
output timeout;

NAND2X1 NAND2X1_1 ( .A(counter_tff3_out), .B(counter_tff2_out), .Y(_0_) );
NAND2X1 NAND2X1_2 ( .A(counter_tff1_out), .B(counter_tff0_out), .Y(_1_) );
NOR2X1 NOR2X1_1 ( .A(_0_), .B(_1_), .Y(_5_) );
INVX1 INVX1_1 ( .A(enable), .Y(_2_) );
OR2X2 OR2X2_1 ( .A(_2_), .B(restart), .Y(counter_clear) );
AND2X2 AND2X2_1 ( .A(counter_tff2_out), .B(counter_tff1_out), .Y(_3_) );
AND2X2 AND2X2_2 ( .A(counter_tff3_out), .B(counter_tff0_out), .Y(_4_) );
AOI21X1 AOI21X1_1 ( .A(_3_), .B(_4_), .C(_2_), .Y(counter_enable) );
BUFX2 BUFX2_1 ( .A(_5_), .Y(timeout) );
AND2X2 AND2X2_3 ( .A(counter_enable), .B(counter_tff0_out), .Y(counter_tff1_t) );
NAND3X1 NAND3X1_1 ( .A(counter_enable), .B(counter_tff0_out), .C(counter_tff1_out), .Y(_7_) );
INVX1 INVX1_2 ( .A(_7_), .Y(counter_tff2_t) );
INVX1 INVX1_3 ( .A(counter_tff2_out), .Y(_6_) );
NOR2X1 NOR2X1_2 ( .A(_6_), .B(_7_), .Y(counter_tff3_t) );
OR2X2 OR2X2_2 ( .A(counter_enable), .B(counter_tff0_out), .Y(_9_) );
AOI21X1 AOI21X1_2 ( .A(counter_enable), .B(counter_tff0_out), .C(counter_clear), .Y(_10_) );
AND2X2 AND2X2_4 ( .A(_9_), .B(_10_), .Y(_8_) );
DFFPOSX1 DFFPOSX1_1 ( .CLK(clk), .D(_8_), .Q(counter_tff0_out) );
OR2X2 OR2X2_3 ( .A(counter_tff1_t), .B(counter_tff1_out), .Y(_12_) );
AOI21X1 AOI21X1_3 ( .A(counter_tff1_t), .B(counter_tff1_out), .C(counter_clear), .Y(_13_) );
AND2X2 AND2X2_5 ( .A(_12_), .B(_13_), .Y(_11_) );
DFFPOSX1 DFFPOSX1_2 ( .CLK(clk), .D(_11_), .Q(counter_tff1_out) );
OR2X2 OR2X2_4 ( .A(counter_tff2_t), .B(counter_tff2_out), .Y(_15_) );
AOI21X1 AOI21X1_4 ( .A(counter_tff2_t), .B(counter_tff2_out), .C(counter_clear), .Y(_16_) );
AND2X2 AND2X2_6 ( .A(_15_), .B(_16_), .Y(_14_) );
DFFPOSX1 DFFPOSX1_3 ( .CLK(clk), .D(_14_), .Q(counter_tff2_out) );
OR2X2 OR2X2_5 ( .A(counter_tff3_t), .B(counter_tff3_out), .Y(_18_) );
AOI21X1 AOI21X1_5 ( .A(counter_tff3_t), .B(counter_tff3_out), .C(counter_clear), .Y(_19_) );
AND2X2 AND2X2_7 ( .A(_18_), .B(_19_), .Y(_17_) );
DFFPOSX1 DFFPOSX1_4 ( .CLK(clk), .D(_17_), .Q(counter_tff3_out) );
endmodule