Carnegie Mellon University
Browse
file.pdf (940.94 kB)

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

Download (940.94 kB)
journal contribution
posted on 2004-04-01, 00:00 authored 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

2004-04-01

Usage metrics

    Categories

    Keywords

    automatic verificationtemporal logicmodel checkingbinary decision diagrams

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC