Word level symbolic model checking: a new approach for verifying arithmetic circuits,” 33rd Design Automation Conference (1996)

by E M Clarke, X Zhao