Using BDDs to verify multipliers (1991)

by J R Burch
Venue:In Design Automation Conf