OneSpin Solutions and Austemper Design Systems today formed a partnership to address functional safety in the chip development flow for semiconductor companies developing automotive and other mission-critical applications.

With complementary chip development solutions, the two companies set a goal to foster adoption of a tool-supported methodology for functional safety applications. In pursuit of this goal, they already validated a combined design and verification flow. Austemper’s solution includes the insertion of hardware safety mechanisms into appropriate chip designs. Once the Austemper run is complete, OneSpin’s products formally verify that the hardware safety logic is correct. They perform equivalence checking to ensure that the inserted safety logic does not affect regular functionality and use fault detection analysis to verify that safety mechanisms perform properly in the event of random errors.

The companies will develop a joint marketing and promotions plan that includes tutorials and a webinar outlining best practices for meeting functional safety requirements. Along with a number of other verification companies, Austemper will co-host OneSpin’s “Verified” evening event during the Design Automation Conference (DAC) in June.

OneSpin is a provider of innovative formal verification and safety analysis solutions for highly reliable, digital integrated circuits (ICs). OneSpin successfully completed a series of factory inspections and audits of its development processes to provide certified tool qualification kits for the highest safety integrity levels, including ISO 26262 ASIL D.

Austemper’s tool suite includes safety analysis, safety synthesis to augment design structures and safety verification. It has been adopted by architects, design and verification teams worldwide in automotive electronics applications, demonstrating reliable, repeatable and verifiable functional safety.

“Austemper has an interesting solution that's complementary to ours,” remarks Dr. Raik Brinkmann, OneSpin’s president and chief executive officer (CEO). “Working with Austemper offers a rare opportunity to address some of the end-to-end challenges of today’s automotive electronics.”

Sanjay Pillay, Austemper’s CEO, adds “OneSpin continues to distinguish itself in the formal verification space and shares our belief that functional safety requires rigorous, innovative methodology and tools.”

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.