The Community for Technology Leaders
Green Image
<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", Computer, vol. 21, no. , pp. 8-19, July 1988, doi:10.1109/2.65
79 ms
(Ver 3.3 (11022016))