The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1988 vol.21)
pp: 8-19
ABSTRACT
<p>Formal verification techniques are analyzed, focusing on two key points: suitable representation systems and mechanizable proofs. Different approaches to hardware verification are first examined, and formal verification and automated synthesis are compared to show how they cooperate in producing zero-defect designs. The different techniques are evaluated. Cross fertilization with software verification techniques is discussed.</p>
CITATION
"Formal Verification of Hardware Correctness: Introduction and Survey of Current Research", Computer, vol.21, no. 7, pp. 8-19, July 1988, doi:10.1109/2.65
SEARCH
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool