aig 16 16 0 16 0
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
33
i0 x_0
i1 x_1
i2 x_2
i3 x_3
i4 x_4
i5 x_5
i6 x_6
i7 x_7
i8 x_8
i9 x_9
i10 x_10
i11 x_11
i12 x_12
i13 x_13
i14 x_14
i15 x_15
o0 output_value_0
o1 output_value_1
o2 output_value_2
o3 output_value_3
o4 output_value_4
o5 output_value_5
o6 output_value_6
o7 output_value_7
o8 output_value_8
o9 output_value_9
o10 output_value_10
o11 output_value_11
o12 output_value_12
o13 output_value_13
o14 output_value_14
o15 output_value_15
c
generated by xlsynth-g8r emit_aiger_binary