aig 32 32 0 32 0
64
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
i0 binary_exponent_0
i1 binary_exponent_1
i2 binary_exponent_2
i3 binary_exponent_3
i4 binary_exponent_4
i5 binary_exponent_5
i6 binary_exponent_6
i7 binary_exponent_7
i8 binary_exponent_8
i9 binary_exponent_9
i10 binary_exponent_10
i11 binary_exponent_11
i12 binary_exponent_12
i13 binary_exponent_13
i14 binary_exponent_14
i15 binary_exponent_15
i16 binary_exponent_16
i17 binary_exponent_17
i18 binary_exponent_18
i19 binary_exponent_19
i20 binary_exponent_20
i21 binary_exponent_21
i22 binary_exponent_22
i23 binary_exponent_23
i24 binary_exponent_24
i25 binary_exponent_25
i26 binary_exponent_26
i27 binary_exponent_27
i28 binary_exponent_28
i29 binary_exponent_29
i30 binary_exponent_30
i31 binary_exponent_31
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
o16 output_value_16
o17 output_value_17
o18 output_value_18
o19 output_value_19
o20 output_value_20
o21 output_value_21
o22 output_value_22
o23 output_value_23
o24 output_value_24
o25 output_value_25
o26 output_value_26
o27 output_value_27
o28 output_value_28
o29 output_value_29
o30 output_value_30
o31 output_value_31
c
generated by xlsynth-g8r emit_aiger_binary