Company Overview

Discover our company and how we help make electronics reliable

Just think for a moment. How many digital devices have been entering your life recently? Smart watches, TVs, cars, wearables of all kinds - they all run on hardware. To stay ahead of the competition, chips must evolve quickly and be extraordinarily reliable.
That's where OneSpin comes in – our software tools help the world's most innovative companies to create bug-free digital integrated circuits. We target the most difficult verification challenges and provide focused, complete (product & service) solutions to make electronics reliable.

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.

New design verification thinking

A new era of life altering technology has just started to emerge. Handheld, super-adaptable computers, self-driving cars, intelligent robots, global wireless communication, broadcasting and infinite information access are just hints of what is to come.
None of these advances would have gained traction if they didn’t work reliably. Indeed, now we have come to rely on them, they must always work correctly, accurately and effectively. Making this happen is the most complex challenge that electronic companies face. Old engineering methods simply can't keep pace with the explosion in complexity, driving a need for new design verification thinking, Formal Verification Thinking.

The era of formal verification

Despite the challenges, we see a time where the most advanced technologies will always work immediately and reliably, driven by an engineering environment that can guarantee the quality, efficiency and accuracy of these designs through the predominant use of formal verification.

OneSpin provides value through leading-edge formal technology and verification solutions closely aligned with real customer problems. Unlike the big EDA companies, OneSpin is singularly focused on complete formal solutions, allowing us to apply a high degree of expertize to current and next generation verification challenges.

The Formal Verification Market

High-quality, efficient hardware verification is the critical element of modern IC products, representing approximately 70% of total development time and resources. The $1.1B verification market (EDAC 2014) consists of a variety of verification solution sales. Given the continual increase in design size and complexity (doubling every 18 months), traditional verification methods such as simulation no longer scale to meet requirements.

Augmenting traditional solutions with formal-based applications has proven to accelerate the verification process, improve the probability of issue discovery, and in some cases provide brand new solutions to difficult challenges. This has lead to a 40% CAGR in the $170M (EDAC 2014) formal verification market. This market is served by the three large EDA companies and OneSpin, the only company focused on formal solutions.

The Unique Focus of OneSpin Solutions

To specifically target verification challenges with formal technology, OneSpin Solutions, GmbH was founded in 2005, through a spin-off of Infineon Technologies’ formal verification group. The company has created an award winning formal verification technology platform, which it has packaged into a number of solutions.

These target challenges across the design verification space, namely, schedule shrinking, metric-driven assertion-based verification for regression environments, block integration validation, and FPGA implementation verification. The company also targets specialized challenges including low overhead, agile design evaluation for designers, safety critical design verification, and high level design verification. 

Continuous Success & Customer Satisfaction 

The company is headquartered in Germany and today employs more than thirty people globally. Its primary investors are Azini Capital of London, UK. To accelerate growth, OneSpin secured a round of funding in 2012 from Azini Capital of London, UK who continues to support the company as required. In 2013 OneSpin doubled the size of its business and tripled its bookings, continuing with substantial growth in 2014. We continue to grow substantially, and will increase shareholder value.

To date the company has sold to more than thirty customers around the globe. Our customers include many leading electronics companies across various industry segments such as Altera, Bosch, Hitachi, Infineon, NEC, Nokia, Renesas, Western Digital, Xilinx and others. We continually ensure our core technology and expert team is effective at meeting their needs, to provide a positive and enlightening customer experience.

Innovative & Strong Core Technology 

OneSpin has invested 300 development years in its core technology, delivering a state-of-the-art formal platform to form the basis of its entire product line. Fourteen formal proof engines, leveraging public and OneSpin proprietary algorithms, provide a barrage of solution approaches. These are selected using built-in heuristics to enable an effective, high-performance verification mechanism. The platform supports standard languages such as SystemVerilog and VHDL, and most lately SystemC, and allows the use of SystemVerilog and PSL assertions. The system includes broad ease-of-use functionality, a comprehensive debug environment and a user programmable TCL interface for extensibility.

OneSpin’s targeted solutions, built on this platform, comprise a range of high value, differentiated products, and highly focused formal apps, such as a precise coverage analysis, fully automated design structure and operational analysis, equivalency checking to improve FPGA design flows.

Token based licensing allows the flexible and easy local remixing of many of the Apps, for swift adoption and improvement of the verification flow. To provide an even richer selection of formal based products, OneSpin also allows third party app providers to incorporate and distribute the OneSpin formal platform as part of their products.

Distribution, Customer Support, and Verification Services

OneSpin Solutions markets its products globally through direct channels and distributors. Offices with expert application engineering teams are maintained in San Jose, CA, Munich Germany, and Yokohama, Japan. It has also partnered with sales and support organizations in Seoul, S. Korea, Beijing, China, Bracknell, UK, Munich Germany, and Netanya, Israel.

Products are backed by a variety of customer support and service options including consulting services. The company maintains the “Spinnaker” services partnership program, through which ten expert verification services providers have been certified on the OneSpin tool set. The company has partnered with leading FPGA providers Altera, MicroSemi, and Xilinx, has established an OEM agreement with Mentor (formerly OaSys), is a member of the Synopsys InSync program, and works with multiple other partners across the EDA industry. It is a member of the Accellera standards organization, the EDAC industry consortium, and sponsors many verification events worldwide.

Products are backed by a variety of customer support and service options including consulting services. The company maintains the “Spinnaker” services partnership program, through which ten expert verification services providers have been certified on the OneSpin tool set. The company has partnered with leading FPGA providers Altera, MicroSemi, and Xilinx, has established an OEM agreement with Mentor (formerly OaSys), is a member of the Synopsys InSync program, and works with multiple other partners across the EDA industry. It is a member of the Accellera standards organization, the EDAC industry consortium, and sponsors many verification events worldwide.

 

Press Contact

Nanette Collins
» nanette@nvc.com
» +1 617 437 1822