Streamlining verification methodologies for different development phases and design tasks
Different development phases and design tasks have a diverse range verification problems associated with them, for which a “one tool fits all” approach has proven inadequate. Given the size, complexity and requirements of modern designs, ensuring that the various tools and techniques are used efficiently at all stages of their development is absolutely essential. Formal verification tools have proven highly effective when they target specific challenges and different use models.
Based on practical end-user direction, OneSpin provides six solutions appropriate for different development phases and specialized verification scenarios.
Advanced Design Verification
Through many years of project experience and development, OneSpin has produced the most advanced formal platform in the world. As the only company focused on formal, its expert R&D and AE teams have successfully solved the toughest next-generation verification challenges. Based on this experience, OneSpin provides three design verification solutions that encompass common verification scenarios.
Innovative Specialized Solutions
OneSpin drives continuous innovation in all aspects of its business and that of its customers. Anticipating tomorrow’s challenges through close partnerships with our customers has allowed us to be first in many areas of verification. These three specialized solutions solve particularly complex, new verification challenges Specialized Solutions.
The Solution Platform
Each solution is built upon a series of precisely targeted apps, facilitating specific methodologies. These apps have been conditioned to work within the solution set, naturally fitting to specific needs and use models. At the center of the OneSpin solutions is a state-of-the art formal platform. Using this approach, verification efficiency can be transformed without painful learning curves and operational drudgery.


Meeting Safety Standards in Development
The internationally-recognized testing body TÜV SÜD successfully completed a series of factory inspections and audits of Onespin’s organization and tool development processes. This conformance level enables OneSpin to provide certified formal verification solutions meeting tool qualification requirements set by functional safety standards (ISO 26262, IEC 61508 and EN 50128). As a result, OneSpin's formal tools and solutions can be applied by customers up to the highest safety integrity levels (ASIL D and SIL 3). OneSpin offers Tool Qualification Kits for individual products based on certification from TÜV SÜD, removing the burden of tool qualification from users.
Get Started with OneSpin Solutions!
Our solutions are augmented through direct and distribution support teams worldwide, to ensure that the return on investment is maximized as rapidly as possible after a solution acquisition. A variety of customer support and service options including directed services through the company’s expert Application Engineering team. We maintain the “Spinnaker” services partnership program, through which a community of expert verification consultants worldwide have been certified on the OneSpin tool set.
Get in touch!
Learn how formal verification can help you accelerate your business.
Contact our representatives world wide, and schedule a demo on one of our products!