Although Formal Verification is now actively used at many companies, it still has a reputation of being hard to use within mainstream verification environments. Often it is employed by formal specialists, and avoided by others, which is a shame as it offers a lot of benefits in this process. There are several ways in which formal can be aligned with simulation, to make it more natural and easy to use by engineers with a simulation and UVM background.
Christian Burisch, Director Global Application Engineering of OneSpin Solutions, presented operational assertions and observation coverage mechanisms that provide a simulation feel to formal usage while enables the full power of the technology at the Formal Verification Conference which took place on 16 June 2016.
Find out the Presentation Slides and Recordings here