Xudong Zhao. Verification of all circuits in a floating-point unit using word-level model checking (0)

by Yirng-An Chen, Edmund Clarke, Pei-Hsin Ho, Yatin Hoskote, Timothy Kam, Manpreet Khaira, John O'Leary
Venue:In Srivas and Camilleri [32