OneSpin Solutions provides electronic design automation methodologies, tools and services for fundamental verification tasks at transaction, register transfer and gate levels. OneSpin's patented technology not only significantly increases the quality of designs, but also reduces verification efforts and costs.
The company currently offers two verification solutions, which share a common technology foundation, and which have been field proven on hundreds of designs.
The OneSpin 360 Module Verifier systematically and efficiently detects all functional errors in complex digital modules and intellectual property (IP), such as peripherals, processors, and processor-based subsystems of up to a few hundred thousand lines of code, enabling True Functional Sign-off. The OneSpin 360 Equivalence Checker is a highly automated, high precision verification solution to ensure correctness of synthesis and implementation steps. It can be used either in conjunction with 360 MV to preserve the module's quality level through subsequent implementation design phases, or stand-alone to assure full-chip implementation design equivalence.