vtr_flow/benchmarks/blif/3/keyb.blif

.model top
.inputs keyb_in_0_ keyb_in_5_ keyb_in_6_ clock keyb_in_3_ keyb_in_4_ \
keyb_in_1_ keyb_in_2_
.outputs keyb_out_0_ keyb_out_1_
.latch    n_n28 n_n132 re clock 2
.latch    n_n29 n_n133 re clock 2
.latch    n_n30 n_n134 re clock 2
.latch    n_n31 n_n135 re clock 2
.latch    n_n32 n_n136 re clock 2
.names n_n135 n_n136 keyb_out_0_
10 1
.names [18] [577] keyb_out_1_
1- 1
-1 1
.names [16] [70] [523] n_n28
--1 1
11- 1
.names [139] [140] [534] n_n29
1-- 1
-1- 1
--1 1
.names n_n135 [63] [542] n_n30
--1 1
11- 1
.names [100] [558] n_n31
1- 1
-1 1
.names [572] [573] n_n32
1- 1
-1 1
.names keyb_in_0_ keyb_in_1_ keyb_in_2_ [16]
000 1
.names n_n132 n_n134 [51] [17]
101 1
.names keyb_in_1_ keyb_in_2_ [20]
01 1
10 1
.names n_n132 n_n134 [540] [33]
011 1
.names keyb_in_5_ keyb_in_6_ n_n136 [64]
--1 1
00- 1
.names [33] [130] [131] [63]
1-- 1
-1- 1
--1 1
.names n_n132 n_n134 n_n136 [46]
000 1
.names [16] [29] [524] [30]
101 1
.names [17] [28] [142] [67]
--1 1
11- 1
.names keyb_in_0_ keyb_in_1_ [15]
01 1
10 1
.names n_n132 n_n134 [25]
01 1
.names keyb_in_0_ keyb_in_1_ [26]
00 1
.names n_n132 n_n134 [52]
10 1
.names n_n133 n_n135 [60]
11 1
.names n_n133 [71] [155] [70]
--1 1
01- 1
.names keyb_in_0_ keyb_in_1_ [527] [28]
00- 1
0-1 1
-01 1
.names keyb_in_1_ keyb_in_2_ [551] [37]
001 1
.names n_n135 [51] [516] [61]
011 1
.names keyb_in_6_ [76] [565] [75]
--1 1
01- 1
.names [16] [60] [79] [78]
-1- 1
1-1 1
.names n_n133 n_n134 [58]
11 1
.names [121] [122] [123] [84]
1-- 1
-1- 1
--1 1
.names keyb_in_3_ keyb_in_4_ [51]
00 1
.names keyb_in_3_ keyb_in_4_ [19]
01 1
10 1
.names n_n133 n_n136 [53]
00 1
.names keyb_in_3_ keyb_in_4_ [29]
0- 1
-0 1
.names keyb_in_0_ keyb_in_1_ keyb_in_2_ [47]
001 1
.names keyb_in_1_ keyb_in_2_ [554] [55]
011 1
101 1
.names keyb_in_5_ keyb_in_6_ [56]
00 1
.names keyb_in_0_ keyb_in_1_ keyb_in_2_ [57]
010 1
100 1
.names n_n132 n_n135 [59]
10 1
.names keyb_in_3_ [47] [57] [69]
-1- 1
0-1 1
.names [61] [157] [158] [71]
1-- 1
-1- 1
--1 1
.names keyb_in_0_ keyb_in_1_ keyb_in_2_ [74]
001 1
010 1
100 1
.names n_n133 [77] [95] [76]
--1 1
11- 1
.names [52] [29] [98] [77]
--1 1
10- 1
.names keyb_in_5_ keyb_in_3_ keyb_in_4_ [79]
001 1
010 1
100 1
.names n_n135 [47] [57] [81]
-1- 1
0-1 1
.names keyb_in_5_ n_n134 n_n135 [83]
--1 1
01- 1
.names keyb_in_0_ keyb_in_1_ [88]
0- 1
-0 1
.names [16] [575] [576] [18]
11- 1
1-1 1
.names n_n136 [52] [51] [32]
111 1
.names [17] [55] [48] [39]
11- 1
1-1 1
.names [16] [25] [51] [40]
111 1
.names n_n135 [550] [551] [42]
011 1
.names n_n135 [25] [540] [43]
111 1
.names keyb_in_6_ [50] [90] [48]
01- 1
0-1 1
.names [16] [567] [50]
11 1
.names keyb_in_5_ [74] [90]
01 1
.names [51] [53] [559] [91]
111 1
.names n_n132 n_n135 [561] [92]
101 1
.names n_n132 n_n134 [29] [94]
011 1
.names [52] [19] [562] [95]
111 1
.names keyb_in_3_ keyb_in_4_ n_n132 [98]
000 1
.names n_n133 [107] [108] [100]
01- 1
0-1 1
.names [51] [81] [516] [107]
111 1
.names n_n132 [555] [556] [108]
11- 1
1-1 1
.names [16] [29] [83] [111]
101 1
.names keyb_in_0_ n_n134 n_n135 [112]
011 1
.names [20] [51] [554] [113]
111 1
.names [26] [51] [516] [114]
111 1
.names keyb_in_2_ [25] [540] [119]
011 1
.names n_n135 [130] [131] [120]
11- 1
1-1 1
.names [16] [51] [544] [121]
111 1
.names [16] [19] [59] [122]
111 1
.names [52] [51] [546] [123]
111 1
.names [134] [135] [539] [127]
1-1 1
-11 1
.names [20] [25] [540] [129]
111 1
.names n_n133 [132] [133] [130]
11- 1
1-1 1
.names n_n132 n_n134 [26] [131]
011 1
.names n_n132 n_n134 [88] [132]
101 1
.names n_n132 [16] [133]
01 1
.names keyb_in_0_ keyb_in_1_ [537] [134]
101 1
.names keyb_in_0_ keyb_in_1_ [538] [135]
001 1
.names n_n134 [146] [533] [139]
01- 1
0-1 1
.names n_n132 [160] [161] [140]
01- 1
0-1 1
.names [16] [29] [59] [142]
111 1
.names [53] [69] [529] [146]
111 1
.names [16] [51] [532] [147]
111 1
.names [15] [52] [60] [151]
111 1
.names keyb_in_0_ keyb_in_1_ [513] [152]
001 1
.names n_n132 [160] [161] [154]
01- 1
0-1 1
.names [52] [51] [515] [155]
111 1
.names n_n135 [46] [157]
01 1
.names n_n135 [52] [51] [158]
111 1
.names [53] [519] [520] [160]
111 1
.names [16] [58] [162] [161]
11- 1
-11 1
.names keyb_in_0_ n_n135 [162]
01 1
.names n_n132 n_n134 n_n135 [513]
011 1
.names n_n133 n_n135 [56] [515]
101 1
.names n_n134 keyb_in_5_ [516]
10 1
.names n_n134 keyb_in_3_ [519]
01 1
.names keyb_in_0_ keyb_in_1_ n_n135 [520]
000 1
.names [151] [152] [154] [523]
1-- 1
-1- 1
--1 1
.names n_n132 n_n134 n_n135 [524]
101 1
.names n_n133 keyb_in_2_ [527]
00 1
.names keyb_in_0_ keyb_in_1_ n_n132 [528]
001 1
.names n_n135 n_n132 [529]
00 1
.names n_n133 n_n135 n_n136 [532]
011 1
.names [60] [147] [528] [533]
-1- 1
1-1 1
.names n_n136 [30] [67] [534]
-1- 1
1-1 1
.names [16] [52] [51] [536]
111 1
.names keyb_in_2_ n_n132 n_n134 [537]
001 1
.names n_n134 n_n132 [538]
11 1
.names n_n135 n_n133 [539]
01 1
.names n_n133 keyb_in_0_ [540]
10 1
.names [64] [129] [536] [541]
-1- 1
1-1 1
.names [541] [127] [542]
1- 1
-1 1
.names keyb_in_0_ keyb_in_1_ n_n135 [543]
000 1
.names keyb_in_5_ n_n132 n_n135 [544]
00- 1
-01 1
.names keyb_in_0_ keyb_in_1_ keyb_in_2_ [546]
100 1
.names [58] [119] [543] [548]
-1- 1
1-1 1
.names n_n136 [84] [548] [549]
--1 1
11- 1
.names keyb_in_2_ keyb_in_1_ [550]
00 1
.names n_n132 n_n133 n_n134 [551]
011 1
.names n_n136 keyb_in_0_ [554]
10 1
.names [114] [112] [555]
1- 1
-1 1
.names [113] [111] [556]
1- 1
-1 1
.names [25] [37] [78] [557]
-1- 1
1-1 1
.names [120] [549] [557] [558]
1-- 1
-1- 1
--1 1
.names n_n132 keyb_in_6_ [559]
11 1
.names keyb_in_3_ keyb_in_4_ n_n134 [561]
111 1
.names n_n135 n_n133 [562]
00 1
.names [91] [92] [94] [565]
1-- 1
-1- 1
--1 1
.names [16] keyb_in_5_ [566]
10 1
.names keyb_in_5_ n_n133 n_n136 [567]
100 1
.names [28] [61] [40] [569]
--1 1
11- 1
.names [30] [42] [43] [570]
1-- 1
-1- 1
--1 1
.names [570] [569] [571]
1- 1
-1 1
.names [75] [566] [571] [572]
--1 1
11- 1
.names [39] [120] [549] [573]
1-- 1
-1- 1
--1 1
.names keyb_in_3_ keyb_in_4_ n_n136 [574]
000 1
.names n_n133 n_n134 [61] [575]
--1 1
11- 1
.names [56] [32] [574] [576]
-1- 1
1-1 1
.names [46] [60] [528] [577]
1-- 1
-11 1
.end