Verification of all circuits in a floating-point unit using word-level model checking

1996 ◽  
pp. 19-33 ◽  
Author(s):  
Yirng-An Chen ◽  
Edmund Clarke ◽  
Pei-Hsin Ho ◽  
Yatin Hoskote ◽  
Timothy Kam ◽  
...  
Keyword(s):  
Model Checking ◽  
Floating Point ◽  
Word Level ◽  
Level Model ◽  
Floating Point Unit

Efficient uninterpreted function abstraction and refinement for word-level model checking

2016 ◽  
Author(s):  
Yen-Sheng Ho ◽  
Pankaj Chauhan ◽  
Pritam Roy ◽  
Alan Mishchenko ◽  
Robert Brayton
Keyword(s):  
Model Checking ◽  
Word Level ◽  
Level Model

A floating point unit for the 68040

2002 ◽  
Author(s):  
S. McCloud ◽  
D. Anderson ◽  
C. DeWitt ◽  
C. Hinds ◽  
Y.-W. Ho ◽  
...  
Keyword(s):  
Floating Point ◽  
Floating Point Unit

SIMD Multi Format Floating-Point Unit on the IBM z15(TM)

2020 ◽  
Author(s):  
Stefan Payer ◽  
Cedric Lichtenau ◽  
Michael Klein ◽  
Kerstin Schelm ◽  
Petra Leber ◽  
...  
Keyword(s):  
Floating Point ◽  
Floating Point Unit
Sign in / Sign up

Export Citation Format

Share Document