Skip to Content

Search

OneSpin 360 Equivalence Checker

Tue, 10/02/2012 - 16:12 — Andreas Vörg, eda...
0
Your rating: None
(unregistered) Author(s): 
Stephanie Kluenker, info@onespin-solutions.com
Homepage: 
http://onespin-solutions.com/en/

The OneSpin 360™ Equivalence Checker (360 EC) is a highly automated, synthesis independent equivalence checking solution. It can be used stand-alone or integrated with 360 MV into a highly productive formal verification flow for True Functional Sign-off.

Project Information
Project Acronym: 
VALSE-XT
Project Homepage: 
https://www.edacentrum.de/en/projects/VALSE-XT
Project Start: 
Fri, 08/01/2003
Project End: 
Sun, 07/31/2005
Project Funding ID: 
01M3069
Project Description: 
VALSE: Highly automated, certified, and scaled Validation of "System-on-Chip"-Designs The realization of a complete system on one chip is a great challenge for EDA. A crucial point to solve this task is the availability of high quality modules. Such a high quality level can only be achieved by formal verification methods. VALSE is a verification project that wants to revolutionize the validation of SoC designs.


Theme by Dr. Radut.