Issue No. 07 - July (1988 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.65
<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>
"Formal Verification of Hardware Correctness: Introduction and Survey of Current Research," in Computer, vol. 21, no. , pp. 8-19, 1988.