| .model top |
| .inputs pcars_0_0_ ptimeoutl_0_0_ pclk ptimeouts_0_0_ prun_0_0_ preset |
| .outputs phiwayl_1_1_ phiwayl_0_0_ phiwayl_2_2_ pfarml_1_1_ pfarml_0_0_ pdn \ |
| pfarml_2_2_ pstarttimer_0_0_ |
| .latch [66] pfarml_1_1_ re pclk 2 |
| .latch [81] pfarml_2_2_ re pclk 2 |
| .latch [96] pstarttimer_0_0_ re pclk 2 |
| .latch [111] [102] re pclk 2 |
| .latch [126] [117] re pclk 2 |
| .latch [141] [132] re pclk 2 |
| .latch [156] phiwayl_0_0_ re pclk 2 |
| .latch [171] phiwayl_1_1_ re pclk 2 |
| .latch [186] phiwayl_2_2_ re pclk 2 |
| .latch [201] pfarml_0_0_ re pclk 2 |
| .latch [229] [221] re pclk 2 |
| .latch [242] [234] re pclk 2 |
| .names prun_0_0_ [221] [234] pdn |
| 001 1 |
| .names preset pfarml_1_1_ [221] [234] [64] [79] [66] |
| ----1- 1 |
| -----1 1 |
| 0111-- 1 |
| .names preset pfarml_2_2_ [221] [234] [81] |
| 0111 1 |
| .names preset pstarttimer_0_0_ [221] [234] [65] [96] |
| 0111- 1 |
| 0-011 1 |
| .names preset [102] [221] [234] [67] [111] |
| 0111- 1 |
| 0-011 1 |
| .names preset [117] [221] [234] [68] [126] |
| 0111- 1 |
| 0-011 1 |
| .names preset [132] [221] [234] [141] |
| 0111 1 |
| .names preset phiwayl_0_0_ [221] [234] [64] [43] [156] |
| ----1- 1 |
| -----1 1 |
| 0111-- 1 |
| .names preset phiwayl_1_1_ [221] [234] [41] [171] |
| ----1 1 |
| 0111- 1 |
| .names preset phiwayl_2_2_ [221] [234] [186] |
| 0111 1 |
| .names preset pfarml_0_0_ [221] [234] [64] [38] [201] |
| ----1- 1 |
| -----1 1 |
| 0111-- 1 |
| .names prun_0_0_ preset [221] [234] [229] |
| 0001 1 |
| .names prun_0_0_ preset [221] [234] [242] |
| 10-- 1 |
| -01- 1 |
| -0-0 1 |
| .names preset [102] [117] [132] [221] [234] [64] |
| 000001 1 |
| .names pcars_0_0_ ptimeoutl_0_0_ ptimeouts_0_0_ [102] [117] [132] [65] |
| --1110 1 |
| 0--010 1 |
| -1-010 1 |
| --1100 1 |
| 11-000 1 |
| .names pcars_0_0_ ptimeoutl_0_0_ ptimeouts_0_0_ [102] [117] [132] [67] |
| --0110 1 |
| 0--010 1 |
| -1-010 1 |
| --0100 1 |
| 11-000 1 |
| .names ptimeouts_0_0_ [102] [117] [132] [68] |
| -010 1 |
| -100 1 |
| 0110 1 |
| .names preset [102] [117] [132] [221] [234] [38] |
| 001001 1 |
| 010001 1 |
| .names preset [102] [117] [132] [221] [234] [41] |
| 011001 1 |
| 001001 1 |
| 010001 1 |
| .names preset [102] [117] [132] [221] [234] [43] |
| 011001 1 |
| 001001 1 |
| .names preset [102] [117] [132] [221] [234] [79] |
| 011001 1 |
| 010001 1 |
| .end |
