vtr_flow/benchmarks/blif/4/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 [60] [119] [120] nmrvg2vd
100 1
.names pstart nsmvg3vg1vad2nf [62] nacvg2vd1
1-- 1
-01 1
.names pstart nsmvg2vg1vad2nf [63] nacvg1vd1
1-- 1
-01 1
.names nadsh [103] [104] [338] nmrvg4vd
01-- 1
0-1- 1
1--1 1
-1-1 1
--11 1
.names [68] [98] [99] 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 [89] nacvg4vd1
1--- 1
---1 1
-11- 1
.names pstart nacvqn2 nadsh [71] 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 [78] [81] [82] nmrvg1vd
100 1
.names [79] [80] nam3
1- 1
-1 1
.names [52] [53] nam2
1- 1
-1 1
.names [48] [50] nam1
1- 1
-1 1
.names [46] [47] nam0
1- 1
-1 1
.names nct1 nct0 nct2 nadsh
1-- 1
-01 1
-10 1
.names nadsh naddvg2vcn [59] [108] nsmvg2vg1vad2nf
1--1 1
111- 1
.names nmrvqn2 nct1 nct0 nct2 [60]
1--- 1
-011 1
-000 1
.names nacvqn3 nmrvqn0 nax3 [49]
1-- 1
-1- 1
--0 1
.names [49] [55] [75] [43] naddvg4vcn
1--0 1
111- 1
.names nadsh naddvg2vcn [55] [44] nsmvg3vg1vad2nf
100- 1
1111 1
1010 1
.names nacvqn1 nct1 nct0 nct2 [62]
1--- 1
-1-- 1
--01 1
--10 1
.names nacvqn0 nct1 nct0 nct2 [63]
1--- 1
-1-- 1
--01 1
--10 1
.names nacvqn1 nmrvqn0 nax1 [67]
1-- 1
-1- 1
--0 1
.names nacvqn1 nmrvqn0 nax1 [331] naddvg2vcn
1-0- 1
1--0 1
-1-0 1
--00 1
.names nmrvqn3 nct1 nct0 nct2 [68]
1--- 1
-011 1
-000 1
.names nacvqn1 nax1 [69]
0- 1
-1 1
.names [49] [55] [75] [43] [71]
00-- 1
0-0- 1
10-0 1
1-00 1
1111 1
.names nacvqn2 nmrvqn0 nax2 [55]
1-- 1
-1- 1
--0 1
.names [67] [69] [44] [331] [75]
--0- 1
10-- 1
1--0 1
.names nmrvqn1 nct1 nct0 nct2 [78]
1--- 1
-011 1
-000 1
.names nacvqn3 nmrvqn0 nax3 [43]
0-- 1
-01 1
.names nacvqn2 nmrvqn0 nax2 [44]
0-- 1
-01 1
.names nacvqn0 nmrvqn0 nax0 [336] [59]
---1 1
001- 1
.names nct1 nct0 nct2 nax0 [46]
1--1 1
-1-1 1
--11 1
.names pa0 nct1 nct0 nct2 [47]
1000 1
.names nct1 nct0 nct2 nax1 [48]
1--1 1
-1-1 1
--11 1
.names pa1 nct1 nct0 nct2 [50]
1000 1
.names nct1 nct0 nct2 nax2 [52]
1--1 1
-1-1 1
--11 1
.names pa2 nct1 nct0 nct2 [53]
1000 1
.names nct1 nct0 nct2 nax3 [79]
1--1 1
-1-1 1
--11 1
.names pa3 nct1 nct0 nct2 [80]
1000 1
.names nct1 nct0 nct2 nmrvqn0 [81]
0110 1
.names pb0 nct1 nct0 nct2 [82]
1000 1
.names nct1 nct0 nacvqn3 nct2 [89]
0111 1
0010 1
.names nmrvqn2 nct1 nct0 nct2 [98]
0011 1
.names pb2 nct1 nct0 nct2 [99]
1000 1
.names nmrvqn3 nct1 nct0 nct2 [103]
1011 1
.names pb3 nct1 nct0 nct2 [104]
01-- 1
0-0- 1
0--0 1
.names nacvqn1 nacvqn0 [335] [108]
001 1
.names nmrvqn1 nct1 nct0 nct2 [119]
0011 1
.names pb1 nct1 nct0 nct2 [120]
1000 1
.names nacvqn0 nmrvqn0 nax0 [331]
001 1
.names nmrvqn0 nax1 nax0 [335]
011 1
.names nacvqn1 nmrvqn0 nax1 [336]
0-- 1
-01 1
.names nacvqn0 nmrvqn0 nax0 [338]
11- 1
1-0 1
001 1
.end