Planning Formal Verification Closure
Contributor: Harry Foster, Ping Yeung
Format: PDF Document
This paper introduces a process (consisting of a set of recommendations) for achieving static formal verification closure. This process complements existing simulation processes. Using formal to aid simulation-and using simulation to aid formal are common themes throughout our paper.