OneSpin Solutions

…provides enduring solutions that enable the most thorough and easiest to use logic verification available. The company’s solutions range from synthesis verification at the gate-level to design verification at the transaction level, addressing the increasing demand for predictable, highest functional quality of digital modules and SoCs.

OneSpin’s solutions increase the productivity of design and verification teams, transforming formal verification into a broadly applicable engineering practice.

FirstEDA is proud to be the sole distribution and support channel for OneSpin in the UK, Ireland and across Northern Europe. The products we support are:

360 DV-Inspect
Automated static analysis / FV / ASIC / FPGA / SAFETY

360 DV-Inspect is used to eliminate errors prior to verification or synthesis. The RTL code is targeted using multiple techniques to achieve a rigorous and exhaustive analysis, and formal engines provide more rigorous verification than that available through other techniques, such as standard linting.

360 DV-Verify
Assertion-based verification / FV / ASIC / FPGA / SAFETY

360 DV-Verify is a unified coverage-driven assertion-based verification solution. The combination of a fully functional, high-performance formal property analyser with a unique assertion coverage evaluator eliminates the guesswork from quality assertion generation.

Functional equivalence checking / FV / FPGA

360 EC-FPGA solution ensures that advanced FPGA synthesis optimisations do not introduce functional errors.

Based in Munich, Germany, OneSpin Solutions was established in May 2005 as a commercial EDA company. OneSpin’s international team of experts leverages more than 300 engineer-years of formal verification technology development and application service experience to enable design teams to avoid costly redesigns and respins, while dramatically cutting their verification effort, costs and time-to-market pressures.

Market-leading automotive, telecommunications, consumer electronics, and embedded systems companies rely on OneSpin to reduce their verification effort and achieve the industry’s highest possible verification quality.

For further corporate and background information Please visit OneSpin’s website.