is there a chance to get the functions that describe the single output
bits of a 32 bit adder/multiplier.
out1 = f(in1, in2, in3, .. in32)
out32 = f(in1, in2, in3, .. in32)
It's easy to generate the functions for < 10 bit by using truthtables
and logic-minimization tools but the truth table for a 32 bit
adder/multiplier gets quite large :)
So I thought there must be another way.