Intelligent Testbench Automation Delivers 10X to 100X Faster Functional Verification
iTBA Introduction
If you’ve been to DAC or DVCon during the past couple of years, you’ve probably at least heard of something new called “Intelligent Testbench Automation”. Well, it’s actually not really all that new, as the underlying principles have been used in compiler testing and some types of software testing for the past three decades, but its application to electronic design verification is … Read More
Tags: Functional Verification, Intelligent Testbench Automation, functional coverage, Verification, Verification Academy, Simulation, testbench
For years one of the objectives in EDA has been to make formal property checking easy to use and its results easy to understand. With the Automatic formal check feature in the June release of the 0-In Formal tool version 3.0, I think we have made significant progress in this area.
The feature, which predefines a set of assertion rules to look for design issues automatically, makes formal technology … 
Jim Martens
Harry Foster
John Day
J VanDomelen
Paul Johnston
Robin Bornoff
Dennis Brophy
Mike Jensen
Colin Walls
Travis Mikjaniec
Per Viklund