diff options
Diffstat (limited to 'examples/s444.blif')
| -rw-r--r-- | examples/s444.blif | 353 |
1 files changed, 0 insertions, 353 deletions
diff --git a/examples/s444.blif b/examples/s444.blif deleted file mode 100644 index e89e8aa1..00000000 --- a/examples/s444.blif +++ /dev/null @@ -1,353 +0,0 @@ -.model s444 -.inputs G0 G1 G2 -.outputs G118 G167 G107 G119 G168 G108 - -.latch G11_in G11 0 -.latch G12_in G12 0 -.latch G13_in G13 0 -.latch G14_in G14 0 -.latch G15_in G15 0 -.latch G16_in G16 0 -.latch G17_in G17 0 -.latch G18_in G18 0 -.latch G19_in G19 0 -.latch G20_in G20 0 -.latch G21_in G21 0 -.latch G22_in G22 0 -.latch G23_in G23 0 -.latch G24_in G24 0 -.latch G25_in G25 0 -.latch G26_in G26 0 -.latch G27_in G27 0 -.latch G28_in G28 0 -.latch G29_in G29 0 -.latch G30_in G30 0 -.latch G31_in G31 0 - -.names G12 G13 [25] -00 1 -.names G11 [25] [26] -01 1 -.names G14 [26] [27] -10 1 -.names G0 G11 [28] -00 1 -.names [27] [28] G11_in -01 1 -.names G11 G12 [30] -11 1 -.names G12 [30] [31] -10 1 -.names G11 [30] [32] -10 1 -.names [31] [32] [33] -00 1 -.names G0 [33] [34] -00 1 -.names [27] [34] G12_in -01 1 -.names G13 [30] [36] -11 1 -.names G13 [36] [37] -10 1 -.names [30] [36] [38] -10 1 -.names [37] [38] [39] -00 1 -.names G0 [39] [40] -00 1 -.names [27] [40] G13_in -01 1 -.names G12 G13 [42] -11 1 -.names G11 [42] [43] -11 1 -.names G14 [43] [44] -11 1 -.names G14 [44] [45] -10 1 -.names [43] [44] [46] -10 1 -.names [45] [46] [47] -00 1 -.names G0 [47] [48] -00 1 -.names [27] [48] G14_in -01 1 -.names G31 [27] [50] -00 1 -.names G16 G17 [51] -00 1 -.names G15 [51] [52] -01 1 -.names [50] [52] [53] -00 1 -.names G18 [53] [54] -11 1 -.names G15 [50] [55] -10 1 -.names G15 [55] [56] -10 1 -.names [50] [55] [57] -00 1 -.names [56] [57] [58] -00 1 -.names G0 [58] [59] -00 1 -.names [54] [59] G15_in -01 1 -.names G16 [55] [61] -11 1 -.names G16 [61] [62] -10 1 -.names [55] [61] [63] -10 1 -.names [62] [63] [64] -00 1 -.names G0 [64] [65] -00 1 -.names [54] [65] G16_in -01 1 -.names G16 [50] [67] -10 1 -.names G15 [67] [68] -11 1 -.names G17 [68] [69] -11 1 -.names G17 [69] [70] -10 1 -.names [68] [69] [71] -10 1 -.names [70] [71] [72] -00 1 -.names G0 [72] [73] -00 1 -.names [54] [73] G17_in -01 1 -.names G15 G16 [75] -11 1 -.names G17 [50] [76] -10 1 -.names [75] [76] [77] -11 1 -.names G18 [77] [78] -11 1 -.names G18 [78] [79] -10 1 -.names [77] [78] [80] -10 1 -.names [79] [80] [81] -00 1 -.names G0 [81] [82] -00 1 -.names [54] [82] G18_in -01 1 -.names G20 G21 [84] -00 1 -.names G19 [84] [85] -01 1 -.names [54] [85] [86] -10 1 -.names G22 [86] [87] -11 1 -.names G19 [54] [88] -11 1 -.names G19 [88] [89] -10 1 -.names [54] [88] [90] -10 1 -.names [89] [90] [91] -00 1 -.names G0 [91] [92] -00 1 -.names [87] [92] G19_in -01 1 -.names G20 [88] [94] -11 1 -.names G20 [94] [95] -10 1 -.names [88] [94] [96] -10 1 -.names [95] [96] [97] -00 1 -.names G0 [97] [98] -00 1 -.names [87] [98] G20_in -01 1 -.names G20 [54] [100] -11 1 -.names G19 [100] [101] -11 1 -.names G21 [101] [102] -11 1 -.names G21 [102] [103] -10 1 -.names [101] [102] [104] -10 1 -.names [103] [104] [105] -00 1 -.names G0 [105] [106] -00 1 -.names [87] [106] G21_in -01 1 -.names G19 G20 [108] -11 1 -.names G21 [54] [109] -11 1 -.names [108] [109] [110] -11 1 -.names G22 [110] [111] -11 1 -.names G22 [111] [112] -10 1 -.names [110] [111] [113] -10 1 -.names [112] [113] [114] -00 1 -.names G0 [114] [115] -00 1 -.names [87] [115] G22_in -01 1 -.names G2 G23 [117] -00 1 -.names G2 G23 [118] -11 1 -.names [117] [118] [119] -00 1 -.names G0 [119] G23_in -01 1 -.names G20 G21 [121] -01 1 -.names G0 G23 [122] -01 1 -.names [121] [122] [123] -11 1 -.names G19 [123] [124] -01 1 -.names G21 G22 [126] -10 1 -.names G19 G20 [125] -10 1 -.names G23 [125] [127] -01 1 -.names [126] [127] [128] -11 1 -.names G0 G24 [129] -01 1 -.names [128] [129] [130] -01 1 -.names [124] [130] [131] -00 1 -.names G22 G23 [132] -00 1 -.names [125] [132] [133] -11 1 -.names G24 [133] [134] -10 1 -.names G19 G20 [135] -00 1 -.names G23 [135] [136] -11 1 -.names G22 G23 [137] -11 1 -.names [136] [137] [138] -00 1 -.names G0 G21 [139] -01 1 -.names [138] [139] [140] -11 1 -.names [134] [140] G25_in -01 1 -.names G19 G22 [142] -01 1 -.names G0 [142] [143] -01 1 -.names G0 [108] [144] -01 1 -.names [143] [144] [145] -00 1 -.names [129] [139] [146] -00 1 -.names [145] [146] G26_in -11 1 -.names G21 G24 [148] -00 1 -.names [125] [148] [149] -11 1 -.names G21 G22 [150] -00 1 -.names G24 [150] [151] -01 1 -.names G0 [151] [152] -00 1 -.names [149] [152] [153] -01 1 -.names G0 G22 [154] -01 1 -.names [135] [154] [155] -11 1 -.names [146] [155] [156] -10 1 -.names [131] [156] [157] -00 1 -.names G17 [157] [158] -01 1 -.names [131] [156] [159] -10 1 -.names [158] [159] G28_in -00 1 -.names [122] [126] [161] -11 1 -.names G21 G22 [162] -01 1 -.names G0 [162] [163] -01 1 -.names [161] [163] [164] -00 1 -.names G20 [164] [165] -00 1 -.names G19 [165] [166] -01 1 -.names [130] [166] [167] -00 1 -.names [131] [167] [168] -00 1 -.names G17 [168] [169] -01 1 -.names [131] [167] [170] -10 1 -.names [169] [170] G29_in -00 1 -.names G20 G21 [172] -10 1 -.names G0 G24 [173] -00 1 -.names [172] [173] [174] -11 1 -.names G19 [174] G30_in -11 1 -.names G1 G31 [176] -00 1 -.names G1 G31 [177] -11 1 -.names [176] [177] [178] -00 1 -.names G0 [178] G31_in -01 1 -.names [131] G24_in -0 1 -.names [153] G27_in -0 1 -.names G27 G118 -1 1 -.names G29 G167 -0 1 -.names G25 G107 -1 1 -.names G28 G119 -0 1 -.names G30 G168 -1 1 -.names G26 G108 -1 1 -.end |