| .model top |
| .inputs pa1 pb2 pa0 pb3 pa3 pb0 pa2 pb1 pclk pstart |
| .outputs pcntvcon2 pready pp0 pp1 pp2 pcntvco2 pp3 pp4 pp5 pp6 pp7 |
| .latch nmrvg2vd nmrvqn1 re pclk 2 |
| .latch nacvg2vd1 nacvqn1 re pclk 2 |
| .latch nacvg1vd1 nacvqn0 re pclk 2 |
| .latch nmrvg4vd nmrvqn3 re pclk 2 |
| .latch nmrvg3vd nmrvqn2 re pclk 2 |
| .latch ncntvg2vd nct1 re pclk 2 |
| .latch ncntvg1vd nct0 re pclk 2 |
| .latch nacvg4vd1 nacvqn3 re pclk 2 |
| .latch nacvg3vd1 nacvqn2 re pclk 2 |
| .latch ncntvg3vd nct2 re pclk 2 |
| .latch nmrvg1vd nmrvqn0 re pclk 2 |
| .latch nam3 nax3 re pclk 2 |
| .latch nam2 nax2 re pclk 2 |
| .latch nam1 nax1 re pclk 2 |
| .latch nam0 nax0 re pclk 2 |
| .names nct1 nct0 nct2 pcntvcon2 |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names nct1 nct0 nct2 pready |
| 011 1 |
| .names nmrvqn0 pp0 |
| 0 1 |
| .names nmrvqn1 pp1 |
| 0 1 |
| .names nmrvqn2 pp2 |
| 0 1 |
| .names nct1 nct0 nct2 pcntvco2 |
| 111 1 |
| .names nmrvqn3 pp3 |
| 0 1 |
| .names nacvqn0 pp4 |
| 0 1 |
| .names nacvqn1 pp5 |
| 0 1 |
| .names nacvqn2 pp6 |
| 0 1 |
| .names nacvqn3 pp7 |
| 0 1 |
| .names [63] [115] [116] nmrvg2vd |
| 100 1 |
| .names pstart [109] nacvg2vd1 |
| 1- 1 |
| -1 1 |
| .names pstart [102] nacvg1vd1 |
| 1- 1 |
| -1 1 |
| .names [69] [100] [328] nmrvg4vd |
| 11- 1 |
| 1-1 1 |
| .names [70] [94] [95] nmrvg3vd |
| 100 1 |
| .names nreadyn [93] [331] ncntvg2vd |
| -1- 1 |
| 1-1 1 |
| .names pstart [72] ncntvg1vd |
| 01 1 |
| .names nadsh naddvg4vcn [333] nacvg4vd1 |
| --1 1 |
| 11- 1 |
| .names pstart [83] nacvg3vd1 |
| 1- 1 |
| -1 1 |
| .names pstart [75] ncntvg3vd |
| 01 1 |
| .names [77] [79] [80] nmrvg1vd |
| 100 1 |
| .names pa3 nax3 niiniit nam3 |
| 1-1 1 |
| -10 1 |
| .names pa2 nax2 niiniit nam2 |
| 1-1 1 |
| -10 1 |
| .names pa1 nax1 niiniit nam1 |
| 1-1 1 |
| -10 1 |
| .names pa0 nax0 niiniit nam0 |
| 1-1 1 |
| -10 1 |
| .names nct1 nct0 nct2 nreadyn |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names nct1 nct0 nct2 nadsh |
| 1-- 1 |
| -01 1 |
| -10 1 |
| .names naddvg2vcn [54] [43] [58] |
| 00- 1 |
| 111 1 |
| 010 1 |
| .names nct1 nct0 nct2 niiniit |
| 000 1 |
| .names nacvqn3 nmrvqn0 nax3 [48] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names [48] naddvg3vcn [44] naddvg4vcn |
| 11- 1 |
| 1-0 1 |
| .names [48] naddvg3vcn [44] [61] |
| 00- 1 |
| 111 1 |
| 100 1 |
| .names nct1 nct0 nct2 [56] |
| 000 1 |
| .names nct1 nct0 nct2 [57] |
| 011 1 |
| .names nmrvqn2 nadsh [63] |
| 1- 1 |
| -0 1 |
| .names naddvg2vcn [66] [104] [65] |
| --1 1 |
| 11- 1 |
| .names nacvqn1 nmrvqn0 nax1 [67] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names [67] [71] [322] naddvg2vcn |
| 10- 1 |
| 1-0 1 |
| .names nadsh [329] [69] |
| 0- 1 |
| -1 1 |
| .names nmrvqn3 nadsh [70] |
| 1- 1 |
| -0 1 |
| .names nacvqn1 nax1 [71] |
| 0- 1 |
| -1 1 |
| .names nct1 nct0 nct2 [72] |
| -0- 1 |
| 011 1 |
| .names nacvqn2 nmrvqn0 nax2 [54] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names naddvg2vcn [54] [43] naddvg3vcn |
| 11- 1 |
| -10 1 |
| .names nct1 nct0 nct2 [75] |
| 0-1 1 |
| -01 1 |
| 110 1 |
| .names nmrvqn1 nadsh [77] |
| 1- 1 |
| -0 1 |
| .names nacvqn2 nmrvqn0 nax2 [43] |
| 0-- 1 |
| -01 1 |
| .names nacvqn3 nmrvqn0 nax3 [44] |
| 0-- 1 |
| -01 1 |
| .names [106] [327] [66] |
| 1- 1 |
| -1 1 |
| .names nmrvqn0 [57] [79] |
| 01 1 |
| .names pb0 [56] [80] |
| 11 1 |
| .names nacvqn2 nadsh [61] [83] |
| 10- 1 |
| 1-0 1 |
| -10 1 |
| .names pstart nct1 [72] [93] |
| 011 1 |
| .names nmrvqn2 [57] [94] |
| 01 1 |
| .names pb2 [56] [95] |
| 11 1 |
| .names pb3 nreadyn [100] |
| 01 1 |
| .names nacvqn0 nadsh [65] [102] |
| 10- 1 |
| 1-0 1 |
| -10 1 |
| .names nacvqn1 nacvqn0 [326] [104] |
| 001 1 |
| .names nacvqn0 nmrvqn0 nax0 [106] |
| 001 1 |
| .names nacvqn1 nadsh [58] [109] |
| 10- 1 |
| 1-0 1 |
| -10 1 |
| .names nmrvqn1 [57] [115] |
| 01 1 |
| .names pb1 [56] [116] |
| 11 1 |
| .names nacvqn0 nmrvqn0 nax0 [322] |
| 001 1 |
| .names nmrvqn0 nax1 nax0 [326] |
| 011 1 |
| .names nacvqn1 nmrvqn0 nax1 [327] |
| 0-- 1 |
| -01 1 |
| .names nmrvqn3 nreadyn niiniit [328] |
| 10- 1 |
| -10 1 |
| .names nacvqn0 nmrvqn0 nax0 [329] |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names pstart nct1 nct0 [331] |
| 001 1 |
| .names pstart nacvqn3 nadsh [333] |
| 1-- 1 |
| -10 1 |
| .end |
