| .model top |
| .inputs tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ clock |
| .outputs tbk_out_0_ tbk_out_1_ tbk_out_2_ |
| .latch n_n28 n_n129 re clock 2 |
| .latch n_n29 n_n130 re clock 2 |
| .latch n_n30 n_n131 re clock 2 |
| .latch n_n31 n_n132 re clock 2 |
| .names [75] [367] [368] tbk_out_0_ |
| 1-- 1 |
| -11 1 |
| .names [375] [376] [379] tbk_out_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [77] [313] [314] tbk_out_2_ |
| 1-- 1 |
| -11 1 |
| .names [49] [50] [390] n_n28 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [55] [387] n_n29 |
| 1- 1 |
| -1 1 |
| .names [43] [400] n_n30 |
| 1- 1 |
| -1 1 |
| .names [26] [32] [410] n_n31 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n129 n_n130 [19] |
| 00 1 |
| .names [61] [378] [379] [21] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n132 [22] [27] |
| 01 1 |
| .names tbk_in_2_ tbk_in_5_ [15] [29] |
| 001 1 |
| .names [55] [387] [391] [30] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names tbk_in_1_ tbk_in_0_ [14] |
| 0- 1 |
| -0 1 |
| .names tbk_in_2_ tbk_in_5_ [17] |
| 00 1 |
| .names n_n131 n_n132 [18] |
| 0- 1 |
| -0 1 |
| .names tbk_in_3_ tbk_in_4_ [34] |
| 10 1 |
| .names tbk_in_3_ tbk_in_4_ [38] |
| 01 1 |
| .names tbk_in_3_ tbk_in_4_ [15] |
| 00 1 |
| .names tbk_in_1_ n_n132 [13] |
| 01 1 |
| 10 1 |
| .names n_n129 n_n130 n_n131 [22] |
| 000 1 |
| .names tbk_in_1_ tbk_in_0_ [39] |
| 01 1 |
| .names [22] [403] [20] |
| 11 1 |
| .names [14] [15] [404] [23] |
| 011 1 |
| .names [43] [400] [405] [26] |
| 1-1 1 |
| -11 1 |
| .names tbk_in_1_ [19] [30] [31] |
| 111 1 |
| .names n_n132 [43] [400] [32] |
| 11- 1 |
| 1-1 1 |
| .names n_n132 [22] [394] [37] |
| 011 1 |
| .names [14] [15] [395] [40] |
| 011 1 |
| .names tbk_in_0_ [19] [30] [43] |
| 111 1 |
| .names tbk_out_2_ [27] [320] [48] |
| 011 1 |
| .names [55] [387] [388] [49] |
| 1-1 1 |
| -11 1 |
| .names n_n129 [21] [382] [50] |
| 11- 1 |
| 1-1 1 |
| .names [14] [15] [326] [54] |
| 011 1 |
| .names n_n130 [21] [382] [55] |
| 11- 1 |
| 1-1 1 |
| .names n_n130 [74] [75] [56] |
| 11- 1 |
| 1-1 1 |
| .names [17] [15] [380] [58] |
| 111 1 |
| .names [17] [15] [381] [59] |
| 111 1 |
| .names [17] [15] [13] [61] |
| 111 1 |
| .names [329] [330] [331] [63] |
| 111 1 |
| .names [335] [336] [337] [64] |
| 111 1 |
| .names [345] [346] [347] [66] |
| 111 1 |
| .names [349] [350] [353] [67] |
| 111 1 |
| .names [19] [360] [362] [69] |
| 111 1 |
| .names [13] [22] [363] [70] |
| 111 1 |
| .names [34] [74] [75] [71] |
| 11- 1 |
| 1-1 1 |
| .names [18] [38] [368] [74] |
| 011 1 |
| .names [18] [34] [372] [75] |
| 011 1 |
| .names tbk_in_1_ tbk_in_2_ tbk_in_0_ [77] |
| 111 1 |
| .names n_n130 n_n129 [312] |
| 10 1 |
| .names n_n131 n_n132 [14] [313] |
| 111 1 |
| .names [17] [15] [312] [314] |
| 111 1 |
| .names tbk_in_2_ tbk_in_5_ [15] [316] |
| 101 1 |
| .names n_n132 [22] [316] [317] |
| 011 1 |
| .names n_n129 n_n131 n_n132 [318] |
| 10- 1 |
| 1-0 1 |
| .names [14] [15] [318] [319] |
| 011 1 |
| .names tbk_in_3_ tbk_in_4_ [14] [320] |
| 100 1 |
| .names n_n132 [22] [320] [321] |
| 011 1 |
| .names [14] [17] [34] [323] |
| 111 1 |
| .names tbk_in_3_ tbk_in_4_ [17] [324] |
| 011 1 |
| .names tbk_in_3_ tbk_in_4_ [14] [325] |
| 010 1 |
| .names n_n130 n_n131 n_n132 [326] |
| 10- 1 |
| 1-0 1 |
| .names n_n129 n_n130 n_n131 [328] |
| 1-1 1 |
| -11 1 |
| .names tbk_in_3_ tbk_in_4_ [17] [329] |
| 000 1 |
| .names tbk_in_5_ n_n130 [39] [330] |
| 001 1 |
| .names tbk_in_1_ n_n132 [328] [331] |
| 111 1 |
| 001 1 |
| .names tbk_in_0_ tbk_in_5_ [333] |
| 00 1 |
| .names tbk_in_3_ tbk_in_4_ [17] [335] |
| 000 1 |
| .names n_n130 n_n131 [333] [336] |
| 001 1 |
| .names tbk_in_1_ n_n132 [22] [337] |
| 110 1 |
| 000 1 |
| .names n_n130 n_n129 [339] |
| 11 1 |
| .names tbk_in_2_ tbk_in_5_ n_n131 [340] |
| 001 1 |
| .names tbk_in_1_ n_n132 [339] [342] |
| 111 1 |
| 001 1 |
| .names [38] [39] [340] [343] |
| 111 1 |
| .names n_n131 n_n129 [344] |
| 10 1 |
| .names tbk_in_2_ tbk_in_5_ [19] [345] |
| 000 1 |
| .names tbk_in_1_ tbk_in_0_ [34] [346] |
| 011 1 |
| .names tbk_in_1_ n_n132 [344] [347] |
| 111 1 |
| 001 1 |
| .names n_n129 tbk_in_0_ [349] |
| 10 1 |
| .names n_n131 n_n130 [350] |
| 01 1 |
| .names [17] [38] [13] [353] |
| 110 1 |
| .names n_n129 tbk_in_0_ [354] |
| 00 1 |
| .names tbk_in_2_ tbk_in_5_ n_n131 [355] |
| 000 1 |
| .names tbk_in_1_ n_n132 [22] [357] |
| 110 1 |
| 000 1 |
| .names [34] [354] [355] [358] |
| 111 1 |
| .names tbk_in_5_ tbk_in_2_ [359] |
| 10 1 |
| .names n_n131 tbk_in_0_ [360] |
| 10 1 |
| .names [15] [13] [359] [362] |
| 101 1 |
| .names [15] [39] [359] [363] |
| 111 1 |
| .names tbk_in_1_ n_n132 [22] [364] |
| 011 1 |
| 101 1 |
| .names tbk_in_1_ tbk_in_0_ n_n130 [366] |
| 111 1 |
| .names tbk_in_3_ tbk_in_4_ [18] [367] |
| 010 1 |
| .names tbk_in_2_ n_n129 [366] [368] |
| 011 1 |
| .names tbk_in_1_ tbk_in_0_ n_n130 [370] |
| 110 1 |
| .names tbk_in_2_ n_n129 [370] [372] |
| 011 1 |
| .names [64] [63] [373] |
| 1- 1 |
| -1 1 |
| .names [66] [342] [343] [374] |
| 1-- 1 |
| -11 1 |
| .names [67] [357] [358] [375] |
| 1-- 1 |
| -11 1 |
| .names [69] [363] [364] [376] |
| 1-- 1 |
| -11 1 |
| .names [69] [70] [375] [378] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [71] [373] [374] [379] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n131 tbk_in_0_ [380] |
| 01 1 |
| .names n_n131 tbk_in_0_ [381] |
| 10 1 |
| .names [59] [58] [382] |
| 1- 1 |
| -1 1 |
| .names [27] [54] [323] [383] |
| -1- 1 |
| 1-1 1 |
| .names [27] [324] [325] [384] |
| 11- 1 |
| 1-1 1 |
| .names [383] tbk_out_2_ [385] |
| 1- 1 |
| -1 1 |
| .names [56] [384] [385] [387] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names tbk_out_2_ tbk_in_4_ [388] |
| 01 1 |
| .names tbk_out_2_ [317] [319] [389] |
| 01- 1 |
| 0-1 1 |
| .names tbk_out_2_ [321] [389] [390] |
| --1 1 |
| 01- 1 |
| .names [48] [50] [389] [391] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names tbk_in_0_ n_n131 [19] [393] |
| 111 1 |
| .names tbk_in_0_ [15] [359] [394] |
| 011 1 |
| .names n_n129 n_n130 n_n131 [395] |
| 001 1 |
| .names [29] [40] [393] [396] |
| -1- 1 |
| 1-1 1 |
| .names tbk_out_2_ [37] [396] [398] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n131 [21] [398] [399] |
| --1 1 |
| 11- 1 |
| .names n_n131 [30] [399] [400] |
| --1 1 |
| 11- 1 |
| .names n_n132 tbk_in_0_ [401] |
| 10 1 |
| .names [17] [15] [401] [402] |
| 111 1 |
| .names [15] [39] [359] [403] |
| 111 1 |
| .names n_n132 n_n131 [404] |
| 10 1 |
| .names n_n131 tbk_in_1_ [405] |
| 01 1 |
| .names [22] [23] [402] [406] |
| -1- 1 |
| 1-1 1 |
| .names tbk_out_2_ [20] [406] [408] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n132 [30] [408] [409] |
| --1 1 |
| 11- 1 |
| .names [409] [31] [410] |
| 1- 1 |
| -1 1 |
| .end |