Questa Design Solutions is an automated and integrated suite of verification tools that enables designers to improve the quality of their initial RTL. By analyzing code at the design stage, bugs can be detected early, increasing efficiency and predictability of development, while also reducing pressure on schedules. This suite of tools is designed to streamline the verification process and ensure high-quality RTL, giving designers peace of mind throughout the development process.
Questa Design Solutions tools provide designers with a consistent foundation and a common debug and user interface. The result is a correct-by-construction design that meets the designer’s intent and the project’s quality requirements, while being protected throughout its development. This ensures efficiency, predictability, and on-time delivery of high-quality designs.
Questa Lint provides integrated insights to designers to ensure that designs meet quality requirements and intent. With pre-configured methodologies, designers get immediate feedback on design issues, improving efficiency and productivity.
AutoCheck is a fully-automatic formal bug-hunting application that eliminates a wide range of bugs without a testbench. It finds deeply hidden bugs due to common RTL coding errors, making it an essential tool for any design team.
Questa X-Check is an automated application that exhaustively roots out ‘X’ issues without requiring a testbench. With its advanced analysis capabilities, X-Check saves design teams valuable time and resources.
Questa CDC is a powerful tool that finds errors using structural analysis to detect clock domains, synchronizers, and low power structures via the UPF. It generates assertions and metastability models for protocol and reconvergence verification, improving the quality of designs.
Questa RDC is another structural analysis tool that detects asynchronous reset domains, synchronizers, and low-power structures via the UPF. It generates assertions to exhaustively prove that the design is clean, reducing the risk of errors.
Questa Signoff CDC builds on Questa CDC RTL analysis and automatically generates and analyzes assertions to identify clock-domain crossing issues and chip-killing glitches rapidly. With its advanced analysis capabilities, Signoff CDC is an essential tool for any design team.
