Delivering on formal verification's original promise (EEtimes article)
A decade ago, gate-level simulation was replaced by a new formal verification approach: equivalence checking which proved to deliver far superior results. In this EETimes viewpoint, Peter Feist, president and CEO of OneSpin, explains why complete formal functional verification has the same potential, replacing simulation based verification for a broad range of digital modules and IP.EETimes article: Delivering on formal verification's original promise