.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 nmrvqn2 nct1 nct0 nct2 nmrvg2vdvad2nf nmrvg2vd
1---0 1
-0110 1
-0000 1
.names pstart [109] nacvg2vd1
1- 1
-1 1
.names pstart nacvqn0 nadsh [65] nacvg1vd1
1--- 1
-10- 1
-1-0 1
--10 1
.names nct1 nct0 nct2 [53] [329] nmrvg4vd
---11 1
0111- 1
0001- 1
.names nmrvqn3 nct1 nct0 nct2 nmrvg3vdvad2nf nmrvg3vd
1---0 1
-0110 1
-0000 1
.names pstart nct1 nct0 nct2 ncntvg2vd
010- 1
0010 1
.names pstart nct1 nct0 nct2 ncntvg1vd
0-0- 1
0011 1
.names nct1 nct0 nct2 naddvg4vcn [333] nacvg4vd1
----1 1
1--1- 1
-011- 1
-101- 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 nmrvqn1 nct1 nct0 nct2 nmrvg1vdvad2nf nmrvg1vd
1---0 1
-0110 1
-0000 1
.names pa3 nct1 nct0 nct2 nax3 nam3
-1--1 1
--1-1 1
---11 1
1000- 1
.names pa2 nct1 nct0 nct2 nax2 nam2
-1--1 1
--1-1 1
---11 1
1000- 1
.names pa1 nct1 nct0 nct2 nax1 nam1
-1--1 1
--1-1 1
---11 1
1000- 1
.names pa0 nct1 nct0 nct2 nax0 nam0
-1--1 1
--1-1 1
---11 1
1000- 1
.names nct1 nct0 nct2 nadsh
1-- 1
-01 1
-10 1
.names nacvqn3 nmrvqn0 nax3 [48]
1-- 1
-1- 1
--0 1
.names [48] naddvg2vcn [54] [43] [44] naddvg4vcn
1---0 1
111-- 1
1-10- 1
.names [48] naddvg2vcn [54] [43] [44] [61]
0-0-- 1
00-1- 1
1-0-0 1
111-1 1
1-101 1
10-10 1
.names pb0 nct1 nct0 nct2 nmrvqn0 nmrvg1vdvad2nf
1000- 1
-0110 1
.names pb1 nmrvqn1 nct1 nct0 nct2 nmrvg2vdvad2nf
-0011 1
1-000 1
.names pb2 nmrvqn2 nct1 nct0 nct2 nmrvg3vdvad2nf
-0011 1
1-000 1
.names nacvqn1 nacvqn0 nmrvqn0 nax1 nax0 [65]
0-1-- 1
01-0- 1
0--00 1
1101- 1
1-010 1
00011 1
10001 1
.names nacvqn1 nacvqn0 nmrvqn0 nax1 nax0 naddvg2vcn
--1-- 1
11--- 1
1--0- 1
-1-0- 1
1---0 1
---00 1
.names pb3 nmrvqn3 nct1 nct0 nct2 [53]
--1-- 1
0--0- 1
---01 1
0---0 1
---10 1
-1011 1
.names nacvqn2 nmrvqn0 nax2 [54]
1-- 1
-1- 1
--0 1
.names nacvqn2 nmrvqn0 nax2 [43]
0-- 1
-01 1
.names nacvqn3 nmrvqn0 nax3 [44]
0-- 1
-01 1
.names nacvqn1 nadsh naddvg2vcn [54] [43] [109]
10--- 1
1-10- 1
-110- 1
1-1-0 1
-11-0 1
1-011 1
-1011 1
.names nacvqn0 nmrvqn0 nax0 [329]
11- 1
1-0 1
001 1
.names pstart nct1 nct0 nacvqn3 nct2 [333]
1---- 1
-0111 1
-0010 1
.end