Real Intent Introduces Conquest(TM) and Ascent(TM), Leading the New EnVision(TM) High-Performance Formal Verification Family5 July 2006
Real Intent, Inc., the leading supplier offormal verification software for electronic design, announced today that itis introducing the EnVision formal verification product family. Newproducts Conquest and Ascent join existing products, Clock IntentVerification™ and PureTime™, to complete the family. EnVision is madeup of Real Intent's leading formal verification solutions that areapplicable from design specification, to design sign-off.
"Our customers continually state that high performance solutions to theirverification problem are of extremely high value," said Prakash Narain,President and CEO, Real Intent. "Improving design quality, while minimizingengineering effort, is a goal we share with our customers. EnVision is ournext major step towards achieving this goal."
About Conquest
Designed with the most challenging Assertion-Based Verification (ABV) needsin mind, Conquest moves beyond block-level verification to cluster-levelverification. The combination of the industry's most powerful formalConvergence Engine™ with a new assertion visualization capability allowsfor more capacity and interactivity. Conquest also includes patentedautomatic proof construction as well as a guided iterative process.Together, these capabilities offer higher productivity than alternativesolutions.
Conquest makes use of standard ABV languages and with its formal techniquesis not dependent on vector quality for detecting design defects. WithConquest, users can verify their design using Property SpecificationLanguage (PSL) assertions, SystemVerilog Assertions (SVA), or OpenVerification Library (OVL) checkers.
Highlighted Links Real Intent home page
Conquest and the Assertion Density Paradox
With most ABV solutions, if one assertion is hard to prove, then manyassertions are even harder. However, with Real Intent's patentedtechnology, the opposite can be true --having many assertions can be easierto prove. To learn more about this paradox, visit us at Booth 706 at theDesign Automations Conference (DAC), in San Francisco July 24-27.
About Ascent
Ascent is a significant step forward in automatic formal verification. Itsredesigned architecture is focused on automatic checks that are derivedfrom the Register Transfer Level (RTL) design. It supports PSL and SVAconstraints and includes the Ascent SimPortal, which links to dynamicsimulation. Ascent with the Convergence Engine also delivers higherperformance, which results in faster proofs.
Ascent automatic verification is used for logic verification, to find bugsin RTL code even before simulation is possible. It is used as a signoffstep before RTL is checked in to the design process. Ascent finds acomprehensive list of sequential design errors, including array boundsviolations, full and parallel case pragma violations, Finite State Machine(FSM) deadlocks, and dead code. These errors are detected automaticallywithout testbenches or running simulation.
About Clock Intent Verification & PureTime Products
Clock Intent Verification is the most powerful clock domain checking toolin the market. It acts as a final check to verify the functionality of theuser's synchronization scheme and protects against errors with itsdebugging features.
PureTime is a timing-exception verifier that detects timing exceptionerrors that create schedule delays, chip respins, or failing hardware. Itproves the correctness of timing exceptions created by designers, or thosedelivered with Intellectual Property (IP), using exhaustive formalanalysis. PureTime works throughout the entire design flow, with RTL ordesign netlists. PureTime verification reduces schedule risks for companieswho use a manual review process for exceptions and increases accuracy.
Price & Availability
Ascent and Conquest ship in September. Clock Intent Verification andPureTime are available now. Prices for each tool range from $30k-$100k fora 1-year term license. Existing users with active maintenance contractshave an upgrade path.
About Real Intent
Real Intent is extending breakthrough formal technology to criticalproblems encountered by design and verification teams worldwide. RealIntent's products dramatically improve the functional verificationefficiency of leading edge application-specific integrated circuit (ASIC),system-on-chip (SOC), and Field Programmable Gate Array (FPGA) devices.Over 35 major electronics design houses, including Sun Microsystems, ATI,Marvell Technology Group, nVidia, and NEC Electronics, use Real Intentsoftware.
Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210,Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962, web:www.realintent.com, e-mail: info@realintent.com.
EnVision, Conquest, Ascent, Convergence Engine, SimPortal, PureTime, ClockIntent Verification are trademarks of Real Intent, Inc. All othertrademarks or registered trademarks are property of their respectiveowners.
Notes to editors: Graphics and/or screen shots available on request.
Press contacts:Rich FarisReal Intent Vice President Marketing and Business Development(408) 830-0700 x212Email Contact
Georgia MarszalekValley PR for Real Intent(650) 345-7477Email Contact
SOURCE: Real Intent
Source: marketwire
All trademarks and copyrighted information contained herein are the property of their respective owners.
Related Computer Hardware Articles
|
