SANTA CLARA, USA: Real Intent Inc., the leader in automating the intelligence of formal techniques for design verification signoff, announced the immediate availability of Ascent Lint Version 1.4.
Ascent Lint is the industry’s fastest and most accurate solution for performing syntax and semantic lint checks for complex SoC designs. Version 1.4 includes significant new functionality to improve design productivity and the comprehensiveness of rule checking.
Ascent Lint 1.4 features a new capability to generate incremental reports, which compare violation differences between runs. Incremental reporting saves designers significant time by directing attention to new violations since the last check. Other productivity features include an enhanced capability to waive violations from the command line, design source files or graphical user interface, as well as scope-based lint analysis and reporting, which allows designers to focus on specific portions of the overall design.
Comprehensiveness is improved in version 1.4 with new rules for arithmetic data path checking, dubious logic modeling and RTL (Register Transfer level) coding policy. In addition, a new rule set has been added to analyze the integrity of netlists.
“Ascent Lint has been consistently outperforming the competition in runtime by more than 10x since its initial release,” commented Pranav Ashar, CTO of Real Intent.
“In many evaluations, it has been the only tool with acceptable run time for designs upwards of 10 million gates. Our focus in Ascent Lint 1.4 has been to provide industry-leading user productivity features. To that effect, our new release adds incremental reporting, scope-based analysis, and enhanced waiver capabilities to the already compelling platform. Customer feedback has been very positive. All indications are that Ascent Lint 1.4 is far ahead in performance, capacity, usability and quality of results.”
Ascent Lint 1.4 is available now.