vtr_flow/benchmarks/blif/6/s349.blif

.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