Word Level Symbolic Model Checking A New Approach for Verifying Arithmetic Circuits
journal contribution
posted on 2004-04-01, 00:00 authored by Edmund M Clarke, X ZhaoThe highly-publicized decision error in the Pentium has emphasized the importance of formal verification of arithmetic operations.
History
Date
2004-04-01Usage metrics
Keywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC