industry news
Subscribe Now

OneSpin Adds Axiomise and Truechip to Spinnaker Certified Service Partners Program

Partnership Ensures Broad Range of Service Expertise to Meet Variety of Formal Verification Needs

MUNICH and SAN JOSE, CALIF. –– June 14, 2018 –– OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today named formal verification training, consulting and services company Axiomise and Truechip, a leading provider of verification IP (VIP) products and services, to its Spinnaker™ Certified Service Partners Program.

With a focus on leading-edge products and technology, the Spinnaker Program ensures a broad range of service expertise to meet a variety of verification needs. Under terms of the program, Axiomise and Truechip can use OneSpin’s formal verification solutions in their customer engagements with the full support of OneSpin’s technical staff.

“We’re delighted to welcome Axiomise and Truechip into our growing Spinnaker Program,” remarks Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “Both have a proven track record, along with highly qualified verification experts who will leverage OneSpin tools.”

Truechip and Axiomise are recognized verification experts often called upon to manage and support large chip design and verification projects. Truechip specializes in verification IP to accelerate chip design, lowering cost and risks associated with application specific IC (ASIC), field programmable gate array (FPGA) and system-on-chip (SoC) design.

Axiomise serves the semiconductor industry in the use of formal verification and is dedicated to enabling formal for all semiconductor design and verification through training, consulting and services.

A white paper co-authored by Axiomise and OneSpin on using formal tools for good design “hygiene” is available at:

“The only way to make formal mainstream for all design verification is to enable and empower designers and verification engineers,” notes Dr. Ashish Darbari, CEO of Axiomise. “Formal verification training and services will ensure designers and verification engineers are able to apply formal in a predictable way to achieve high-quality sign-off. Partnering with OneSpin is a step forward to make this a reality.”

“We work with leading semiconductor companies and have scores of customers across the globe, and possess a comprehensive portfolio of Verification IP, both simulation and formal, that are known for their quality, reliability and performance,” says Nitin Kishore, Truechip’s CEO. “Our Philosophy of P3 — Prompt Support, Perfect Integration and Proven Solution — distinguishes us from others. This partnership will strengthen our formal verification IP portfolio for benefitting common customers.”

Spinnaker inaugural partners include AEDVICES Consulting, Boost Valley, Contemporary Verification Consultants (CVC), Methods2Business, Oski Technology, Paradigm Works, SyoSil and Test and Verification Solutions (TVS), all trained and certified to offer services using the OneSpin 360 EC™ or the 360 DV™ Product Families.

To learn more about the Spinnaker Certified Service Partners Program, go to:

About OneSpin Solutions

OneSpin Solutions has emerged as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. Headquartered in Munich, Germany, OneSpin is passionate about enabling users to address design challenges in areas where reliability really counts: safety-critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking. OneSpin’s advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past five years as the company forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.

Engage with OneSpin at:


Twitter: @OneSpinSolution



Leave a Reply

featured blogs
Feb 17, 2019 Made in front of the green screen (camera Sean) Monday: SPIE 2019: Light Entertainment Tuesday: DVCon Preview: The Year of PSS Wednesday: MWC Barcelona: 5G in Catalonia... [[ Click on the title to access the full blog on the Cadence Community sit...
Feb 15, 2019
This year at DVCon US, Mentor is going to add some sizzle to our booth (#1005) during the exhibit hours. In addition to our stellar demo staff who are always available to answer questions and show you the latest capabilities of our tools, we’re also going to be hosting ...
Feb 14, 2019
Samtec'€™s complete line of discrete wire connectors and cable assemblies are used in a variety of applications, including industrial automation, industrial equipment, security, telecom, automation, controls, military and defense, and transportation, to name a few. Samtec d...
Jan 25, 2019
Let'€™s face it: We'€™re addicted to SRAM. It'€™s big, it'€™s power-hungry, but it'€™s fast. And no matter how much we complain about it, we still use it. Because we don'€™t have anything better in the mainstream yet. We'€™ve looked at attempts to improve conven...