Lunch & Learn: Questa Formal Apps - A Top 10 List
Across the industry today, the use of formal verification is on the rise. Design sizes continue to grow at the rate prescribed by Moore’s Law, and project schedules are constrained by unrelenting time-to-market pressures. To verify with higher efficiency and maintain a competitive edge, design teams are increasingly turning to formal verification.
The state-of-the-art in formal methods is constantly being advanced by research into new and more powerful algorithms. In addition, formal verification methodology has evolved to the point where automated formal applications (aka apps) have been developed to make it easy to apply formal verification in specific use cases. As a result, formal is now being deployed to efficiently solve many of the verification problem areas that are not well addressed by traditional methods.
Join us for this Lunch & Learn where we will provide an overview of the 10 most popular formal applications:
- Clock-domain crossing verification
- Common RTL coding error detection
- X-state verification
- Coverage closure
- Property generation
- Connectivity checking
- Control and status register checking
- I/F protocol compliance checking
- IP block design assurance
- Bug hunting
For each app, we will discuss the problem statement, the solution methodology, and case studies which demonstrate the improvement in project schedules and design quality.
Seating is limited, so to start learning more about the wide-ranging benefits of formal verification, register for this upcoming L&L today!
About the Presenter
Mr. Takara has over 20 years of experience in engineering design and verification, technical marketing and engineering services. He is a Technical Marketing Engineer at Mentor Graphics Corporation and specializes in assertion-based verification methods and applications, including formal and clock-domain crossing (CDC) verification. Takara has held engineering, marketing, consulting services and project management roles in electronics and EDA companies such as Synopsys, Ikos Systems, Raytheon and Magnavox. He holds a BSEE from Purdue University and an MBA from Santa Clara University.
Who Should Attend
- Verification Engineers and Managers