HomeContactCorporateSitemap

Welcome to OneSpin Solutions

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

Our Products

• The OneSpin 360™ MV Product Family covers the full spectrum of formal assertion-based verification (ABV) applications – from push-button automatic RTL analysis all the way to OneSpin's unique GapFreeVerification™. It enables step-by-step learning, making new users productive in days. 360 MV accelerates a multitude of verification tasks by up to 10x compared to simulation, shortens verification schedules and enables engineers to achieve a design quality that cannot be ensured by any other functional verification approach.
  
  
• 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