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: http://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.

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:

Website: www.OneSpin.com

Twitter: @OneSpinSolution

LinkedIn: https://www.linkedin.com/company/onespin-solutions

Facebook: https://www.facebook.com/OneSpinSolutions

Leave a Reply

featured blogs
Jul 17, 2018
In the first installment, I wrote about why I had to visit Japan in 1983, and the semiconductor stuff I did there. Today, it's all the other stuff. Japanese Food When I went on this first trip to Japan, Japanese food was not common in the US (and had been non-existent in...
Jul 16, 2018
Each instance of an Achronix Speedcore eFPGA in your ASIC or SoC design must be configured after the system powers up because Speedcore eFPGAs employ nonvolatile SRAM technology to store the eFPGA'€™s configuration bits. Each Speedcore instance contains its own FPGA configu...
Jul 12, 2018
A single failure of a machine due to heat can bring down an entire assembly line to halt. At the printed circuit board level, we designers need to provide the most robust solutions to keep the wheels...