Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

Yirng-An Chen Edmund M. Clarke Pei-Hsin Ho Yatin Vasant Hoskote Timothy Kam Manpreet Khaira John W. O'Leary Xudong Zhao Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. 19-33 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#ChenCHHKKZ96