vtr_flow/benchmarks/blif/7/apex7.blif

.model top
.inputs pdel1 pratr pbull1 pbull0 pwatch povacc pverr_n porwd_n pvlenesr \
pmmerr paccrpy pvacc pcat4 pvst1 pcapsd pcat3 pcat2 pcat1 plsd pvst0 pcat0 \
pibt2 pkbg_n pmarssr pend pvsumesr pbull5 ppluto4 pstar2 pbull4 ppluto5 ppy \
pstar3 pbull3 pcomppar pibt1 pstar0 pbull2 pibt0 pstar1 ppluto0 pfbi powl_n \
ppluto1 piclr ppluto2 pbull6 pcat5 ppluto3
.outputs pbull2_p pend_p pbull3_p porwd_f pbull4_p ppluto3_p pwatch_p pbull5_p \
pbull6_p ppluto5_p ppy_p ppluto4_p plsd_p pvlenesr_p pfbi_p pstar1_p \
pvsumesr_p paccrpy_p pkbg_f pmarssr_p pstar0_p pstar3_p pdel1_p pstar2_p \
pvst0_p pcomppar_p powl_f psdo pvst1_p ppluto1_p pratr_p ppluto0_p povacc_p \
ppluto2_p pbull0_p pverr_f pbull1_p
.names pbull1 pbull0 pwatch pbull2 powl_n pbull2_p
0--11 1
-0-11 1
--011 1
11101 1
.names pwatch pend powl_n [162] [163] [545] pend_p
-11--- 1
0----1 1
---001 1
.names pbull1 pbull0 pwatch pbull3 pbull2 powl_n pbull3_p
0--1-1 1
-0-1-1 1
--01-1 1
---101 1
111011 1
.names pwatch pcat1 pcat0 pibt2 pibt1 pibt0 [163] porwd_f
0------ 1
---1--0 1
----0-0 1
-1---10 1
--1--00 1
.names pbull1 pbull0 pwatch pbull4 pbull3 pbull2 powl_n pbull4_p
0--1--1 1
-0-1--1 1
--01--1 1
---10-1 1
---1-01 1
1110111 1
.names powl_n ppluto3 [149] ppluto3_p
--1 1
11- 1
.names pwatch povacc pvacc powl_n pwatch_p
1--1 1
-101 1
.names pbull5 pbull4 powl_n [41] pbull5_p
1-11 1
0110 1
1010 1
.names pbull5 pbull4 powl_n pbull6 [41] pbull6_p
0-11- 1
-011- 1
--111 1
11100 1
.names ppluto5 powl_n [139] ppluto5_p
--1 1
11- 1
.names pdel1 ppy pfbi piclr ppy_p
1-10 1
-100 1
.names ppluto4 powl_n [135] ppluto4_p
--1 1
11- 1
.names pwatch powl_n [134] [162] [163] [561] plsd_p
--1--- 1
11-1-1 1
11--11 1
.names pvlenesr pkbg_n powl_n pvlenesr_p
1-1 1
-01 1
.names pwatch powl_n nc2g5 [130] [162] [163] [564] pfbi_p
---1--- 1
--1---1 1
11--1-1 1
11---11 1
.names [120] [121] pstar1_p
1- 1
-1 1
.names pvst1 pend pvsumesr powl_n pvsumesr_p
--11 1
11-1 1
.names pwatch paccrpy powl_n [162] [163] [545] paccrpy_p
-11--- 1
0----1 1
---001 1
.names pkbg_n powl_n [74] pkbg_f
-0- 1
1-1 1
.names pwatch pmarssr powl_n ntimot pmarssr_p
-11- 1
1-11 1
.names pwatch porwd_n pstar0 pfbi powl_n [162] [163] pstar0_p
--011-- 1
0-101-- 1
-1101-- 1
100-11- 1
100-1-1 1
--10100 1
.names pstar3 [76] [102] pstar3_p
--1 1
11- 1
.names pcapsd piclr pdel1_p
10 1
.names [100] [101] pstar2_p
1- 1
-1 1
.names pvst1 pvst0 pfbi piclr pvst0_p
1-10 1
-100 1
.names pdel1 pcomppar pfbi powl_n pcomppar_p
01-1 1
-101 1
1011 1
.names pwatch pkbg_n pend piclr ntimot powl_f
0100- 1
-1000 1
.names pvst1 ppy pfbi piclr pvst1_p
-110 1
1-00 1
.names pwatch powl_n ppluto1 ntimot [152] [552] [577] ppluto1_p
-11---- 1
----1-1 1
-1---11 1
11-1--1 1
.names pratr pmmerr pvst0 pend pcomppar powl_n pratr_p
1----1 1
---101 1
-001-1 1
.names pwatch ppluto0 powl_n ntimot [152] [552] [578] ppluto0_p
-11---- 1
----1-1 1
--1--11 1
1-11--1 1
.names pvacc piclr povacc_p
10 1
.names powl_n ppluto2 [54] ppluto2_p
--1 1
11- 1
.names pbull0 pwatch powl_n pbull0_p
011 1
101 1
.names pverr_n powl_n [49] [50] pverr_f
-0-- 1
1-1- 1
1--1 1
.names pbull1 pbull0 pwatch powl_n pbull1_p
10-1 1
1-01 1
0111 1
.names pbull1 pbull0 pwatch pbull3 pbull2 [41]
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names pstar2 pstar0 pstar1 nc2g5
1-- 1
-0- 1
--0 1
.names pfbi powl_n n__219_m_
0- 1
-0 1
.names pwatch pstar3 nc2g5 n__219_m_ [114] [162] [163] [74]
---1--- 1
0-0---- 1
-0--1-- 1
--1-1-- 1
10---1- 1
1-1--1- 1
10----1 1
1-1---1 1
--0--00 1
.names pwatch porwd_n [104] [106] [162] [163] [566] [76]
--1---- 1
---1--- 1
0-----0 1
-1----0 1
----000 1
.names pstar2 pstar3 pstar0 pstar1 [82]
1--- 1
-0-- 1
--0- 1
---0 1
.names pbull1 pbull0 pbull5 pbull4 pbull3 pbull2 pbull6 ntimot
1001001 1
.names pvst0 psdo
1 1
.names pwatch pfbi powl_n nc2g5 ntimot [162] [163] [49]
00----- 1
0-0---- 1
0--0--- 1
-0--0-- 1
--0-0-- 1
---0000 1
.names pwatch [82] ntimot [114] [162] [163] [50]
-101-- 1
110-1- 1
110--1 1
.names pwatch pibt2 powl_n ntimot [152] [552] [579] [54]
-1--1-1 1
-11--11 1
1111--1 1
.names pwatch porwd_n pstar2 [106] [162] [163] [566] [100]
--11--- 1
0-1---0 1
-11---0 1
--1-000 1
.names pwatch porwd_n pfbi powl_n nc2g5 [162] [163] [101]
--110-- 1
10-101- 1
10-10-1 1
.names pwatch porwd_n pfbi powl_n [162] [163] [570] [102]
--11--1 1
10-11-1 1
10-1-11 1
.names pstar2 powl_n [104]
01 1
.names pstar0 pstar1 powl_n [106]
0-1 1
-01 1
.names pwatch pcat1 pcat0 pibt2 pibt1 [114]
10001 1
.names pwatch porwd_n pfbi powl_n [162] [163] [565] [120]
--11--1 1
10-11-1 1
10-1-11 1
.names pwatch porwd_n pstar1 [122] [162] [163] [566] [121]
--11--- 1
0-1---0 1
-11---0 1
--1-000 1
.names pstar0 powl_n [122]
01 1
.names pwatch porwd_n pfbi powl_n [131] [162] [163] [130]
-0--1-- 1
--1-1-- 1
10-1-1- 1
1-11-1- 1
10-1--1 1
1-11--1 1
.names pstar2 pstar0 pstar1 pfbi powl_n [131]
1--11 1
-0-11 1
--011 1
.names plsd pstar2 pstar3 pstar0 pstar1 pfbi powl_n [134]
11----1 1
1-0---1 1
1--0--1 1
1---0-1 1
1----01 1
.names pwatch pibt2 powl_n ntimot [152] [552] [559] [135]
-1--1-1 1
-11--11 1
1111--1 1
.names pwatch pibt2 powl_n ntimot [152] [552] [557] [139]
-1--1-1 1
-11--11 1
1111--1 1
.names pwatch pibt2 powl_n ntimot [152] [552] [553] [149]
-1--1-1 1
-11--11 1
1111--1 1
.names pmmerr pvst0 pend pcomppar powl_n [152]
--101 1
001-1 1
.names pcat1 pcat0 pibt2 pibt1 pibt0 [162]
0-011 1
-0010 1
.names pcat4 pcat3 pcat2 pibt2 pibt1 pibt0 pcat5 [163]
-0-101- 1
0--110- 1
--0100- 1
---1110 1
.names pstar2 pstar0 pstar1 pfbi powl_n [545]
01111 1
.names pvst1 pkbg_n pend [552]
-0- 1
1-1 1
.names pibt0 pibt1 [553]
10 1
.names pibt0 pibt1 [557]
11 1
.names pibt0 pibt1 [559]
01 1
.names pstar2 pstar3 pstar0 pstar1 pfbi [561]
00111 1
.names pstar0 pstar1 pfbi powl_n [564]
0-11 1
-011 1
.names pstar1 pstar0 [565]
01 1
.names powl_n pfbi [566]
0- 1
-1 1
.names pstar2 pstar3 pstar0 pstar1 [570]
1011 1
.names pibt2 pibt1 pibt0 [577]
011 1
.names pibt2 pibt1 pibt0 [578]
010 1
.names pibt0 pibt1 [579]
00 1
.end