abstraction

Successful FPV of large designs requires that parts of the design are abstracted. Learning how and where to apply abstractions will result in more proven properties and more bugs found.

CDC violations are now so complex that it takes a combined block and full SoC level verification strategy to catch and fix all the bugs