file.pdf (940.94 kB)

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

journal contribution

posted on 01.04.2004, 00:00 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

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

automatic verification temporal logic model checking binary decision diagrams

Licence

Exports