HomeContactCorporateSitemap

Verification Beyond Doubt! Welcome to OneSpin Solutions

OneSpin Solutions provides innovative, most comprehensive formal verification solutions for ASIC, SoC and FPGA designs. Our patented solutions – built upon more than 300 engineer-years of experience and technology development in formal verification – deliver certified, highest functional quality and dramatically reduce verification effort and costs. OneSpin's customer-proven methodologies and tools mainstream formal verification – providing solutions for formal verification novices, experienced users and experts.

The company currently offers two solutions – based on a common technology foundation – which have been field-proven on hundreds of customer designs.

• The OneSpin 360™ MV Product Family comprises five interoperable formal functional verification products. Spanning six increasingly advanced application levels – from push-button Autochecks to OneSpin's unique GapFreeVerification™ – it offers multiple entry points for formal verification novices, experienced users and experts. The family complements dynamic verification with the most comprehensive and powerful formal assertion-based verification (ABV) solution, using SVA and OVL.
  
  
• The OneSpin 360™ Equivalence Checker is a highly automated verification solution to show the functional equivalence of design representations. It can be used stand-alone to assure full-chip implementation design equivalence in both ASIC and FPGA flows or in conjunction with the 360 MV Product Family to preserve highest design quality through subsequent implementation and optimization phases.

Awards