| .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 nsmvg3vg1vad2nf [64] nacvg2vd1 |
| 1-- 1 |
| -01 1 |
| .names pstart nsmvg2vg1vad2nf [68] nacvg1vd1 |
| 1-- 1 |
| -01 1 |
| .names nadsh [99] [100] [329] nmrvg4vd |
| 01-- 1 |
| 0-1- 1 |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [70] [94] [95] nmrvg3vd |
| 100 1 |
| .names pstart nct1 nct0 nct2 ncntvg2vd |
| 010- 1 |
| 0010 1 |
| .names pstart nct1 nct0 nct2 ncntvg1vd |
| 0-0- 1 |
| 0011 1 |
| .names pstart nadsh naddvg4vcn [87] nacvg4vd1 |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names pstart nacvqn2 nadsh [61] nacvg3vd1 |
| 1--- 1 |
| -10- 1 |
| -1-0 1 |
| --10 1 |
| .names pstart nct1 nct0 nct2 ncntvg3vd |
| 00-1 1 |
| 0-01 1 |
| 0110 1 |
| .names [77] [79] [80] nmrvg1vd |
| 100 1 |
| .names [55] [78] nam3 |
| 1- 1 |
| -1 1 |
| .names [51] [52] nam2 |
| 1- 1 |
| -1 1 |
| .names [47] [50] nam1 |
| 1- 1 |
| -1 1 |
| .names [45] [46] nam0 |
| 1- 1 |
| -1 1 |
| .names nct1 nct0 nct2 nadsh |
| 1-- 1 |
| -01 1 |
| -10 1 |
| .names nadsh naddvg2vcn [54] [43] nsmvg3vg1vad2nf |
| 100- 1 |
| 1111 1 |
| 1010 1 |
| .names nacvqn3 nmrvqn0 nax3 [48] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names [48] [54] [73] [44] naddvg4vcn |
| 1--0 1 |
| 111- 1 |
| .names [48] [54] [73] [44] [61] |
| 00-- 1 |
| 0-0- 1 |
| 10-0 1 |
| 1-00 1 |
| 1111 1 |
| .names nmrvqn2 nct1 nct0 nct2 [63] |
| 1--- 1 |
| -011 1 |
| -000 1 |
| .names nacvqn1 nct1 nct0 nct2 [64] |
| 1--- 1 |
| -1-- 1 |
| --01 1 |
| --10 1 |
| .names nadsh naddvg2vcn [66] [104] nsmvg2vg1vad2nf |
| 1--1 1 |
| 111- 1 |
| .names nacvqn1 nmrvqn0 nax1 [67] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names nacvqn1 nmrvqn0 nax1 [322] naddvg2vcn |
| 1-0- 1 |
| 1--0 1 |
| -1-0 1 |
| --00 1 |
| .names nacvqn0 nct1 nct0 nct2 [68] |
| 1--- 1 |
| -1-- 1 |
| --01 1 |
| --10 1 |
| .names nmrvqn3 nct1 nct0 nct2 [70] |
| 1--- 1 |
| -011 1 |
| -000 1 |
| .names nacvqn1 nax1 [71] |
| 0- 1 |
| -1 1 |
| .names nacvqn2 nmrvqn0 nax2 [54] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names [67] [71] [43] [322] [73] |
| --0- 1 |
| 10-- 1 |
| 1--0 1 |
| .names nmrvqn1 nct1 nct0 nct2 [77] |
| 1--- 1 |
| -011 1 |
| -000 1 |
| .names nacvqn2 nmrvqn0 nax2 [43] |
| 0-- 1 |
| -01 1 |
| .names nacvqn3 nmrvqn0 nax3 [44] |
| 0-- 1 |
| -01 1 |
| .names nacvqn0 nmrvqn0 nax0 [327] [66] |
| ---1 1 |
| 001- 1 |
| .names nct1 nct0 nct2 nax0 [45] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names pa0 nct1 nct0 nct2 [46] |
| 1000 1 |
| .names nct1 nct0 nct2 nax1 [47] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names pa1 nct1 nct0 nct2 [50] |
| 1000 1 |
| .names nct1 nct0 nct2 nax2 [51] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names pa2 nct1 nct0 nct2 [52] |
| 1000 1 |
| .names nct1 nct0 nct2 nax3 [55] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names pa3 nct1 nct0 nct2 [78] |
| 1000 1 |
| .names nct1 nct0 nct2 nmrvqn0 [79] |
| 0110 1 |
| .names pb0 nct1 nct0 nct2 [80] |
| 1000 1 |
| .names nct1 nct0 nacvqn3 nct2 [87] |
| 0111 1 |
| 0010 1 |
| .names nmrvqn2 nct1 nct0 nct2 [94] |
| 0011 1 |
| .names pb2 nct1 nct0 nct2 [95] |
| 1000 1 |
| .names nmrvqn3 nct1 nct0 nct2 [99] |
| 1011 1 |
| .names pb3 nct1 nct0 nct2 [100] |
| 01-- 1 |
| 0-0- 1 |
| 0--0 1 |
| .names nacvqn1 nacvqn0 [326] [104] |
| 001 1 |
| .names nmrvqn1 nct1 nct0 nct2 [115] |
| 0011 1 |
| .names pb1 nct1 nct0 nct2 [116] |
| 1000 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 nacvqn0 nmrvqn0 nax0 [329] |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .end |
