vtr_flow/benchmarks/microbenchmarks/rca_5bit.blif

.model top
.inputs cin a0 a1 a2 a3 a4 b0 b1 b2 b3 b4
.outputs s0 s1 s2 s3 s4 cout
.names cin a0 a1 b0 b1 s1
000-1 1
001-0 1
0-001 1
0-100 1
110-0 1
111-1 1
1-010 1
1-111 1
-0001 1
-0100 1
-1010 1
-1111 1
.names a2 b2 n21 s2
000 1
011 1
101 1
110 1
.names cin a0 a1 b0 b1 n21
000-- 1
00--0 1
0-00- 1
0--00 1
-000- 1
-0-00 1
--0-0 1
.names a2 a3 b2 b3 n21 s3
0001- 1
00-11 1
0100- 1
01-01 1
1010- 1
10-00 1
1111- 1
11-10 1
-0011 1
-0100 1
-1001 1
-1110 1
.names a4 b4 n24 s4
000 1
011 1
101 1
110 1
.names a2 a3 b2 b3 n21 n24
000-- 1
00--1 1
0-00- 1
0--01 1
-00-1 1
-0-0- 1
--001 1
.names cin a0 b0 s0
001 1
010 1
100 1
111 1
.names a4 b4 n24 cout
11- 1
1-0 1
-10 1
.end