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.
Videos header

Videos

Videos and recordings from OneSpin Solutions

Check out the latest videos about OneSpin and learn more about our formal verification solutions.

Our latest videos

Formal Verification of RISC-V Cores

Salaheddin Hetalani, Field Application Engineer

Formal Verification of RISC-V Cores

Salaheddin Hetalani, field application engineer, talks about formal verification of RISC-V cores at Embedded World 2020 in Nuremberg, Germany.

Sven Beyer with Calista Redmond from RISC-V

Sven Beyer, Chief Scientist

Sven Beyer with Calista Redmond from RISC-V

Calista Redmond, CEO of the RISC-V Foundation, interviews OneSpin's Sven Beyer at the RISC-V booth at Embedded World 2020 - Nuremberg, Germany

Speeding Up FPGA Development

Speeding Up FPGA Development

Salaheddin Hetalani, field application engineer at OneSpin Solutions, talks about why it’s getting harder to design and debug FPGAs, how much design time can be saved through formal techniques, and why just relying on programmability isn’t the most efficient approach.

Browse all video categories

Technical videos

Technical videos

Let our experts guide you through our IC integrity solutions.

Conference talks and presentations

Conference talks and presentations

Listen to our experts' presentations given during one of our conference presences.

Interviews

Interviews

Listen to interviews of our verification experts as well as customers speaking about their experience with OneSpin.

RISC-V Q&A Session

RISC-V Q&A Session

We've asked the RISC-V community about their most pressing questions and turned to our verification experts to answer them.

Recordings from special events

DVCon US 2020

DVCon US 2020

Watch all interviews from DVCon US 2020 in San Jose California.

RISC-V Summit 2019

RISC-V Summit 2019

OneSpin was reporting live from the RISC-V Summit 2019

Osmosis 2019

Osmosis 2019

Recordings from OneSpin Osmosis 2019

Campaign videos

Hackers Control Braking Systems of MOTORi

Hackers Control Braking Systems of MOTORi

In this video, we present a fictional case study, based on true events, showing how the exploitation of hardware vulnerabilities could cause catastrophic consequences and how situations like this can be prevented through rigorous security and trust verification.

Hackers Infiltrate Baby Monitor

Hackers Infiltrate Baby Monitor

In this fictional case study, based on true events, we show how the exploitation of hardware vulnerabilities could cause catastrophic consequences.

Formal for Safety-Critical Designs

Formal for Safety-Critical Designs

Our marketing communications manager, McKenzie Ross, recently got behind the wheel of a Tesla Model X to discuss using formal to verify safety-critical designs that must be ISO 26262-compliant.