| .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 tbk_in_3_ tbk_in_4_ n_n131 n_n132 [368] [372] tbk_out_0_ |
| 01111- 1 |
| 1011-1 1 |
| .names [71] [373] [374] [375] [376] tbk_out_1_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n131 n_n132 [314] tbk_out_2_ |
| 111--- 1 |
| 0--111 1 |
| --0111 1 |
| .names n_n129 n_n130 [25] [387] [388] [390] n_n28 |
| -----1 1 |
| 1-1--- 1 |
| ---11- 1 |
| -11-1- 1 |
| .names n_n130 [27] [25] [56] [324] [325] [385] n_n29 |
| ---1--- 1 |
| ------1 1 |
| 1-1---- 1 |
| -1--1-- 1 |
| -1---1- 1 |
| .names [42] [43] [44] [77] [313] [314] [397] n_n30 |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ------1 1 |
| ----11- 1 |
| .names tbk_out_2_ n_n132 [42] [43] [44] [397] [411] n_n31 |
| ------1 1 |
| 11----- 1 |
| -11---- 1 |
| -1-1--- 1 |
| -1--1-- 1 |
| -1---1- 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 [61] [71] [373] [374] [375] [376] [382] [25] |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| .names n_n129 n_n130 n_n131 [22] |
| 000 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ n_n131 n_n132 [23] |
| 001101 1 |
| .names n_n129 n_n130 n_n132 [25] [387] [390] [28] |
| --1-1- 1 |
| --1--1 1 |
| 1-11-- 1 |
| -111-- 1 |
| .names tbk_in_1_ n_n129 n_n130 [56] [384] [385] [390] [31] |
| 1001--- 1 |
| 100-1-- 1 |
| 100--1- 1 |
| 100---1 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ n_n129 n_n130 n_n131 [40] |
| 0011001 1 |
| .names n_n129 n_n130 n_n131 [25] [387] [390] [42] |
| --1-1- 1 |
| --1--1 1 |
| 1-11-- 1 |
| -111-- 1 |
| .names tbk_in_0_ n_n129 n_n130 [56] [384] [385] [390] [43] |
| 1001--- 1 |
| 100-1-- 1 |
| 100--1- 1 |
| 100---1 1 |
| .names n_n131 [61] [71] [373] [374] [375] [376] [44] |
| 11----- 1 |
| 1-1---- 1 |
| 1--1--- 1 |
| 1---1-- 1 |
| 1----1- 1 |
| 1-----1 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ n_n130 n_n131 n_n132 [54] |
| 001110- 1 |
| 00111-0 1 |
| .names tbk_in_3_ tbk_in_4_ n_n130 n_n131 n_n132 [368] [372] [56] |
| 011111- 1 |
| 10111-1 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ n_n132 [61] |
| 000001 1 |
| 001000 1 |
| .names tbk_in_3_ tbk_in_4_ n_n131 n_n132 [372] [71] |
| 10111 1 |
| .names tbk_in_1_ tbk_in_2_ tbk_in_0_ [77] |
| 111 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_ n_n129 n_n130 [314] |
| 000001 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [316] |
| 0010 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ n_n129 n_n131 n_n132 [319] |
| 001110- 1 |
| 00111-0 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [320] |
| 1011 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [323] |
| 10000- 1 |
| 10-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 tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n130 \ |
| [332] |
| 0001010 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n130 n_n131 [338] |
| 0010000 1 |
| .names tbk_in_1_ n_n129 n_n130 n_n132 [342] |
| 1111 1 |
| 0110 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n131 \ |
| [343] |
| 0100011 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_1_ tbk_in_2_ tbk_in_5_ n_n132 [353] |
| 011001 1 |
| 010000 1 |
| .names tbk_in_1_ n_n129 n_n130 n_n131 n_n132 [357] |
| 11--1 1 |
| 1-1-1 1 |
| 1--11 1 |
| 01--0 1 |
| 0-1-0 1 |
| 0--10 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n129 n_n131 [358] |
| 1000000 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ n_n132 [362] |
| 001011 1 |
| 000010 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [363] |
| 000011 1 |
| .names tbk_in_1_ n_n129 n_n130 n_n131 n_n132 [364] |
| 00001 1 |
| 10000 1 |
| .names tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n129 n_n130 [368] |
| 10111 1 |
| .names tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n129 n_n130 [372] |
| 10110 1 |
| .names tbk_in_1_ n_n129 n_n130 n_n131 n_n132 [332] [338] [373] |
| 11--1-1 1 |
| 1-1-1-1 1 |
| 1--11-1 1 |
| 01--0-1 1 |
| 0-1-0-1 1 |
| 0--10-1 1 |
| 11-111- 1 |
| 1-1111- 1 |
| 01-101- 1 |
| 0-1101- 1 |
| .names [342] [343] [345] [346] [347] [374] |
| 11--- 1 |
| --111 1 |
| .names tbk_in_0_ n_n129 n_n130 n_n131 [353] [357] [358] [375] |
| -----11 1 |
| 01101-- 1 |
| .names tbk_in_0_ n_n129 n_n130 n_n131 [362] [363] [364] [376] |
| -----11 1 |
| 00011-- 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n131 [382] |
| 000001 1 |
| 000010 1 |
| .names n_n129 n_n130 n_n131 n_n132 [324] [325] [384] |
| 00001- 1 |
| 0000-1 1 |
| .names [27] [54] [77] [313] [314] [323] [385] |
| -1---- 1 |
| --1--- 1 |
| ---11- 1 |
| 1----1 1 |
| .names [27] [56] [324] [325] [385] [387] |
| -1--- 1 |
| ----1 1 |
| 1-1-- 1 |
| 1--1- 1 |
| .names tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n131 n_n132 [314] [388] |
| 10--0-- 1 |
| 1-0-0-- 1 |
| 1--00-- 1 |
| 10---0- 1 |
| 1-0--0- 1 |
| 1--0-0- 1 |
| 10----0 1 |
| 1-0---0 1 |
| 1--0--0 1 |
| 1101--- 1 |
| .names [27] [77] [313] [314] [316] [319] [320] [390] |
| -00--1- 1 |
| -0-0-1- 1 |
| 100-1-- 1 |
| 10-01-- 1 |
| 100---1 1 |
| 10-0--1 1 |
| .names tbk_in_0_ n_n129 n_n130 n_n131 [393] |
| 1001 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [394] |
| 00010 1 |
| .names [27] [29] [40] [393] [394] [397] |
| --1-- 1 |
| -1-1- 1 |
| 1---1 1 |
| .names tbk_in_1_ tbk_in_2_ tbk_in_0_ [44] [313] [314] [397] [399] |
| ---1--- 1 |
| ------1 1 |
| ----11- 1 |
| 111---- 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n132 [402] |
| 000001 1 |
| .names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [403] |
| 000011 1 |
| .names n_n131 tbk_in_1_ [405] |
| 01 1 |
| .names [22] [23] [77] [313] [314] [402] [403] [408] |
| -1----- 1 |
| --1---- 1 |
| ---11-- 1 |
| 1----1- 1 |
| 1-----1 1 |
| .names [28] [31] [42] [43] [399] [405] [408] [411] |
| 1------ 1 |
| -1----- 1 |
| ------1 1 |
| --1--1- 1 |
| ---1-1- 1 |
| ----11- 1 |
| .end |