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
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:
View all available Formal Verification video recordings at the 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.
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.
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.