Search Results
Filters
Advanced Search
2055 Results
-
Questa One Unified Coverage Solution: Transforming Verification Through Intelligence
Paper - May 13, 2025 by Vladislav Palfy
The Questa One unified coverage solution introduces a fundamentally different approach to verification coverage, combining systematic verification planning with intelligent assistance to achieve coverage goals faster and more predictably, thus transforming how teams work, enabling them to collaborate closer and focus their expertise where it matters most.
-
Questa One Unified Coverage Solution: Transforming Verification Through Intelligence
Resource (Paper (.PDF)) - May 13, 2025 by Vladislav Palfy
This white paper walks through the landscape of semiconductor verification have reached a critical tipping point. What was once manageable through brute force — adding more tests, more compute power, more engineers have become an unsustainable approach.
-
Intent Meets Implementation: Verifying Complex Power Strategies with UPF 4.0
Paper - May 13, 2025 by Chandu Challapalli
Questa One Sim PowerAware supports several of the most commonly used features available in UPF 4.0. This white paper takes a deep dive into UPF 4.0. What’s new, why it matters and how it fits into the evolving landscape of SoC design. We’ll start with a look at how UPF has grown over the years and why version 4.0 is a significant step forward for teams building large, power-aware systems. We'll also walk through practical tips and real-world challenges that teams face when rolling out UPF 4.0.
-
Intent Meets Implementation: Verifying Complex Power Strategies with UPF 4.0
Resource (Paper (.PDF)) - May 13, 2025 by Chandu Challapalli
This white paper walks through practical tips and real-world challenges that teams face when rolling out UPF 4.0.
-
Accelerated Assurance with Questa One Functional Safety
Paper - May 13, 2025 by Jake Wiltgen
Engineering teams face many challenges in achieving compliance with the ISO 26262 safety standard. To meet these and remain competitive, project teams must innovate and deploy best-in-class tools and workflows. The Questa™ One functional safety solution delivers on this mission through an integrated platform, along with safety-aware AI-powered verification engines, to enable a more streamlined and efficient approach to ISO 26262 compliance.
-
Accelerated Assurance with Questa One Functional Safety
Resource (Paper (.PDF)) - May 13, 2025 by Jake Wiltgen
Engineering teams face many challenges in achieving compliance with the ISO 26262 safety standard. To meet these and remain competitive, project teams must innovate and deploy best-in-class tools and workflows.
-
A Guide to SDC-based Timing Intent Verification with Questa One
Resource (Paper (.PDF)) - May 13, 2025 by Chandu Challapalli
SDC files play a critical role in defining how a digital design is expected to behave in time. Questa One Sim is an automated and comprehensive solution for SDC verification. It brings structure to SDC verification by combining static analysis, simulation-based checks, and formal validation in one environment.
-
A Guide to SDC-based Timing Intent Verification with Questa One
Paper - May 13, 2025 by Chandu Challapalli
SDC files play a critical role in defining how a digital design is expected to behave in time. Questa One Sim is an automated and comprehensive solution for SDC verification. It brings structure to SDC verification by combining static analysis, simulation-based checks, and formal validation in one environment. That means teams can catch mistakes early, confirm that exceptions are used correctly, and make sure their constraints evolve in step with the RTL.
-
Questa One Smart Verification: Unleashing the Potential of AI in Functional Verification
Resource (Paper (.PDF)) - May 13, 2025 by Darron May
Exploring the potential of AI in verification, this whitepaper delves into the specific challenges the industry faces, showcases innovative solutions being developed, and highlights the successes of early adopters who have embraced these cutting-edge technologies.
-
Questa One Smart Verification: Unleashing the Potential of AI in Functional Verification
Paper - May 13, 2025 by Darron May
Exploring the potential of AI in verification, this whitepaper delves into the specific challenges the industry faces, showcases innovative solutions being developed, and highlights the successes of early adopters who have embraced these cutting-edge technologies. This transformative journey promises not only to enhance productivity but also to set the foundation for greater innovations in the future of functional verification.
-
Accelerating DFT Sign-Off with Questa One
Resource (Paper (.PDF)) - May 13, 2025 by Jake Wiltgen
The rapid pace of technological advancement has created an unprecedented demand for highly reliable systems across a wide range of industries. In sectors such as safety critical systems, high-performance computing, and 3DIC, the need for utmost reliability is essential.
-
Accelerating DFT Sign-Off with Questa One
Paper - May 13, 2025 by Jake Wiltgen
By leveraging advanced EDA technologies, companies can ensure that their products meet strict reliability requirements. DFT-aware static analysis, formal analysis, logic simulation, fault simulation, verification IP, and advanced debuggers equip teams to address verification challenges across technology scaling, design scaling, and system scaling. The Questa One DFT Verification solution delivers faster DFT sign-off and reduced time-to-market.
-
Design for Test Verification
Solution - May 13, 2025 by
As semiconductor devices become increasingly complex and diverse, spanning automotive, AI/ML, 5G, and heterogeneous 3D-IC designs, Design-for-Test (DFT) verification plays a crucial role in ensuring not only high-test quality but also seamless integration with system-level requirements. While test insertion flows such as scan insertion, BIST/MBIST integration, and boundary scan logic have matured to deliver cost-effective, scalable test solutions, DFT verification remains a bottleneck that demands significant attention.
-
Functional Safety
Solution - May 13, 2025 by
The goal of functional safety is to systematically identify, analyze, and mitigate risks associated with random hardware faults and systematic design errors. This requires a disciplined approach that encompasses detailed failure mode analysis, fault injection campaigns, robustness testing, and the implementation of dedicated safety mechanisms to detect and control faults during operation.
-
Functional Safety for ISO 26262
Product - May 13, 2025 by Jake Wiltgen
As electronics become more integrated into daily life, especially in automotive applications, the demand for safer devices has grown. Modern vehicles feature advanced safety systems like lane keep assistance, blind spot detection, and forward collision warnings, with many aiming for Level 3 and 4 autonomy.
-
Functional Safety for DO-254
Product - May 13, 2025 by Jake Wiltgen
DO-254 (Design Assurance Guidance for Airborne Electronic Hardware) is the industry standard for ensuring the safety, reliability, and compliance of airborne electronic hardware. DO-254 defines stringent design assurance requirements for FPGAs and ASICs used in airborne systems. Compliance ensures that these programmable and custom devices meet safety, reliability, and regulatory standards.
-
Unified Coverage
Solution - May 13, 2025 by
In today's rapidly evolving semiconductor industry, verification teams face unprecedented challenges that traditional approaches can no longer address effectively.
-
Enhancing Defect Coverage in Design for Testability (DFT) with Functional Fault Grading
Resource (Slides (.PDF)) - May 07, 2025 by Ann Keffer
This webinar will offer valuable insights into leveraging functional fault grading for robust and reliable system designs.
-
Enhancing Defect Coverage in Design for Testability (DFT) with Functional Fault Grading
Webinar - May 07, 2025 by Ann Keffer
In this webinar, you will learn how functional fault grading enhances defect coverage and the key advantages of integrating functional fault grading into DFT processes, specifically addressing faults untestable by scan tests.
-
Our Journey in Deploying Formal Register Checks with Questa Check Register
Resource (Slides (.PDF)) - May 01, 2025 by Thomas Thatcher - Rambus
-
Our Journey in Deploying Formal Register Checks with Questa Check Register
Resource (Recording) - May 01, 2025 by Thomas Thatcher - Rambus
-
Automated Trust and Assurance for ASIC and FPGA Designs: Mitigating Security Risks with Formal Verification
Resource (Recording) - May 01, 2025 by Mitchell Poplingher
In this presentation, we will introduce Questa Verify Trust and discuss some experiences and initial results from two projects at Lockheed Martin. An objective is to verify the incoming IPs for Trust, as incoming 3rd party RTL IPs may introduce security-relevant weaknesses and vulnerabilities. Another project must complete Trust Verification as a critical step of the Defense Microelectronics Activity (DMEA) trusted flow.
-
Automated Trust and Assurance for ASIC and FPGA Designs: Mitigating Security Risks with Formal Verification
Resource (Slides (.PDF)) - May 01, 2025 by Mitchell Poplingher
In this presentation, we will introduce Questa Verify Trust and discuss some experiences and initial results from two projects at Lockheed Martin. An objective is to verify the incoming IPs for Trust, as incoming 3rd party RTL IPs may introduce security-relevant weaknesses and vulnerabilities. Another project must complete Trust Verification as a critical step of the Defense Microelectronics Activity (DMEA) trusted flow.
-
Tackling Formal Verification of Large Designs using a Modular Approach
Resource (Slides (.PDF)) - May 01, 2025 by Ratish Punnoose - Sandia National Laboratories
Performing formal verification of an SoC type design in one go is limited by the tractability of the formal checks as well as by the complexity of writing an assertion that captures the full behavior. We describe approaches to perform verification in a modular way while maintaining assume-guarantee reasoning between the verification units.
-
Tackling Formal Verification of Large Designs using a Modular Approach
Resource (Recording) - May 01, 2025 by Ratish Punnoose - Sandia National Laboratories
Performing formal verification of an SoC type design in one go is limited by the tractability of the formal checks as well as by the complexity of writing an assertion that captures the full behavior. We describe approaches to perform verification in a modular way while maintaining assume-guarantee reasoning between the verification units.