The advantages of combining linting with automatic formal checks well before verification and implementation.
No one can afford to go through weeks of verification only to discover problems in the register- transfer level (RTL) code that might not be functionally wrong, but do not follow established rules for successful implementation. Traditional lint tools have become ineffective in evaluating RTL code for today’s larger, more complex designs. However, superlinting technology, such as the Cadence JasperGold Superlint App, brings together linting with automatic formal checks to provide an efficient way to assess RTL code quality early on, well before verification and implementation.
This paper discusses key care-abouts for the right superlint solution and discusses the benefit of effectively bringing formal to the designer’s desktop. To read more, click here.
 |
 |
 |
 |
 |
 |
 |
 |
 |  |
Leave a Reply