AMulet 2.0
AIG Multiplier Verification Tool
AMulet 2.0 Documentation