| .model top |
| .inputs bbtas_in_0_ bbtas_in_1_ clock |
| .outputs bbtas_out_1_ bbtas_out_0_ |
| .latch n_n16 n_n38 re clock 2 |
| .latch n_n17 n_n39 re clock 2 |
| .latch n_n18 n_n40 re clock 2 |
| .names bbtas_in_1_ n_n39 n_n40 bbtas_out_1_ |
| 101 1 |
| .names bbtas_in_0_ n_n39 n_n40 bbtas_out_0_ |
| 101 1 |
| .names bbtas_in_0_ bbtas_in_1_ n_n38 n_n39 n_n40 n_n16 |
| 1-11- 1 |
| -111- 1 |
| 00-01 1 |
| 1-000 1 |
| -1000 1 |
| 00010 1 |
| .names bbtas_in_0_ bbtas_in_1_ n_n38 n_n39 n_n40 n_n17 |
| 1-1-- 1 |
| -11-- 1 |
| --11- 1 |
| 1--11 1 |
| -1-11 1 |
| 00-01 1 |
| .names bbtas_in_0_ bbtas_in_1_ n_n38 n_n39 n_n40 n_n18 |
| 1---1 1 |
| -1--1 1 |
| 1-01- 1 |
| -101- 1 |
| 0011- 1 |
| .end |
