Product category:
Design and Development Software
News Release from: Real Intent
Edited by the Electronicstalk Editorial
Team on 12 April 2002
Real Intent lines up first three
partners
Real Intent has set up its Verification Service Partner Programme, a 3rd party programme for the company's formal functional verification service partners.
Real Intent has set up its Verification Service Partner Programme, a 3rd party programme for the company's formal functional verification service partners CMOSchips, eInfochips and Intrinsix are among the first to join
This article was originally published on Electronicstalk on 3 Jun 2002 at 8.00am (UK)
Related stories
Verification system crosses clock domains
Real Intent has added formal clock intent verification to its flagship electronic design verification system Verix.
Verification system takes in SystemVerilog
Real Intent is to add support for the SystemVerilog DAS (Design Assertion Subset) to its flagship product Verix.
All three companies are experienced verification service providers and have used Real Intent's Verix family of formal functional verification products and are fully trained and capable of providing Verix formal functional verification services to their customers.
According to Dr Prakash Narain, Real Intent's President and CEO, "Assertion-based formal verification is a key component in the verification of ASIC designs.
Our service programme addresses the needs of our customers with a worldwide network of verification service partners, who can help them achieve better verification productivity".
Further reading
More scope for assertion-based formal verification
Real Intent has released the latest version of its flagship product - Verix 4.0 - that delivers a multi-million-gate capacity for formal assertion verification.
Verification supports Accelera's PSL
A new version of Verix is now shipping with support for PSL - Accellera's property specification language.
Intrinsix Corp is the largest independent electronic product design outsourcing company.
Intrinsix offers Verix formal functional verification expertise and services as well as simulation-based functional verification expertise and services.
James M Lee, Technical Manager for the Intrinsix Silicon Valley design centre remarked, "Verix has proven to be valuable for early detection of bugs prior to simulation and synthesis.
We see immediate benefits from its automatic assertion generation and analysis capabilities.
With it, verification coverage is incrementally improved by adding user-defined assertions".
"Adding Verix to our suite of verification tools greatly strengthens our verification services capabilities.
As a provider for silicon intellectual property and verification IP, we have considerable experience with verifying complex ASICs, IP, cores, system-on-chip and custom ICs and see a tremendous benefit to using Verix.
It enables us to verify correct IP usage by embedding assertions within the IP", noted, Shailesh Thakkar, Project Manager at eInfochips.
"This reduces our support cost and contributes to the successful deployment of our IP in customer designs.
With assertion standardisation, the assertions embedded in our IP can be used by a wide range of verification tools".
Namrata Patnaik, Vice President of Business Development at CMOSchips noted, "Today's complex designs require a combination of simulation and formal verification techniques to achieve effective verification.
As a leading design centre and turnkey provider of design and verification services, we need to deliver designs with the highest confidence that they meet the design requirements.
Verix is critical to achieving our high quality goals and is part of our design methodology".
• Real Intent: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
