Sign In
Forgot Password?
Sign In | | Create Account

Verification Academy

Be sure to visit the Verification Academy booth #1113 on the DAC exhibit floor where Mentor will be digging deeper into the challenges of IC Design and Verification with presentations and lively conversation.

Featured Verification Academy Events

A New Era in Functional Verification Monday, June 2, 10:00 AM

Technical Session This special Verification Academy DAC session presents a historical perspective of functional verification—from transistors to systems. And then discusses a new era in functional verification with the emergence of functional verification solutions that address today’s unique SoC challenges.

UVM Transactions - Important Undocumented Details Monday, June 2, 2:00 PM

Technical Session Fundamental questions most novice UVM users ponder include: Why uses classes instead of structs to define transactions for verification environments? What are advantages of using classes to represent transactions in a verification environment? Do I have to define different input and output classes for UVM testbenches? Why do I have to use do_methods() or field macros to override standard transaction methods? Why don't I just override the transaction methods directly? How do do_methods() and field macros work? SystemVerilog Guru and UVM expert, Cliff Cummings, will answer these questions and more to clarify many important details about UVM transactions.

How off-the-shelf IP can cut time spent on PCIe verification in half Tuesday, June 3, 9:00 AM

Technical Session The presentation will highlight how PLDA, built a PCIe UVM/SystemVerilog-based verification environment and how the work reduced time spent on verification by a factor of two compared to PLDA’s previous Verilog/SystemVerilog-based environment.

Achieving Broad & Flexible Debug Visibility if FPGA Prototypes Tuesday, June 3, 2:30 PM

Technical Session A key challenge in using FPGA prototypes is debugging, specifically in hardware or the interaction of software and hardware. Although many organizations have developed homegrown hardware instruments, silicon debug visibility continues to challenge the productive use of FPGA prototypes as a verification engine. Debugging system-level interactions driven by software sequences requires the ability to capture traces over a long period of time.This sessions discusses a solution that combines resource-efficient embedded instruments that dramatically increase visibility with software to provide a very flexible, easy-to-use silicon debug solution.

Formal Verification Signoff Methodology Wednesday, June 4, 11:00 AM

Technical Session Formal sign-off is a relatively new concept in the industry. Like simulation sign-off, it requires a thorough and systematic methodology. This includes: end-to-end checkers, constraints, abstraction models and coverage points. This talk discusses each component of the formal sign-off methodology so that formal can be applied in the verification sign-off flow to maximize efficiency & productivity.

F = Full registration required

Experts @ the Booth
  • A New Era in Functional Verification
    Toggle Abstract

    TECHNICAL SESSION This special Verification Academy DAC session presents a historical perspective of functional verification—from transistors to systems. And then discusses a new era in functional verification with the emergence of functional verification solutions that address today’s unique SoC challenges.

Presenter: Harry Foster, Chief Verification Scientist, Mentor Graphics
Products: Questa
  • Achieving Broad & Flexible Debug Visibility if FPGA Prototypes
    Toggle Abstract

    TECHNICAL SESSION A key challenge in using FPGA prototypes is debugging, specifically in hardware or the interaction of software and hardware. Although many organizations have developed homegrown hardware instruments, silicon debug visibility continues to challenge the productive use of FPGA prototypes as a verification engine. Debugging system-level interactions driven by software sequences requires the ability to capture traces over a long period of time.This sessions discusses a solution that combines resource-efficient embedded instruments that dramatically increase visibility with software to provide a very flexible, easy-to-use silicon debug solution.

Presenter: Steve Bailey, Director of Emerging Technologies, Mentor Graphics
Products: Questa
  • Formal Verification Signoff Methodology
    Toggle Abstract

    TECHNICAL SESSION Formal sign-off is a relatively new concept in the industry. Like simulation sign-off, it requires a thorough and systematic methodology. This includes: end-to-end checkers, constraints, abstraction models and coverage points. This talk discusses each component of the formal sign-off methodology so that formal can be applied in the verification sign-off flow to maximize efficiency & productivity.

Presenter: Vigyan Singhal, President and CEO, Oski
Products: Questa
  • How off-the-shelf IP can cut time spent on PCIe verification in half
    Toggle Abstract

    TECHNICAL SESSION The presentation will highlight how PLDA, built a PCIe UVM/SystemVerilog-based verification environment and how the work reduced time spent on verification by a factor of two compared to PLDA’s previous Verilog/SystemVerilog-based environment.

Presenter: Romain Tourneau, PLDA
Products: Questa
  • Instant Formal Expert
    Toggle Abstract

    TECHNICAL SESSION Formal sign-off is a relatively new concept in the industry. Like simulation sign-off, it requires a thorough and systematic methodology. This includes: end-to-end checkers, constraints, abstraction models and coverage points. This talk discusses each component of the formal sign-off methodology so that formal can be applied in the verification sign-off flow to maximize efficiency & productivity.

Presenter: Jeremy Levitt, Engineering Manager, Mentor Graphics
Products: Questa
  • Maximize Verification Reuse with Portable Stimulus
    Toggle Abstract

    TECHNICAL SESSION Verification productivity and reuse are of key concern when verifying today’s complex designs. The ability to rapidly create large amounts of comprehensive test sequences at block, subsystem, SoC and system level are key to ensuring design quality. One key obstacle to achieving comprehensive testing today is the lack of a consistent stimulus specification that is reusable from block to system level. Recently, in response to industry demand, the Accellera Systems Initiative board launched a proposed working group to investigate whether to standardize a portable stimulus specification. This session will show how a portable stimulus specification brings 10-100x faster coverage closure to block level verification, and reusable comprehensive tests to SoC and system level verification

Presenter: Matthew Balance, Verification Technologist, Mentor Graphics
Products: Questa
  • Power exploration to RTL power convergence for advanced designs
    Toggle Abstract

    TECHNICAL SESSION Because over 80% of the final SoC/IP power is decided at the RT level, designers need to explore multiple power intent options and converge on power goals prior to place and route.  This presentation will discuss how Questa-Power Aware and Calypto PowerPro enables users to accurately analyze various power intent choices and then optimize for best power reduction at RTL without losing any functionality.

Presenter: Anand Iyer, Product Marketing, Calypto
Products: Questa
  • UVM Transactions - Important Undocumented Details
    Toggle Abstract

    TECHNICAL SESSION Fundamental questions most novice UVM users ponder include: Why uses classes instead of structs to define transactions for verification environments? What are advantages of using classes to represent transactions in a verification environment? Do I have to define different input and output classes for UVM testbenches? Why do I have to use do_methods() or field macros to override standard transaction methods? Why don't I just override the transaction methods directly? How do do_methods() and field macros work? SystemVerilog Guru and UVM expert, Cliff Cummings, will answer these questions and more to clarify many important details about UVM transactions.

Presenter: Cliff Cummings, President, Sunburst Design
Products: Questa
  • UVM: What’s New, What’s Next, and Why You Care
    Toggle Abstract

    TECHNICAL SESSION You may have heard there’s a new version of UVM that’s recently been released. This session will teach you everything you need to know about the future of UVM. We’ll briefly cover the new features included in UVM1.2 and how to minimize their impact, and we’ll identify the key subset of UVM features that will make your environment truly reusable from block to system-level verification while providing the ideal platform for integrating new solutions and standards.

Presenter: Tom Fitzpatrick, Verification Technologist, Mentor Graphics
Products: Questa
  • Verification and Debug: Old School Meets New School
    Toggle Abstract

    TECHNICAL SESSION “Old school” debug typically involves applying vectors directly to the design, a level of self-checking and then exploring the design with source, waves, and others to figure out what went wrong. With “new school” verification methodologies (UVM, randomization, golden reference models) the debug techniques need to be expanded. This session covers how you use the best of both worlds to find problems faster and to better answer “if you are done yet”.

Presenter: Rich Edelman, Verification Architect, Mentor Graphics
Products: Questa