| .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] [365] [366] [367] tbk_out_0_ |
| 1--- 1 |
| -111 1 |
| .names [71] [377] [378] tbk_out_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [29] [77] [312] [313] tbk_out_2_ |
| -1-- 1 |
| 1-11 1 |
| .names tbk_in_4_ tbk_out_2_ n_n29 [391] n_n28 |
| ---1 1 |
| 101- 1 |
| .names n_n130 [21] [382] [387] n_n29 |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names tbk_in_0_ [24] [42] [399] n_n30 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_n30 n_n132 [405] [410] n_n31 |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names [61] [71] [377] [378] [21] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n129 n_n29 n_n130 [391] [24] |
| 010- 1 |
| 0-01 1 |
| .names n_n129 n_n130 n_n131 n_n132 [27] |
| 0000 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [29] |
| 0000 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [35] |
| 0011 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [41] |
| 0001 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 tbk_in_0_ n_n132 [29] [22] [16] |
| 0111 1 |
| .names tbk_in_1_ tbk_in_0_ [41] [22] [20] |
| 0111 1 |
| .names n_n131 n_n132 [35] [23] |
| 011 1 |
| .names n_n29 n_n132 [391] [28] |
| 11- 1 |
| -11 1 |
| .names tbk_in_0_ [27] [41] [37] |
| 011 1 |
| .names n_n29 n_n131 [391] [42] |
| 11- 1 |
| -11 1 |
| .names tbk_in_3_ tbk_in_4_ [27] [322] [51] |
| 1011 1 |
| .names n_n130 n_n131 n_n132 [35] [54] |
| 10-1 1 |
| 1-01 1 |
| .names tbk_in_1_ n_n132 [29] [61] |
| 011 1 |
| 101 1 |
| .names [13] [328] [329] [330] [63] |
| 0111 1 |
| .names [13] [22] [335] [336] [64] |
| 0011 1 |
| .names [340] [341] [342] [65] |
| 111 1 |
| .names [345] [346] [347] [66] |
| 111 1 |
| .names tbk_in_1_ n_n132 [351] [352] [67] |
| 1111 1 |
| 0011 1 |
| .names [13] [22] [355] [356] [68] |
| 0011 1 |
| .names tbk_in_1_ n_n132 [41] [361] [69] |
| 1111 1 |
| 0011 1 |
| .names [41] [13] [22] [39] [70] |
| 1111 1 |
| .names tbk_in_3_ tbk_in_4_ [74] [75] [71] |
| 101- 1 |
| 10-1 1 |
| .names tbk_in_2_ n_n129 [366] [367] [74] |
| 0111 1 |
| .names tbk_in_2_ n_n129 [370] [371] [75] |
| 0111 1 |
| .names tbk_in_1_ tbk_in_2_ tbk_in_0_ [77] |
| 111 1 |
| .names n_n130 n_n129 [312] |
| 10 1 |
| .names tbk_in_1_ tbk_in_0_ n_n131 n_n132 [313] |
| 0-11 1 |
| -011 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [316] |
| 0010 1 |
| .names [27] [316] [317] |
| 11 1 |
| .names n_n129 n_n131 n_n132 [35] [319] |
| 10-1 1 |
| 1-01 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [320] |
| 1011 1 |
| .names [27] [320] [321] |
| 11 1 |
| .names tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [322] |
| 000- 1 |
| -000 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [324] |
| 0100 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [325] |
| 0111 1 |
| .names n_n129 n_n130 n_n131 [328] |
| 1-1 1 |
| -11 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [329] |
| 001- 1 |
| 00-1 1 |
| .names tbk_in_1_ tbk_in_5_ tbk_in_0_ n_n130 [330] |
| 0010 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [335] |
| 001- 1 |
| 00-1 1 |
| .names tbk_in_5_ tbk_in_0_ n_n130 n_n131 [336] |
| 0000 1 |
| .names tbk_in_2_ tbk_in_5_ n_n131 [340] |
| 001 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [341] |
| 0101 1 |
| .names tbk_in_1_ n_n129 n_n130 n_n132 [342] |
| 1111 1 |
| 0110 1 |
| .names tbk_in_2_ tbk_in_5_ n_n129 n_n130 [345] |
| 001- 1 |
| 00-1 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [346] |
| 1001 1 |
| .names tbk_in_1_ n_n129 n_n131 n_n132 [347] |
| 1011 1 |
| 0010 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [351] |
| 0100 1 |
| .names tbk_in_0_ n_n129 n_n130 n_n131 [352] |
| 0110 1 |
| .names tbk_in_2_ tbk_in_5_ n_n131 [355] |
| 000 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_0_ n_n129 [356] |
| 1000 1 |
| .names tbk_in_0_ n_n129 n_n130 n_n131 [361] |
| 0001 1 |
| .names n_n129 tbk_in_2_ [365] |
| 10 1 |
| .names tbk_in_1_ tbk_in_0_ n_n130 [366] |
| 111 1 |
| .names tbk_in_3_ tbk_in_4_ n_n131 n_n132 [367] |
| 0111 1 |
| .names tbk_in_1_ tbk_in_0_ n_n130 [370] |
| 110 1 |
| .names tbk_in_3_ tbk_in_4_ n_n131 n_n132 [371] |
| 1011 1 |
| .names [63] [64] [65] [66] [377] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [67] [68] [69] [70] [378] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names tbk_in_0_ n_n131 [29] [382] |
| 011 1 |
| 101 1 |
| .names [27] [324] [325] [384] |
| 11- 1 |
| 1-1 1 |
| .names n_n130 [74] [75] [384] [386] |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names tbk_out_2_ [51] [54] [386] [387] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names tbk_out_2_ [317] [319] [321] [390] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names n_n129 [21] [382] [390] [391] |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names tbk_in_0_ n_n129 n_n130 n_n131 [393] |
| 1001 1 |
| .names n_n129 n_n130 n_n131 [395] |
| 001 1 |
| .names [29] [35] [393] [395] [396] |
| 1-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 tbk_in_1_ [405] |
| 01 1 |
| .names tbk_out_2_ [16] [20] [23] [408] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names tbk_in_1_ [24] [28] [408] [410] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .end |