Product category:
Design and Development Software
News Release from: Verisity Design | Subject: Specman Elite
Edited by the Electronicstalk Editorial
Team on 30 January 2002
Verification software puts SoCs on the
testbench
Verisity's Specman Elite functional verification software has now been integrated with the CoWare N2C hardware/software codesign and coverification environment.
Verisity's Specman Elite functional verification software has now been integrated with the CoWare N2C hardware/software codesign and coverification environment Designers can now quickly develop and re-use functional testbenches in the SoC design process
This article was originally published on Electronicstalk on 6 May 2003 at 8.00am (UK)
Related stories
Added components expand e-verification
YogiTech has developed three new e-verification components (eVCs) for the AT Attachment Packet Interface (ATAPI), Controller Area Network (CAN) and the Open Core Protocol (OCP).
Increased re-use speeds testbench automation
Available now from Verisity is version 4.1 of the Specman Elite testbench automation solution.
"We asked CoWare and Verisity to work together to provide an integrated verification solution", stated Jean-Marc Chateau, Director, Consumer and Microcontroller Groups, STMicroelectronics.
"Now we can use Verisity's Specman Elite to build powerful testbenches and thoroughly check the functionality of our designs with CoWare N2C.
Then, we can use those same testbenches in the rest of our design flow and in derivative designs".
Further reading
Training for verification methodology practices
To meet the increased demand for advanced verification methods, Verisity has set up a new training course - Specman Elite advanced training - that teaches verification methodology best practices.
Testbench supports more open standards
To better support system-level design flows, Verisity is supporting a wide variety of open standards through the Specman Elite testbench automation solution, including OVL, PSL/Sugar and SystemC.
Novel methodology decimates SoC verification times
Verisity has developed a new methodology that enables a 10x increase in productivity and improved predictability for automating the verification process at the SoC and system level.
STMicroelectronics uses the C-based CoWare N2C design system to reduce time to market and improve productivity through hardware/software codesign and coverification.
STMicroelectronics uses Verisity's Specman Elite as their testbench automation tool of choice to verify the functionality of their ST bus-based products.
Until now, testbenches developed in CoWare N2C were not easily re-used.
With this interface between the tools, CoWare N2C communicates with Verisity's Specman Elite during simulation runs to enable test generation and data checking capabilities.
Designers can then use and improve on the same testbench as they move from the CoWare environment to RTL implementation.
An additional benefit of this integration is that testbenches developed for one design using Specman Elite can easily be re-used with other designs, making it ideal for platform-based design.
"The earlier in the design process that you can verify the functionality of a design, the easier and faster it is to make any necessary corrections", stated CoWare's President and CEO, Guido Arnout.
"Verisity's Specman Elite provides first class testbench generation capabilities that now can be used throughout the entire hardware/software co-design and co-verification flow".
According to Verisity's CEO, Moshe Gavrielov, the CoWare partnership marks an important step in Verisity's evolution.
"Customers brought us together because they wanted to use our tools together for platform design and verification.
With CoWare, we are able to team with a market-proven provider of hardware/software codesign and coverification tools and deliver our customers an integrated verification flow".
By modelling the system in C and using the CoWare N2C methodology, the designer can now verify the component or the system at several design abstraction levels, building the testbench with Specman Elite along the way.
System architects designing a new system will develop an executable specification in CoWare N2C and a functional testbench in Verisity's proprietary 'e' language.
The executable specification will be simulated and tested, and the design will be refined through abstraction levels as notions of timing and clocks are added.
The designer can access the Verisity testbench in CoWare N2C for codesign and coverification.
This integrated environment, available in the CoWare N2C design system, requires that customers buy licenses from each company.
• Verisity Design: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page

