For years one of the objectives in EDA has been to make formal property checking easy to use and its…
After spending years verifying ASICs with dynamic simulation, I started working on static verification 10 years ago in a startup…
