| .model top |
| .inputs bbsse_in_6_ bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ bbsse_in_4_ \ |
| bbsse_in_1_ bbsse_in_0_ clock |
| .outputs bbsse_out_4_ bbsse_out_3_ bbsse_out_2_ bbsse_out_1_ bbsse_out_0_ \ |
| bbsse_out_6_ bbsse_out_5_ |
| .latch n_n39 n_n100 re clock 2 |
| .latch n_n40 n_n101 re clock 2 |
| .latch n_n41 n_n102 re clock 2 |
| .latch n_n42 n_n103 re clock 2 |
| .names bbsse_in_6_ bbsse_in_0_ [272] bbsse_out_4_ |
| 101 1 |
| .names n_n101 n_n102 [40] [220] bbsse_out_3_ |
| --1- 1 |
| 11-1 1 |
| .names bbsse_in_5_ n_n102 n_n103 [37] bbsse_out_2_ |
| ---1 1 |
| 110- 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n101 n_n102 [238] bbsse_out_1_ |
| ----1 1 |
| 0-1-- 1 |
| -11-- 1 |
| 0--1- 1 |
| -1-1- 1 |
| --11- 1 |
| .names bbsse_in_6_ n_n102 [274] bbsse_out_0_ |
| 001 1 |
| .names [51] [248] [251] [255] bbsse_out_6_ |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names n_n100 n_n102 [20] [229] [232] bbsse_out_5_ |
| --01- 1 |
| 110-- 1 |
| 11--1 1 |
| .names [264] [265] [266] [268] [270] n_n39 |
| ---1- 1 |
| ----1 1 |
| 001-- 1 |
| .names [20] [18] [54] [56] [248] n_n40 |
| ----1 1 |
| 0000- 1 |
| .names n_n42 [35] [258] [265] n_n41 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names [54] [55] [56] n_n42 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n101 [19] |
| 101 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n101 [20] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names bbsse_in_1_ n_n100 [18] |
| 0- 1 |
| -0 1 |
| .names n_n101 n_n102 [40] [220] [260] [34] |
| 0-0-1 1 |
| -00-1 1 |
| --001 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n102 n_n103 [37] [35] |
| 1---1 1 |
| 1110- 1 |
| .names bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n103 [37] |
| 11100 1 |
| .names bbsse_in_5_ n_n102 n_n103 [38] |
| 110 1 |
| .names bbsse_in_6_ n_n100 n_n101 n_n102 n_n103 [40] |
| 10000 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n101 n_n102 [41] |
| 0--1 1 |
| -1-1 1 |
| --11 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n101 [42] |
| 0-1 1 |
| -11 1 |
| .names bbsse_in_6_ bbsse_in_2_ bbsse_in_5_ n_n101 n_n102 [49] |
| 10010 1 |
| .names bbsse_in_6_ bbsse_in_3_ bbsse_in_5_ n_n101 n_n102 [50] |
| 11011 1 |
| .names bbsse_in_1_ n_n100 [20] [54] [56] [51] |
| 11000 1 |
| .names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n102 [54] |
| 10110 1 |
| .names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 [55] |
| 100-0 1 |
| 10-00 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n101 n_n103 [56] |
| 1011 1 |
| .names bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ n_n100 [220] |
| 0101 1 |
| .names bbsse_in_4_ n_n100 n_n101 n_n102 n_n103 [226] |
| 10001 1 |
| .names bbsse_in_3_ bbsse_in_2_ n_n102 n_n103 [229] |
| 0011 1 |
| .names bbsse_in_6_ bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ [232] |
| 1000 1 |
| .names n_n101 n_n102 n_n103 [236] |
| 011 1 |
| .names bbsse_in_6_ n_n100 n_n102 n_n103 [238] |
| 10-- 1 |
| --01 1 |
| .names n_n100 n_n102 n_n103 [241] |
| 001 1 |
| .names bbsse_in_6_ bbsse_in_2_ bbsse_in_5_ bbsse_in_4_ n_n101 [242] |
| 10010 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n100 n_n101 n_n103 [246] |
| 1001- 1 |
| 10-10 1 |
| .names [49] [50] [241] [242] [246] [248] |
| 1---- 1 |
| -1--- 1 |
| ----1 1 |
| --11- 1 |
| .names bbsse_in_3_ bbsse_in_4_ n_n100 [250] |
| 111 1 |
| .names [41] [42] [238] [250] [251] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names n_n100 n_n101 n_n102 [253] |
| 110 1 |
| .names [54] [55] [56] [226] [253] [254] |
| 1--1- 1 |
| -1-1- 1 |
| --11- 1 |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| .names bbsse_out_5_ n_n42 [236] [254] [255] |
| ---1 1 |
| 011- 1 |
| .names n_n101 n_n102 [40] [220] [256] |
| 100- 1 |
| 1-00 1 |
| .names n_n100 n_n101 [41] [42] [238] [258] |
| 101-- 1 |
| 10-1- 1 |
| 10--1 1 |
| .names bbsse_in_1_ n_n100 n_n103 [259] |
| 110 1 |
| .names bbsse_in_6_ bbsse_in_5_ n_n101 n_n102 [260] |
| 1011 1 |
| .names bbsse_in_6_ n_n42 [37] [38] [258] [264] |
| 1-1-- 1 |
| 1--1- 1 |
| -1--1 1 |
| .names bbsse_out_5_ n_n42 [19] [34] [259] [265] |
| ---1- 1 |
| 11--- 1 |
| --1-1 1 |
| .names bbsse_out_1_ [54] [55] [56] [266] |
| 1000 1 |
| .names bbsse_in_1_ bbsse_out_5_ n_n100 n_n42 [268] |
| -1-1 1 |
| 0-10 1 |
| .names [51] [248] [251] [255] [256] [270] |
| 00-1- 1 |
| --001 1 |
| 00-01 1 |
| .names n_n100 n_n101 n_n102 n_n103 [272] |
| 0000 1 |
| .names bbsse_in_1_ n_n100 n_n101 n_n103 [274] |
| 1100 1 |
| .end |