Released on June 15th, 2022.
Which is better – linting tools or formal auto checking tools? Backers of either hold ardent opinions of their relative merits, and like a proverbial cage match, would love to see their champion emerge as the winner in a contest of verification tools.
But we have different view – Lint and Formal AutoChecking tools can be used together to increase the quality of RTL deliverables. In this session we’ll start with the similarities and differences between Lint and Formal AutoChecking tools. We’ll describe checks run by Lint and Formal Auto Checking Tools, where they are distinct, and where there is overlap. We’ll recommend when to use Lint, when to use AutoCheck, and when to use both. This session will be highly interactive, after an overview of the tools we will review code examples and vote on which tool would be used to find the violations in the code.
In this session you will gain an understanding of the similarities and differences between Lint and Formal AutoChecking tools, and how they can be used together to increase the quality of RTL deliverables.
What You Will Learn:
- The value of both Lint and Formal AutoChecking tools
- The types of violations each tool will detect and report by participating in an interactive session where code will be reviewed to determine which tool report a violation
Who Should Attend:
- Design & Verification Engineers & Managers and those interested in improving the quality of their RTL