Automatic Verification Software targets complex SoC designs.January 26, 2010 -
Performing syntax and semantic Lint checks for complex SoC designs, Ascent(TM) Lint v1.2 offers rules from STARC Policy, Verilog and SystemVerilog Gotchas, Reuse Methodology Manual, and Principles of Verifiable RTL Designs. Rules cover legal but dubious modeling indicating probable errors, difference between simulation and synthesis semantics, naming and RTL coding conventions, subset restrictions to enforce modeling clarity and reduce complexity, and downstream tool flow issues.
(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 Releases Ascent Lint Version 1.2 Offering New Rule Support with Low-Noise and High-Performance Linting
SAN JOSE, California - - Real Intent Inc., the innovator in automating the intelligence of formal techniques for design verification, announced today that it is shipping Ascent(TM) Lint Version 1.2.
Ascent Lint is the next generation lint tool in the Ascent early functional verification family of products. It performs syntax and semantic Lint checks for today's complex SoC designs. Ascent Lint 1.2 now offers rules from STARC Policy, Verilog and SystemVerilog Gotchas, Reuse Methodology Manual (RMM), Principles of Verifiable RTL Designs, and rules based on Real Intent industry expertise. These rules cover the following areas:
o Legal but dubious modeling indicating probable errors
o Differences between simulation and synthesis semantics
o Naming and RTL coding conventions
o Subset restrictions to enforce modeling clarity and reduce complexity
o Opportunities to improve simulation performance
o Operations with hidden or expensive implementation costs
o Downstream tool flow issues
o Network and connectivity checks for clocks, resets, and tristate-driven signals
o Module partitioning rules
o Testability
Ascent Lint features an extremely fast engine, low noise report, and is easy to use for debugging.
"Real Intent is very focused on providing the tool chain for finding the maximum number of bugs early and economically," commented Pranav Ashar, CTO of Real Intent, "Recognizing the importance of lint as the first and key part of this tool chain, the linter in Real Intent's Ascent product family is tightly integrated into the HDL front end. Richer HDLs and billion-gate designs have combined to create the need for next-generation linters that understand language semantics and common programming idioms and do more than just syntax checking, all the while still delivering the high speed expected of a linter. Ascent Lint 1.2 is unique in the industry in terms of delivering this combination of speed, comprehensiveness and configurability."
Pricing and Availability
Ascent Lint 1.2 is available now. Current customers using Ascent IIV can take advantage of an upgrade package at a reduced price. For pricing information, please email info@realintent.com.
About Real Intent's Automatic Verification Software
Real Intent's automatic verification solutions include Ascent(TM), the complete solution for early functional verification; Meridian(TM), the most precise, comprehensive and innovative CDC solution in the market; and PureTime(TM), the best-in-class, comprehensive constraints validation solution with glitch-aware exception verification.
About Real Intent
Real Intent is the innovator in automating the intelligence of formal techniques for design verification. This technology is being used to solve critical problems encountered by design and verification teams worldwide. Real Intent's family of products dramatically improves the functional verification efficiency of leading edge ASICs and FPGAs devices.
Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: +1 (408) 830-0700 fax: +1 (408) 737-1962, Web: www.realintent.com, e-mail: info@realintent.com, Twitter: RealIntent.
Ascent, Meridian and PureTime are trademarks of Real Intent, Inc.
All other trademarks and trade names are the property of their respective owners.
|
|