| .model top |
| .inputs tav_in_1_ tav_in_0_ tav_in_3_ tav_in_2_ clock |
| .outputs tav_out_2_ tav_out_1_ tav_out_0_ tav_out_3_ |
| .latch n_n11 n_n34 re clock 2 |
| .latch n_n23 n_n35 re clock 2 |
| .names tav_in_1_ tav_in_2_ [10] tav_out_2_ |
| 011 1 |
| .names tav_in_1_ tav_in_2_ [10] tav_out_1_ |
| 101 1 |
| .names tav_in_0_ n_n34 n_n35 [16] tav_out_0_ |
| 1--1 1 |
| 110- 1 |
| .names tav_in_3_ n_n34 n_n35 [14] tav_out_3_ |
| 1--1 1 |
| 110- 1 |
| .names n_n34 n_n11 |
| 0 1 |
| .names n_n34 n_n35 n_n23 |
| 01 1 |
| 10 1 |
| .names tav_in_0_ tav_in_3_ n_n34 n_n35 [10] |
| 00-- 1 |
| --10 1 |
| .names tav_in_1_ tav_in_0_ tav_in_2_ [14] |
| 000 1 |
| .names tav_in_1_ tav_in_3_ tav_in_2_ [16] |
| 000 1 |
| .end |
