| .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_ [12] tav_out_0_ |
| 11 1 |
| .names tav_in_3_ [13] tav_out_3_ |
| 11 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_3_ tav_in_2_ n_n34 n_n35 [12] |
| ---10 1 |
| 000-- 1 |
| .names tav_in_1_ tav_in_0_ tav_in_2_ n_n34 n_n35 [13] |
| ---10 1 |
| 000-- 1 |
| .end |
