| .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 n_n132 n_n134 n_n136 [36] [18] keyb_out_1_ |
| ---1- 1 |
| ----1 1 |
| 000-- 1 |
| .names [16] [154] [155] [156] [522] n_n28 |
| -1--- 1 |
| ----1 1 |
| 1-1-- 1 |
| 1--1- 1 |
| .names n_n134 [30] [68] [138] [140] n_n29 |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 0-1-- 1 |
| .names n_n133 n_n135 [65] [128] [541] n_n30 |
| ---1- 1 |
| ----1 1 |
| 101-- 1 |
| .names [14] [100] [557] n_n31 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [17] [14] [72] [572] n_n32 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ [16] |
| 000 1 |
| .names keyb_in_3_ keyb_in_4_ n_n132 n_n134 [17] |
| 0010 1 |
| .names keyb_in_1_ keyb_in_2_ [20] |
| 01 1 |
| 10 1 |
| .names keyb_in_0_ n_n132 n_n133 n_n134 [33] |
| 0011 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ n_n132 n_n134 [65] |
| 00-11 1 |
| 10001 1 |
| .names keyb_in_5_ keyb_in_6_ n_n136 [64] |
| --1 1 |
| 00- 1 |
| .names keyb_in_0_ keyb_in_1_ n_n132 n_n133 n_n135 [36] |
| 00111 1 |
| .names n_n132 n_n134 n_n135 [525] [30] |
| 1011 1 |
| .names [36] [62] [69] [530] [532] [68] |
| 1---- 1 |
| --11- 1 |
| -1--1 1 |
| .names n_n132 n_n134 [25] |
| 01 1 |
| .names n_n132 n_n134 [52] |
| 10 1 |
| .names n_n133 n_n135 [60] |
| 11 1 |
| .names n_n136 [120] [122] [547] [548] [14] |
| -1--- 1 |
| ----1 1 |
| 1-1-- 1 |
| 1--1- 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ n_n133 [28] |
| 00-- 1 |
| 0-00 1 |
| -000 1 |
| .names keyb_in_1_ keyb_in_2_ n_n132 n_n133 n_n134 [37] |
| 00011 1 |
| .names keyb_in_5_ keyb_in_3_ keyb_in_4_ n_n134 n_n135 [61] |
| 00010 1 |
| .names keyb_in_0_ keyb_in_3_ keyb_in_4_ keyb_in_1_ keyb_in_2_ [62] |
| 00000 1 |
| .names keyb_in_6_ [16] [55] [90] [567] [72] |
| --1-- 1 |
| 0--1- 1 |
| 01--1 1 |
| .names n_n133 n_n134 [58] |
| 11 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ n_n135 [86] |
| 0--1 1 |
| 000- 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ n_n132 n_n134 [87] |
| 0--10 1 |
| -0-10 1 |
| 0000- 1 |
| .names keyb_in_5_ keyb_in_3_ keyb_in_4_ n_n134 [24] |
| 0001 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ n_n136 [55] |
| 0011 1 |
| 0101 1 |
| .names keyb_in_0_ keyb_in_3_ keyb_in_1_ keyb_in_2_ [69] |
| 0-01 1 |
| 0010 1 |
| 1000 1 |
| .names keyb_in_5_ keyb_in_3_ keyb_in_4_ [79] |
| 001 1 |
| 010 1 |
| 100 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ n_n135 [81] |
| 001- 1 |
| 0100 1 |
| 1000 1 |
| .names keyb_in_5_ n_n134 n_n135 [83] |
| --1 1 |
| 01- 1 |
| .names [16] [61] [58] [31] [32] [18] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names keyb_in_5_ keyb_in_6_ keyb_in_3_ keyb_in_4_ n_n136 [31] |
| 00000 1 |
| .names keyb_in_3_ keyb_in_4_ n_n132 n_n134 n_n136 [32] |
| 00101 1 |
| .names keyb_in_0_ keyb_in_5_ keyb_in_1_ keyb_in_2_ [90] |
| 0001 1 |
| 0010 1 |
| 1000 1 |
| .names keyb_in_3_ keyb_in_4_ n_n132 n_n134 n_n135 [92] |
| 11110 1 |
| .names keyb_in_6_ keyb_in_3_ keyb_in_4_ [96] [563] [93] |
| 0--1- 1 |
| 001-1 1 |
| 010-1 1 |
| .names keyb_in_3_ keyb_in_4_ n_n132 n_n134 [94] |
| 0-01 1 |
| -001 1 |
| .names keyb_in_3_ keyb_in_4_ n_n132 n_n133 n_n134 [96] |
| 0001- 1 |
| 11110 1 |
| .names n_n132 n_n133 [107] [555] [556] [100] |
| -01-- 1 |
| 10-1- 1 |
| 10--1 1 |
| .names keyb_in_5_ keyb_in_3_ keyb_in_4_ n_n134 [81] [107] |
| 00011 1 |
| .names keyb_in_0_ keyb_in_1_ n_n133 n_n134 n_n135 [117] |
| 00110 1 |
| .names keyb_in_0_ keyb_in_2_ n_n132 n_n133 n_n134 [119] |
| 00011 1 |
| .names n_n133 n_n135 [87] [131] [120] |
| -1-1 1 |
| 111- 1 |
| .names keyb_in_3_ keyb_in_4_ [545] [122] |
| 011 1 |
| 101 1 |
| .names n_n133 n_n135 [33] [87] [131] [128] |
| -11-- 1 |
| -1--1 1 |
| 11-1- 1 |
| .names keyb_in_0_ keyb_in_1_ n_n132 n_n134 [131] |
| 0001 1 |
| .names n_n136 [16] [17] [28] [526] [138] |
| 1-11- 1 |
| 11--1 1 |
| .names n_n132 [58] [86] [520] [521] [140] |
| 011-- 1 |
| 0--11 1 |
| .names keyb_in_0_ keyb_in_1_ n_n132 n_n134 n_n135 [152] |
| 00011 1 |
| .names n_n132 [58] [86] [520] [521] [154] |
| 011-- 1 |
| 0--11 1 |
| .names keyb_in_3_ keyb_in_4_ n_n132 n_n134 [515] [155] |
| 00101 1 |
| .names n_n133 [61] [157] [158] [156] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names n_n132 n_n134 n_n135 n_n136 [157] |
| 0000 1 |
| .names keyb_in_3_ keyb_in_4_ n_n132 n_n134 n_n135 [158] |
| 00101 1 |
| .names n_n132 n_n133 n_n134 n_n135 [512] |
| 1101 1 |
| .names keyb_in_5_ keyb_in_6_ n_n133 n_n135 [515] |
| 0010 1 |
| .names keyb_in_0_ keyb_in_1_ n_n135 [520] |
| 000 1 |
| .names keyb_in_3_ n_n133 n_n134 n_n136 [521] |
| 1000 1 |
| .names keyb_in_0_ keyb_in_1_ [152] [512] [522] |
| --1- 1 |
| 01-1 1 |
| 10-1 1 |
| .names keyb_in_0_ keyb_in_3_ keyb_in_4_ keyb_in_1_ keyb_in_2_ [525] |
| 01100 1 |
| .names keyb_in_3_ keyb_in_4_ n_n132 n_n135 [526] |
| 0-10 1 |
| -010 1 |
| .names n_n132 n_n133 n_n135 n_n136 [530] |
| 0000 1 |
| .names n_n133 n_n135 n_n136 [532] |
| 011 1 |
| .names [16] [17] [20] [33] [64] [541] |
| --11- 1 |
| 11--1 1 |
| .names keyb_in_5_ n_n132 n_n135 [544] |
| 00- 1 |
| -01 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ n_n132 n_n135 [545] |
| 00010 1 |
| .names keyb_in_0_ keyb_in_1_ keyb_in_2_ [546] |
| 100 1 |
| .names [17] [62] [544] [546] [547] |
| -11- 1 |
| 1--1 1 |
| .names [119] [117] [548] |
| 1- 1 |
| -1 1 |
| .names keyb_in_0_ keyb_in_3_ keyb_in_4_ keyb_in_1_ keyb_in_2_ [552] |
| 01100 1 |
| .names keyb_in_0_ keyb_in_1_ n_n134 n_n135 [24] [555] |
| 0-11- 1 |
| 00--1 1 |
| .names keyb_in_3_ keyb_in_4_ [55] [83] [552] [556] |
| ---11 1 |
| 001-- 1 |
| .names [16] [25] [60] [37] [79] [557] |
| ---1- 1 |
| -11-- 1 |
| 11--1 1 |
| .names keyb_in_3_ keyb_in_4_ n_n133 n_n136 [560] |
| 0000 1 |
| .names n_n132 n_n133 n_n134 n_n135 [563] |
| 1000 1 |
| .names keyb_in_6_ n_n132 [92] [94] [560] [565] |
| --1-- 1 |
| ---1- 1 |
| 11--1 1 |
| .names keyb_in_0_ keyb_in_5_ keyb_in_1_ keyb_in_2_ [566] |
| 0000 1 |
| .names keyb_in_5_ n_n133 n_n136 [567] |
| 100 1 |
| .names n_n132 n_n134 [28] [61] [62] [569] |
| --11- 1 |
| 01--1 1 |
| .names n_n135 [33] [52] [37] [525] [570] |
| 11--- 1 |
| 0--1- 1 |
| 1-1-1 1 |
| .names [93] [565] [566] [569] [570] [572] |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| -11-- 1 |
| .end |