.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 nadsh naddvg2vcn [55] [44] nacvg2vd1
1----- 1
-10--- 1
-1-10- 1
--110- 1
-1-1-0 1
--11-0 1
-1-011 1
--1011 1
.names pstart nacvqn0 nct1 nct0 nct2 [58] nacvg1vd1
1----- 1
-1---0 1
--1--0 1
---010 1
---100 1
-1011- 1
-1000- 1
.names pb3 nmrvqn3 nct1 nct0 nct2 [66] 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 pstart nct1 nct0 nacvqn3 nct2 [90] nacvg4vd1
1----- 1
-----1 1
-0111- 1
-0010- 1
.names pstart nct1 nct0 nacvqn2 nct2 nsmvg4vg1vad2nf nacvg3vd1
1----- 1
-1---0 1
---1-0 1
--0-10 1
--1-00 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 nmrvqn0 nax1 nax0 [58]
0-1-- 1
01-0- 1
0--00 1
1101- 1
1-010 1
00011 1
10001 1
.names nacvqn3 nmrvqn0 nax3 [49]
1-- 1
-1- 1
--0 1
.names nacvqn0 nct1 nct0 nct2 nmrvqn0 nax0 [66]
1---1- 1
1----0 1
-011-- 1
-000-- 1
0---01 1
.names nacvqn1 nacvqn0 nmrvqn0 nax1 nax0 naddvg2vcn
--1-- 1
11--- 1
1--0- 1
-1-0- 1
1---0 1
---00 1
.names nadsh [49] naddvg2vcn [55] [43] [44] nsmvg4vg1vad2nf
10-0-- 1
11-00- 1
100--1 1
11111- 1
110-01 1
11-110 1
.names nacvqn2 nmrvqn0 nax2 [55]
1-- 1
-1- 1
--0 1
.names nacvqn3 nmrvqn0 nax3 [43]
0-- 1
-01 1
.names nacvqn2 nmrvqn0 nax2 [44]
0-- 1
-01 1
.names nadsh [49] naddvg2vcn [55] [43] [44] [90]
11--0- 1
1111-- 1
11-1-0 1
.end