Catching problems before integration: How the 2026.2 update enables faster IP development with Questa Developer and Formal Verification

 

Join us at this free Expert Series Webinar for an in-depth session showcasing the latest features of the Questa Developer and Questa Formal Libraries 2026.2 release.

 

 

 

Questa Developer and Questa Formal provide key capabilities giving designers early RTL insights so you can achieve clean RTL deliveries, streamline debugging, and verify your designs more thoroughly.

 

Join us for an in-depth session showcasing the latest features of the Questa Developer and Questa Formal Libraries 2026.2 release, with tips and tricks for deeper insights into FSMs, design structure, and signals, deploying the AXI5 QFL checker for protocol-clean RTL without a testbench, and uncovering tough-to-find bugs in arbiters using the power of formal verification.

What You Will Learn:

 

This webinar will explore key capabilities and tools from the Questa Developer and Questa Formal Libraries 2026.2 release, including:

 

Questa Developer

• FSM Viewer: Unlock intuitive insights into Finite State Machine (FSM) behavior
• Schematic Viewer: Visualize your design structure in detail
• Elaboration Configuration, and how it influences FSMs and schematic results
• Signal Insights using hover functionality

Questa Formal Libraries:

• Introducing the AMBA AXI5 QFL checkers: Extending our AMBA protocol library to support new capabilities in AXI5 based designs.
• Review of the Manager and Subordinate Read/Write protocol checks, including new capabilities such as Atomic transactions, User Loopback, Non-Secure Access Identifiers, and more!
• Discover the new QFL Arbiter Checker: used to verify Round Robin, Priority, and Least Recently Used (LRU) arbiters for clocked and combinational designs.

 

Details

 

What

Customer Technical Webcast: Catching problems before integration: How the 2026.2 update enables faster IP development with Questa Developer and Formal Verification

 

When

Tuesday, August 11, 2026

 

Where
Online

 

Time
18:00 hr CEST