file.pdf (940.94 kB)
0/0

Word Level Symbolic Model Checking A New Approach for Verifying Arithmetic Circuits

Download (940.94 kB)
journal contribution
posted on 01.04.2004 by Edmund M Clarke, X Zhao
The highly-publicized decision error in the Pentium has emphasized the importance of formal verification of arithmetic operations.

History

Date

01/04/2004

Exports