symbolic variables

March 9, 2017
Anders Nordstrom, senior corporate applications engineer, Verification Group, Synopsys

The art of 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.
Expert Insight  |  Topics: EDA - Verification  |  Tags: , , , ,

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors