Word level symbolic model checking - a new approach for verifying arithmetic circuits (1995)

by E M Clarke, X Zhao