Overview

Questa Analyze Architecture

Analyze Architecture is a groundbreaking solution that provides a user with the ability to verify large hardware systems makes it an ideal tool to prove structural properties of logic functions, while also enabling further functional property checking within these large systems


Get in touch with our sales team 1-800-547-3000

Engineer is using Questa Analyze Architecture on  his desktop
Key features

Questa Analyze Architecture Engine

The architecture engine leverages fault-aware partitioning technology to bring analysis, efficiency and robustness to fault analysis tasks and serves safety, high-reliability and mission critical industries. Its unique feature set enables security and safety checks which were not possible before.

Analyze Architecture meticulously partitions the design at the RT or gate level into distinct functional components, concurrently conducting an exhaustive examination for potential architectural non-conformities. These non-conformities may include, but are not limited to, unforeseen leakage, unintended control disruptions, or violations stemming from common causes. As an example, two scenarios flagged for analysis are:

  • Unknown control paths feeding the intended function or mitigation.
  • Escape paths where nets and logic elements in the intended function evade and circumvent the mitigation.

  • Architectural Mapping and Validation: Aligns system architecture with design specifications and partitions the design into logical functions, ensuring consistency and integrity across each segment.
  • Partition-Specific Fault Cataloging: Generates a comprehensive fault list for each partition, facilitating precise identification and rectification of issues.
  • Detailed Logic Profiling: Catalogs critical logic information including the number of states, SRAM bits, and combinatorial size estimates for each function.
  • Interactive Overlap Management: Offers an interactive reporting tool for the identification and resolution of overlapping partitions, enhancing the cohesiveness of the design.
Formal Verification

Featured white papers

Formal verification

Upcoming and on-demand events

View all available Formal Verification video recordings at the Verification Academy.

Ready to talk to someone today?

We're standing by to answer your questions.

Email us

Get in touch with our sales team 1-800-547-3000

Learn more

Verification Academy

Verification Academy provides the skills necessary to mature an organization's functional verification process capabilities, providing a methodological bridge between high-level value propositions and the low-level details.

Verification Horizons blog

Insight and updates on concepts, values, standards, methodologies, and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.

Verification Horizons

The Verification Horizons publication provides concepts, values, methodologies and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.