| .model top |
| .inputs s420_in_9_ s420_in_8_ s420_in_7_ s420_in_6_ s420_in_10_ s420_in_11_ \ |
| s420_in_12_ s420_in_13_ s420_in_1_ s420_in_14_ s420_in_0_ s420_in_15_ \ |
| s420_in_16_ s420_in_17_ s420_in_5_ s420_in_18_ s420_in_4_ s420_in_3_ \ |
| s420_in_2_ clock |
| .outputs s420_out_1_ s420_out_0_ |
| .latch n_n23 n_n55 re clock 2 |
| .latch n_n24 n_n56 re clock 2 |
| .latch n_n25 n_n57 re clock 2 |
| .latch n_n26 n_n58 re clock 2 |
| .latch n_n27 n_n59 re clock 2 |
| .names n_n55 n_n56 n_n57 n_n59 s420_out_1_ |
| 0000 1 |
| .names s420_in_1_ s420_in_0_ s420_in_18_ n_n55 [14] s420_out_0_ |
| -11-- 1 |
| 1-10- 1 |
| --111 1 |
| .names s420_in_17_ s420_in_18_ n_n55 n_n23 |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n58 n_n59 n_n24 |
| 0101--- 1 |
| 01101-- 1 |
| 011-1-1 1 |
| 0-011-0 1 |
| 0110-01 1 |
| .names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n58 n_n59 n_n25 |
| 010-1-- 1 |
| 011--1- 1 |
| 01-11-1 1 |
| 0-011-0 1 |
| 01-01-0 1 |
| 01110-0 1 |
| .names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n58 n_n59 n_n26 |
| 010--1- 1 |
| 01110-1 1 |
| .names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n59 n_n27 |
| 010--1 1 |
| 01--01 1 |
| 01100- 1 |
| 011-10 1 |
| .names s420_in_5_ s420_in_4_ s420_in_3_ s420_in_2_ n_n56 n_n57 n_n59 [14] |
| ---1111 1 |
| -1--011 1 |
| --1-101 1 |
| ---1001 1 |
| 1---110 1 |
| --1-010 1 |
| ---1100 1 |
| .end |
