.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 pb1 nmrvqn1 nmrvqn2 nct1 nct0 nct2 nmrvg2vd
--11-- 1
011--- 1
0-1-0- 1
--1-01 1
0-1--0 1
--1-10 1
-1-011 1
0--000 1
.names pstart nacvqn1 nct1 nct0 nct2 [58] nacvg2vd1
1----- 1
-1---0 1
--1--0 1
---010 1
---100 1
-1011- 1
-1000- 1
.names pstart nacvqn0 nct1 nct0 nct2 [65] nacvg1vd1
1----- 1
-1---0 1
--1--0 1
---010 1
---100 1
-1011- 1
-1000- 1
.names pb3 nmrvqn3 nct1 nct0 nct2 [69] nmrvg4vd
--1--1 1
0--0-1 1
---011 1
0---01 1
---101 1
-10111 1
.names pb2 nmrvqn3 nmrvqn2 nct1 nct0 nct2 nmrvg3vd
-1-1-- 1
011--- 1
01--0- 1
-1--01 1
01---0 1
-1--10 1
--1011 1
0--000 1
.names pstart nct1 nct0 nct2 ncntvg2vd
010- 1
0010 1
.names pstart nct1 nct0 nct2 ncntvg1vd
0-0- 1
0011 1
.names nacvqn3 nmrvqn0 nax3 nadsh naddvg3vcn [333] nacvg4vd1
-----1 1
11-1-- 1
1-01-- 1
1--11- 1
-1-11- 1
--011- 1
.names pstart nacvqn3 nacvqn2 nmrvqn0 nax3 nadsh naddvg3vcn nacvg3vd1
1------ 1
--1--0- 1
-111--1 1
-11-0-1 1
-1-1-11 1
-1--011 1
-011--0 1
-01-0-0 1
-0-1-10 1
-0--010 1
-0101-1 1
-0-0111 1
-1101-0 1
-1-0110 1
.names pstart nct1 nct0 nct2 ncntvg3vd
00-1 1
0-01 1
0110 1
.names pb0 nmrvqn1 nct1 nct0 nct2 nmrvqn0 nmrvg1vd
-11--- 1
01-0-- 1
-1-01- 1
01--0- 1
-1-10- 1
01---1 1
0-000- 1
--0111 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 nacvqn1 nacvqn0 nacvqn2 nmrvqn0 nax2 nax1 nax0 [58]
--01--- 1
110-0-- 1
1-0-00- 1
-10-00- 1
1-0-0-0 1
--0-000 1
11101-- 1
0-0011- 1
0-1001- 1
1-1010- 1
-11010- 1
1-101-0 1
--10100 1
00001-1 1
00100-1 1
-000111 1
-010011 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 nacvqn0 nct1 nct0 nct2 nmrvqn0 nax0 [69]
1---1- 1
1----0 1
-011-- 1
-000-- 1
0---01 1
.names nacvqn1 nacvqn0 nacvqn2 nmrvqn0 nax2 nax1 nax0 naddvg3vcn
---1--- 1
--1-0-- 1
111---- 1
11--0-- 1
1-1--0- 1
-11--0- 1
1---00- 1
-1--00- 1
1-1---0 1
1---0-0 1
--1--00 1
----000 1
.names pstart nct1 nct0 nacvqn3 nct2 [333]
1---- 1
-0111 1
-0010 1
.end