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