Jerry R. Burch Using BDDs to Verify Multipliers. 408-412 1991 conf/dac/1991 DAC https://doi.org/10.1145/127601.127703 db/conf/dac/dac91.html#Burch91