OneSpin adds Axiomise and Truechip to Spinnaker Certified Service Partners Program

June 14, 2018 OneSpin Solutions

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:

Previous Article
Powering single-board computer and computer-on-module systems
Powering single-board computer and computer-on-module systems

Single-board computers and computer-on-module systems embed all of the functions of a computer onto a singl...

Next Article
Power, cost, performance, and security demands put mid-range FPGAs on new process roadmap
Power, cost, performance, and security demands put mid-range FPGAs on new process roadmap

While the focus in the data center is workload acceleration, systems in these other applications need a cha...