HomeContactCorporateSitemap

Verified Beyond Doubt! Welcome to OneSpin Solutions

OneSpin Solutions provides break-through, award-winning formal verification solutions for ASIC and FPGA designs. Our patented solutions – built upon more than 270 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 transform formal verification into a robust engineering practice.

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™ Module Verifier is EDA's first and only functional verification solution to efficiently achieve error-free functional operation for a broad range of peripherals, processors and sub-systems of up to a few hundred thousand lines of RTL-code. It provides a unique, automatic completeness analysis that detects all verification gaps and predictably guides engineers from verification planning to final, documented true functional sign-off.
  
  
• 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 Module Verifier to preserve highest design quality through subsequent implementation and optimization phases.