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

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/bfb0031797 ◽

1996 ◽

pp. 19-33 ◽

Author(s):

Yirng-An Chen ◽

Edmund Clarke ◽

Pei-Hsin Ho ◽

Yatin Hoskote ◽

Timothy Kam ◽

...

Keyword(s):

Model Checking ◽

Floating Point ◽

Level Model ◽

Floating Point Unit

Download Full-text

A Practical Approach to Word Level Model Checking of Industrial Netlists

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_43 ◽

2008 ◽

pp. 446-458 ◽

Author(s):

Per Bjesse

Keyword(s):

Model Checking ◽

Practical Approach ◽

Download Full-text

Word level model checking

Mathematical Foundations of Computer Science 1996 - Lecture Notes in Computer Science ◽

10.1007/3-540-61550-4_136 ◽

1996 ◽

pp. 1-1

Author(s):

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Download Full-text

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

2016 Formal Methods in Computer-Aided Design (FMCAD) ◽

10.1109/fmcad.2016.7886662 ◽

2016 ◽

Author(s):

Yen-Sheng Ho ◽

Pankaj Chauhan ◽

Pritam Roy ◽

Alan Mishchenko ◽

Robert Brayton

Keyword(s):

Model Checking ◽

Download Full-text

Word level model checking-avoiding the Pentium FDIV error

33rd Design Automation Conference Proceedings, 1996 ◽

10.1109/dac.1996.545654 ◽

2005 ◽

Author(s):

E.M. Clarke ◽

M. Khaira ◽

X. Zhao

Keyword(s):

Model Checking ◽

Download Full-text

Word level model checking---avoiding the Pentium FDIV error

33rd Design Automation Conference Proceedings, 1996 ◽

10.1145/240518.240640 ◽

1996 ◽

Author(s):

E. M. Clarke ◽

M. Khaira ◽

X. Zhao

Keyword(s):

Model Checking ◽

Download Full-text

A floating point unit for the 68040

Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors ◽

10.1109/iccd.1990.130198 ◽

2002 ◽

Author(s):

S. McCloud ◽

D. Anderson ◽

C. DeWitt ◽

C. Hinds ◽

Y.-W. Ho ◽

...

Keyword(s):

Floating Point ◽

Floating Point Unit

Download Full-text

MAD, a floating-point unit for massively-parallel processors

Microprocessors and Microsystems ◽

10.1016/0141-9331(91)90017-a ◽

1991 ◽

Vol 15 (10) ◽

pp. 563

Keyword(s):

Parallel Processors ◽

Massively Parallel ◽

Floating Point ◽

Floating Point Unit

Download Full-text

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

2020 IEEE 27th Symposium on Computer Arithmetic (ARITH) ◽

10.1109/arith48897.2020.00027 ◽

2020 ◽

Author(s):

Stefan Payer ◽

Cedric Lichtenau ◽

Michael Klein ◽

Kerstin Schelm ◽

Petra Leber ◽

...

Keyword(s):

Floating Point ◽

Floating Point Unit

Download Full-text

A high-level model-checking tool for verifying service agreements

Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) ◽

10.1109/sose.2011.6139120 ◽

2011 ◽

Author(s):

Abubkr Abdelsadiq ◽

Carlos Molina-Jimenez ◽

Santosh Shrivastava

Keyword(s):

Model Checking ◽

Level Model ◽

Download Full-text

Design and Implementation of Floating Point Unit using 15 nm FIFET

Indian Journal of Science and Technology ◽

10.17485/ijst/2016/v9i37/102131 ◽

2016 ◽

Vol 9 (37) ◽

Author(s):

R. Dhanabal ◽

Sarat Kumar Sahoo

Keyword(s):

Floating Point ◽

Design And Implementation ◽

Floating Point Unit

Download Full-text