close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

In the news

Doc Formal: The Crisis of Confidence Facing Verification | Part 1

By Ashish Darbari, Tech Design Forum

In this three-part series, I look at broad challenges facing semiconductor verification and explain how they have grown to leave us facing a crisis of confidence. I will explore some of the key reasons why, despite astronomical growth in constrained random, emulation, and FPGA prototyping, we continuously grapple with poor quality.

This crisis of confidence has reached fever pitch: verification schedules routinely run late, bugs are often missed, silicon re-spins happen, and even worse, disgruntled customers are walking away from projects, hanging silicon vendors out to dry! When did this start? How did we get ourselves into such a mess? And how do we get out of it?

Read more

How To Handle Concurrency

By Brian Bailey, Semiconductor Engineering

System complexity is skyrocketing, but tool support to handle concurrency and synchronization of heterogeneous systems remains limited.

[...]

At the chip level, specific problem can be defined. “At an abstract level most of the problems are scheduling and arbitration problems,” says Ashish Darbari, director of product management for OneSpin Solutions. “I would go a step further and say that most are specific problems related to maintaining ordering in systems designed to work out-of-order. Ensuring that loads and stores remain ordered with respect to each master when accessing a shared memory to keep individual caches coherent is a different verification challenge. If not done correctly, it can cause memory sub-systems to lock up.”

Read more

Look Ma, No Hands! Functional Safety From The Driver’s Seat

Semiconductor Engineering logo

By McKenzie Ross, Semiconductor Engineering

Every so often, I undertake a project that reminds me why I love working in semiconductor marketing. Back in August, I hopped behind the wheel of a Tesla Model X to film a video for OneSpin about how formal verification can help designers to satisfy the ISO 26262 automotive safety standard. If you haven’t yet seen the video, you can watch it here: bit.ly/2ycK5Yp

Read more


Prototypes Proliferate

Semiconductor Engineering logo

By Brian Bailey, Semiconductor Engineering

Custom hardware also provides other benefits. “Emulators, particularly those based on custom chips, have a number of advantages,” says Dave Kelf, vice president of marketing for OneSpin Solutions. “They tend to offer faster compile times and therefore a tighter debug turnaround loop, they have greater visibility into the design, and have better connections with simulation and the EDA flow.”

Read more

Verifying AI, Machine Learning

Semiconductor Engineering logo

By Dr. Raik Brinkmann, Semiconductor Engineering

Raik Brinkmann, president and CEO of OneSpin Solutions, sat down to talk about artificial intelligence, machine learning, and neuromorphic chips. What follows are excerpts of that conversation.

Read more

System Coverage Undefined

Semiconductor Engineering logo

By Dr. Ashish Darbari, Semiconductor Engineering

When is a design ready to be taped out? That has been one of the toughest questions to confront every design team, and it’s the one verification engineers lose sleep over.

Exhaustive coverage has not been possible since the 1980s. Several metrics and methodologies have been defined to help answer the question and to raise confidence that important aspects of a block have been verified. But those metrics and methodologies have struggled to keep up with growing complexity, and they do not scale to the system level. A new framework for understanding coverage and completeness is required.

Read more

DVCon Europe Takes Over Munich October 16-17

Semiconductor Engineering logo

By McKenzie Ross, Semiconductor Engineering

DVCon Europe is on the horizon, and this year’s program should prove to be very timely. Chips and systems are getting more complex, verification is becoming more difficult, and formal has emerged as a critical piece of the verification suite

The lineup this year tackles some key issues facing a changing semiconductor landscape. During a Monday tutorial, “Next Generation ISO 26262-based Design Reliability Flows,” Jörg Grosse, product manager functional safety, and Sanjay Pillay, Austemper Design Systems’ CEO, will demonstrate a complete safety development process.

Read more

Press Contact

Michelle Clancy
» send an e-mail
» +1 503-702-4732