close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

OneSpin provides software tools
that allow engineers to create
reliable, bug-free digital integrated circuits.
»learn more

Advanced technology to solve the toughest formal verification problems

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.

Supporting customer innovation by anticipating “tomorrow's“ verification challenges

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. 

Upcoming Events

Watch our latest videos

Xilinx talks Safety with OneSpin

Sasa Stamenkovic, senior field application engineer, sat down with Xilinx's senior director of architecture, Sagheer Ahmad, to speak about the challenges of moving into the automotive space even for a company with longstanding experience in other safety-critical domains.

Xilinx talks Safety with OneSpin

Sasa Stamenkovic, senior field application engineer, sat down with Xilinx's senior director of architecture, Sagheer Ahmad, to speak about the challenges of moving into the automotive space even for a company with longstanding experience in other safety-critical domains.

Planning Out Verification

Nicolae Tusinschi talks with Semiconductor Engineering about how to move from specification to signoff in a verification flow.

Planning Out Verification

Nicolae Tusinschi talks with Semiconductor Engineering about how to move from specification to signoff in a verification flow.

Will FPGAs Work As Expected?

Muhammed Haque Khan, product specialist for synthesis verification, digs into equivalence checking in FPGA designs and what can go wrong with FPGA designs.

Will FPGAs Work As Expected?

Muhammed Haque Khan, product specialist for synthesis verification, digs into equivalence checking in FPGA designs and what can go wrong with FPGA designs.

In The News

Press Releases

Quotes

“We’re delighted to be working with OneSpin, the leader and innovator in formal verification. OneSpin’s LaunchPad offering has the potential to open new markets to formal verification.”

Anupam Bakshi, president and CEO, Agnisys

“The Herkules consortium focused on the verification challenge with the highest return for SoC design projects: getting individual functional blocks and IP right, first time. … The consortium partner, OneSpin Solutions, has implemented these techniques in its formal verification tool, 360 MV. This new verification approach achieves the heretofore unachievable goal of 100 percent verification by a combination of formal property checking and the automatic detection of verification holes. These are the holes that are all too often not found by other formal verification technologies or by using simulation based upon anticipation.”

Roland Syba, development engineer, Melexis

“Computing hardware fault metrics and achieving targets set by ISO 26262 is challenging, but crucial to enable the application of our massively parallel many-core technology in autonomous vehicles. OneSpin is a trusted provider of apps, methodology and expertise to automate many steps of this process. Working cooperatively with its engineers smoothed our path to ISO 26262, savings months of project time.”

Camille Jalier, director of hardware R&D, Kalray

“OneSpin's formal verification technology is essential for us to deliver 'first-time-right' FPGA designs to our customers, to start functional verification earlier, and to shorten the time to market. We needed a formal ABV solution that addresses the broad range of requirements and tasks in our customer projects and that adapts easily to the wide diversity of skills in our company.”

Rudolf Krumenacker, head of embedded systems hardware services, Tieto

“We achieved IEC 61508 SIL 4 for the fault avoidance measures during development of the functional safety controller vCOSS S-zero®, a challenging endeavor for this type of equipment. We used a number of technologies to meet SIL 4 requirements, but equivalence verification using OneSpin’s EC-FPGA and EC-RTL was indispensable.”

Masahiro Shiraishi, chief engineer, Hitachi

“You can optionally use the third-party OneSpin 360 EC-FPGA* sequential equivalence checking tool to verify the logic equivalence between specific netlists following compilation. The 360 EC-FPGA software can help you to confirm that aggressive Compiler optimizations do not introduce unexpected results.”

Third-party Logic Equivalence Checking Tools User Guide, Intel

“OneSpin Solutions has created innovative formal-based design verification and equivalence checking solutions that are being used to fully vet some of the most safety critical designs in production today. We believe that by including equivalence checking as part of the design flow, we will better meet our customers’ stringent requirements for high-reliability designs.”

Bruce Weyer, VP and business unit manager, Microsemi

“Results of the application of the FP ABIP as part of the OneSpin FPU App in industrial applications show that corner-case bugs can be unveiled within seconds, and unbounded proof achieved within minutes, even for the multiplication operation. These results were obtained without the use of abstractions or assume-guarantee partitioning.”

Ravi Ram, principal engineer, verification architecture, Xilinx

“We had employed a combination of simulation and formal verification to verify PPv1, and found that the completeness and productivity of the OneSpin 360 Module Verifier delivered superior bug-detection effectiveness and efficiency. Consequently, we decided to verify PPv2 using only this formal verification solution.”

Lorenzo di Gregorio, project leader, Infineon

“Simulation and formal verification are essential to our chip design verification strategy. We need to continually assess overall verification progress in order to determine next steps and measure progress against our schedule. OneSpin’s PortableCoverage provides us with that capability in an open verification flow so we can use best-in-class tools from multiple vendors.”

Thomas Klotz, verification expert, Bosch Sensortec

“The OneSpin design verification tools are exceptional. OneSpin 360 DV-Certify with the GapFreeVerification process offers a value proposition that is unique in the market place. It has been a pleasure to work with the software for a number of years, and it is a pleasure to recommend the tools.”

Peter Jensen, owner and managing director, SyoSil

“We’ve had successes in using OneSpin’s equivalence checking software in our projects, and regard OneSpin’s 360 EC-FPGA as a key component in the development of high-quality sequential synthesis flows.”

Vigyan Singhal, president and CEO, Oski Technology

“Rigorous verification is a critical aspect to fully and exhaustively testing the security facets of a modern semiconductor. With OneSpin’s LaunchPad, we were able to catapult Prospect, our hardware security solution, into the marketplace with a robust and reliable formal platform, introducing a specific verification solution for a complex, growing need.”

Jason Oberg, president and CEO, Tortuga Logic

“Formal verification technology may be leveraged to improve many aspects of IP development and integration. OneSpin’s LaunchPad opens up exciting possibilities in the IP space without the enormous technical and commercial overhead of traditional formal solutions.”

Warren Savage, president and CEO, IPExtreme

“OneSpin Solutions has always been a premier verification provider with excellent tools, in-depth training and fantastic support. Its focus on formal tools and a license-based business enables companies such as Methods2Business to generate revenue. OneSpin’s unique GapFreeVerification process guides verification engineers to reach 100% functional coverage on their most critical IP for the highest possible verification quality.”

Marleen Boonen, CEO and founder, Methods2Business

“The MicroSemi ProASIC3 FPGA is a core component of the Advanced Logic System (ALS), and use of the OneSpin 360 Equivalence Checker is an integral part of our FPGA development process for nuclear safety systems.”

Erik Matusek, safety system platform manager, Westinghouse

“We have developed a close working relationship with OneSpin. Together, we are bundling equivalence checking with our next-generation physical RTL synthesis into an effective solution for a range of design environments.”

Scott Seaton, president and CEO, Oasys

“OneSpin 360 DV can identify issues early in the design cycle, when it’s easier and more cost effective to make changes.”

Frank Hsu, senior principal member of technical staff, Maxim

“We were looking for a verification method that significantly increases the performance of our functional verification for the MCU platforms. We selected OneSpin's 360 DV technology because it provides the best solution for our needs for advanced capabilities to enable functional verification during the product deployment phase of platform development in a significantly shorter timeframe than logic simulation. The ease of use of Operational ABV, combined with the capacity and performance of 360 DV, saves significant effort in the Renesas Electronics functional verification flow compared to logic simulation.”

Kazutami Arimoto, general manager system core development division, Renesas

“Our decision to invest in OneSpin underlines our confidence in the future of the company, based on the growth the business is seeing for its verification solutions. We have no doubt that the dynamics in the semiconductor market at large will drive growing demand for OneSpin’s products, and that we can help OneSpin fulfill its potential.”

Paul Hill, Partner, Azini Capital

Get in touch!

» Contact