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: bit.ly/2kZzuI5.

“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: https://bit.ly/2GqOKWR.