| .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 [60] [119] [120] nmrvg2vd |
| 100 1 |
| .names pstart [113] nacvg2vd1 |
| 1- 1 |
| -1 1 |
| .names pstart [106] nacvg1vd1 |
| 1- 1 |
| -1 1 |
| .names [66] [104] [337] nmrvg4vd |
| 11- 1 |
| 1-1 1 |
| .names [68] [98] [99] nmrvg3vd |
| 100 1 |
| .names pstart [70] ncntvg2vd |
| 01 1 |
| .names pstart [73] ncntvg1vd |
| 01 1 |
| .names nadsh naddvg4vcn [340] nacvg4vd1 |
| --1 1 |
| 11- 1 |
| .names pstart [85] nacvg3vd1 |
| 1- 1 |
| -1 1 |
| .names pstart [77] [76] ncntvg3vd |
| 011 1 |
| .names [78] [81] [82] 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 [59] [108] [58] |
| --1 1 |
| 11- 1 |
| .names nct1 nct0 nct2 [56] |
| 000 1 |
| .names nct1 nct0 nct2 [57] |
| 011 1 |
| .names nct1 nct0 nct2 niiniit |
| 000 1 |
| .names nmrvqn2 nadsh [60] |
| 1- 1 |
| -0 1 |
| .names nacvqn3 nmrvqn0 nax3 [49] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names [49] naddvg3vcn [43] naddvg4vcn |
| 11- 1 |
| 1-0 1 |
| .names naddvg2vcn [55] [44] [64] |
| 00- 1 |
| 111 1 |
| 010 1 |
| .names nadsh [338] [66] |
| 0- 1 |
| -1 1 |
| .names nacvqn1 nmrvqn0 nax1 [67] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names [67] [69] [331] naddvg2vcn |
| 10- 1 |
| 1-0 1 |
| .names nmrvqn3 nadsh [68] |
| 1- 1 |
| -0 1 |
| .names nacvqn1 nax1 [69] |
| 0- 1 |
| -1 1 |
| .names nct1 nct0 nct2 [70] |
| 10- 1 |
| 010 1 |
| .names [49] naddvg3vcn [43] [71] |
| 00- 1 |
| 111 1 |
| 100 1 |
| .names nct1 nct0 nct2 [73] |
| -0- 1 |
| 011 1 |
| .names nacvqn2 nmrvqn0 nax2 [55] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names naddvg2vcn [55] [44] naddvg3vcn |
| 11- 1 |
| -10 1 |
| .names nct1 nct0 nct2 [77] |
| --1 1 |
| 11- 1 |
| .names nct1 nct0 nct2 [76] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names nmrvqn1 nadsh [78] |
| 1- 1 |
| -0 1 |
| .names nacvqn3 nmrvqn0 nax3 [43] |
| 0-- 1 |
| -01 1 |
| .names nacvqn2 nmrvqn0 nax2 [44] |
| 0-- 1 |
| -01 1 |
| .names [110] [336] [59] |
| 1- 1 |
| -1 1 |
| .names nmrvqn0 [57] [81] |
| 01 1 |
| .names pb0 [56] [82] |
| 11 1 |
| .names nacvqn2 nadsh [71] [85] |
| 10- 1 |
| 1-0 1 |
| -10 1 |
| .names nmrvqn2 [57] [98] |
| 01 1 |
| .names pb2 [56] [99] |
| 11 1 |
| .names pb3 nreadyn [104] |
| 01 1 |
| .names nacvqn0 nadsh [58] [106] |
| 10- 1 |
| 1-0 1 |
| -10 1 |
| .names nacvqn1 nacvqn0 [335] [108] |
| 001 1 |
| .names nacvqn0 nmrvqn0 nax0 [110] |
| 001 1 |
| .names nacvqn1 nadsh [64] [113] |
| 10- 1 |
| 1-0 1 |
| -10 1 |
| .names nmrvqn1 [57] [119] |
| 01 1 |
| .names pb1 [56] [120] |
| 11 1 |
| .names nacvqn0 nmrvqn0 nax0 [331] |
| 001 1 |
| .names nmrvqn0 nax1 nax0 [335] |
| 011 1 |
| .names nacvqn1 nmrvqn0 nax1 [336] |
| 0-- 1 |
| -01 1 |
| .names nmrvqn3 nreadyn niiniit [337] |
| 10- 1 |
| -10 1 |
| .names nacvqn0 nmrvqn0 nax0 [338] |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names pstart nacvqn3 nadsh [340] |
| 1-- 1 |
| -10 1 |
| .end |
