EDA Software performs syntax and lint checks for SoC designs.March 2, 2011 -
Electronic design verification software Ascent(TM) Lint v1.4 compares violation differences between runs, directing attention to new violations since last check. Program can also waive violations from command line, design source files or GUI, and perform scope-based lint analysis and reporting, which allows designers to focus on specific portions of overall design. Comprehensiveness is optimized with rules for arithmetic data path checking, dubious logic modeling, and RTL coding policy.
(Archive News Story - Products mentioned in this Archive News Story may or may not be available from the manufacturer.)
Original Press release
Real Intent Inc.
3910 Freedom Circle, Suite 102A
Santa Clara, CA, 95054
USA
Real Intent Adds Significant New Design Productivity Features to Ascent Lint
Ascent Lint offers 10 times faster performance and more accurate reports than legacy lint tools
Santa Clara, California - Real Intent Inc., the leader in automating the intelligence of formal techniques for design verification signoff, today announced the immediate availability of Ascent(TM) 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."
Pricing and Availability
Ascent Lint 1.4 is available now. For pricing information, please contact info@realintent.com.
About Real Intent's Automatic Verification Software
Real Intent's automatic verification families include Ascent for early functional verification, Meridian(TM) for early Clock Domain Crossing (CDC) and Design for Test (DFT) verification, and PureTime(TM) for comprehensive constraints validation with glitch-aware exception verification.
About Real Intent
Real Intent is the leader in automating the intelligence of formal techniques for electronic design verification signoff. Its software dramatically improves functional verification efficiency and design quality for ASICs and FPGAs devices and is used by design and verification teams worldwide. www.realintent.com. Follow @RealIntent on Twitter.
Ascent, Meridian and PureTime are trademarks of Real Intent, Inc.
All other trademarks and trade names are the property of their respective owners.
|
|
|
|
|
|
|
| 
