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.