diff options
Diffstat (limited to 'examples/s444.blif')
| -rw-r--r-- | examples/s444.blif | 353 |
1 files changed, 353 insertions, 0 deletions
diff --git a/examples/s444.blif b/examples/s444.blif new file mode 100644 index 00000000..e89e8aa1 --- /dev/null +++ b/examples/s444.blif @@ -0,0 +1,353 @@ +.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 |