A lint tool that checks RTL code more thoroughly and rigorously than a compiler, analyzing RTL code early in the design phase using syntactic, semantic, style, and structural analysis to find bugs early. To do.
Analysis is performed using static analysis techniques, so no testbench is required and the RTL is ready to run. Increase design efficiency, development predictability and reduce schedule pressure by enabling verification work to shift left and identifying problems and fixes earlier, before the simulation verification process and before the logic synthesis process. can be alleviated.
▶ Introduction video
▶ Feature introduction (Out-of-the-box methodologies and goals / Comprehensive design quality metrics / Debugging capabilities / Status management )
▶ Related information
▶ Seminar/Workshop
▶ inquiry
Introduction video
[movie]
Introducing Questa Lint
Feature introduction
Introduces the main functions of Questa Lint.
Out-of-the-box methodologies and goals
Questa Lint provides target checksets for FPGA design (CR), SoC design (CR), and IP design (CR), making it easy to set target-focused goals.
If your design project is FPGA, you can select the FPGA methodology checkset, the IP the IP methodology checkset, or the ASIC SoC methodology and apply it to your project immediately.
Overall design quality index
The graphical display of quality metrics is unique to Questa Lint. Categorize and score the analyzed results, provide the factors that influence their quality scores, and assess design verification quality based on lint results.
It is possible to grasp the quality of the design based on the score of the entire design, judge the risk and determine the priority of the work. Keeping the metric high helps reduce the total TAT for design verification.
The dashboard further breaks down the design quality metrics to graphically display statistics on problem analysis and response status, overall trends, and violations detected per module, per HDL file, and per check. I can.
debug function
GUI is supported as standard.
Supports navigation from displaying design information via GUI and pointing out violations in RTL code to detailed help for violations.
For structural violations, providing an analysis function on the schematic makes it easy to identify the cause of the problem.
status management
Manage team-level reviews with post-verification status updates, debugging, and assigning reviewers.
By integrating the status management mechanism, you can systematically manage problem indications, corrections, confirmations, and release criteria, and capture the progress of the project.
Related information
▶ How to download the Siemens EDA tool
▶ How to install Questa CDC/Formal
▶ How to license Siemens EDA tools
Seminar/Workshop
▶ [Webinar] Improving RTL Quality in Early Stages (Questa Lint) <Free>
This seminar introduces Questa Lint, a linting tool that checks RTL code more thoroughly and rigorously than the compiler.
▶ Events and seminars related to Siemens EDA
Inquiry
Manufacturer information Top
If you would like to return to the manufacturer information top page, please click below.
Trademarks and registered trademarks owned by Siemens: here