Sign In
Forgot Password?
Sign In | | Create Account

Design & Functional Verification

Technology and economics are driving the move up in abstraction from chip design to system design and from RTL to HLS. Design creation and verification automation capabilities are being adapted to the new level of design abstraction. Simultaneously, smarter verification automation improves productivity. Attend our Design and Functional Verification sessions to discover new automation opportunities.

Featured Design & Functional Verification Events

Get Your FPGA Out of the Lab and into Production Monday, June 2, 9:00 AM

Technical Session Spending too much time in the Lab debugging your FPGA? FPGA’s have grown large and complex. So, too has the task of validating the functionality after it has passed all the tests for area, performance, and power. If there is a problem with your FPGA, where do you start looking? Combined with the powerful capabilities of the Mentor FPGA design flow spanning from design capture, implementation, and board design, come join us as we introduce new methods to not only produce better quality FPGA designs but also new methods and tools to help you instrument your FPGA design so that problems are easier to find as they happen.

Full SoC Emulation from Device Drivers to Peripheral Interfaces Monday, June 2, 10:00 AM

Technical Session Companies have added a tape out requirement that ensures their SoC executes the OS loader to a boot prompt. Thus, verification of HW/SW interactions is no longer just a good idea, it’s a hard requirement. The methods for executing and debugging OS boot and device driver software on hardware during emulation are evolving rapidly. This session contrasts live versus off-line SW debug tools in the context of multi-core SoC designs, and physical versus virtual peripheral models as device driver targets. Participants will come away with an understanding of how an emulation-based, end-to-end flow yields a higher confidence at tape out and a faster time to market.

100% Verified But the Chip Failed – Why? Monday, June 2, 4:00 PM

Technical Session You reached 100% coverage on your chip so why did it still fail? The problem may lie within your design process. Design flaws found late in the design cycle or, even worse, in the field or production, are not only costly, but could pose safety risks.  Mentor’s solution starts at the beginning – with the design requirements. Not verifying to the requirements can result in untested or incorrectly implemented aspects of the design. This session walks you through a repeatable requirements validation approach to verify 100% to the requirements.

F = Full registration required

Experts @ the Booth
  • 100% Verified But the Chip Failed – Why?
    Toggle Abstract

    TECHNICAL SESSION You reached 100% coverage on your chip so why did it still fail? The problem may lie within your design process. Design flaws found late in the design cycle or, even worse, in the field or production, are not only costly, but could pose safety risks.  Mentor’s solution starts at the beginning – with the design requirements. Not verifying to the requirements can result in untested or incorrectly implemented aspects of the design. This session walks you through a repeatable requirements validation approach to verify 100% to the requirements.

Presenter: Valerie Rachko, Marketing Director, Mentor Graphics
Products: ReqTracer, HDL Designer
  • Full SoC Emulation from Device Drivers to Peripheral Interfaces
    Toggle Abstract

    TECHNICAL SESSION Companies have added a tape out requirement that ensures their SoC executes the OS loader to a boot prompt. Thus, verification of HW/SW interactions is no longer just a good idea, it’s a hard requirement. The methods for executing and debugging OS boot and device driver software on hardware during emulation are evolving rapidly. This session contrasts live versus off-line SW debug tools in the context of multi-core SoC designs, and physical versus virtual peripheral models as device driver targets. Participants will come away with an understanding of how an emulation-based, end-to-end flow yields a higher confidence at tape out and a faster time to market.

Products: Veloce
  • Get Your FPGA Out of the Lab and into Production
    Toggle Abstract

    TECHNICAL SESSION Spending too much time in the Lab debugging your FPGA? FPGA’s have grown large and complex. So, too has the task of validating the functionality after it has passed all the tests for area, performance, and power. If there is a problem with your FPGA, where do you start looking? Combined with the powerful capabilities of the Mentor FPGA design flow spanning from design capture, implementation, and board design, come join us as we introduce new methods to not only produce better quality FPGA designs but also new methods and tools to help you instrument your FPGA design so that problems are easier to find as they happen.

Presenter: Jim Kenney, Marketing Director, Mentor Graphics
Products: HDL Designer, Precision, Questa
Experts @ the Conference
  • End-User Applications - Tests for Nothing and Verification for Free F
    Toggle Abstract

    PANEL To verify an IP one can create new tests  or extract IP-level tests from existing application software. So far, verification teams have been creating new tests for each new IP. While highly efficient tests can be created , the process is time consuming. The alternative of test extraction is inefficient. But, what if the process of extracting IP-level tests from application software were automated?  A large trove of tests would be readily available even before a new IP development began. One camp believes that extraction  is an old idea: it never has worked because it is not efficient. Another camp believes that today this is possibly the only way to complete verification on time. Who holds the winning approach?

Presenter: Harry Foster, Chief Verification Scientist, Mentor Graphics
Products: Questa
  • Power Aware Clock Domain Crossing Verification F
    Toggle Abstract

    TECHNICAL SESSION Formal and static methods, which analyze a design directly rather than depending on large numbers of simulation vectors, are becoming increasingly important in the world of modern design. In the first part of this session, real-world practitioners who have been successful with formal verification describe case studies and use them to supply useful advice for those who wish to achieve similar results. Then we move on to describe some new and powerful uses for static and formal techniques in conjunction with other tools and methods, providing new insights into IP integration, clock domain crossings, power issues, and clock/reset design.

Presenter: Roger Sabbagh, Product Marketing Manager, Mentor Graphics
Presenter: Saumitra Goel, Lead Consultant Staff, Mentor Graphics
Products: Questa