Skip to Content

OneSpin 360 Equivalence Checker

0
Your rating: None
(unregistered) Author(s): 
Stephanie Kluenker, info@onespin-solutions.com

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 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.