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

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

Muhammad Haque Khan with EDA Cafe

Interview with Muhammad Haque Khan, Product Specialist, Onespin Solutions at 2018 DAC

Muhammad Haque Khan with EDA Cafe

Interview with Muhammad Haque Khan, Product Specialist, Onespin Solutions at 2018 DAC

Tech Talk: ISO 26262 Statistics

Jorg Gosse, functional safety product manager at OneSpin Solutions, talks with Semiconductor Engineering about the statistics behind the standards, what is considered good enough, and how those numbers vary across different standards.

Tech Talk: ISO 26262 Statistics

Jorg Gosse, functional safety product manager at OneSpin Solutions, talks with Semiconductor Engineering about the statistics behind the standards, what is considered good enough, and how those numbers vary across different standards.

Tech Talk: Traceability In Functional Safety

Dominik Strasser, vice president of engineering at OneSpin Solutions, talks with Semiconductor Engineering about the impact of functional safety regulations on liability and traceability in automotive, rail, industrial, nuclear and machinery applications.

Tech Talk: Traceability In Functional Safety

Dominik Strasser, vice president of engineering at OneSpin Solutions, talks with Semiconductor Engineering about the impact of functional safety regulations on liability and traceability in automotive, rail, industrial, nuclear and machinery applications.

Muhammad Haque Khan about FPGA Implementation Verification

Muhammad Haque Khan, product specialist for Synthesis Verification, is speaking about our FPGA-specific, mature formal verification technology, that is exhaustive and efficient, catching many issues before synthesis starts.

Muhammad Haque Khan about FPGA Implementation Verification

Muhammad Haque Khan, product specialist for Synthesis Verification, is speaking about our FPGA-specific, mature formal verification technology, that is exhaustive and efficient, catching many issues before synthesis starts.

Nicolae Tusinschi on Floating-Point Units

Nicolae Tusinschi about Formal Verification of Floating-Point Hardware with Assertion-Based VIP.

Nicolae Tusinschi on Floating-Point Units

Nicolae Tusinschi about Formal Verification of Floating-Point Hardware with Assertion-Based VIP.

Tech Talk: FPGA RTL Checking

OneSpin's Tobias Welp talks with Semiconductor Engineering about how to ensure the RTL created by design engineers matches what shows up in an FPGA.

Tech Talk: FPGA RTL Checking

OneSpin's Tobias Welp talks with Semiconductor Engineering about how to ensure the RTL created by design engineers matches what shows up in an FPGA.

Vladislav Palfy with EDA Cafe at DVCon US 2018

Vladislav Palfy, Director Application Engineering, got interviewed by Sanjay Gangal from EDA Cafe at this year's DVCon US in San Jose.

Vladislav Palfy with EDA Cafe at DVCon US 2018

Vladislav Palfy, Director Application Engineering, got interviewed by Sanjay Gangal from EDA Cafe at this year's DVCon US in San Jose.

Vadislav Palfy & Nicolae Tusinschi at DVCon US 2018

Vladislav Palfy & Nicolae Tusinschi about the usage of mutation coverage for advanced bug hunting at DVCon US 2018.

Vadislav Palfy & Nicolae Tusinschi at DVCon US 2018

Vladislav Palfy & Nicolae Tusinschi about the usage of mutation coverage for advanced bug hunting at DVCon US 2018.

Tom Anderson at DVCon US 2018

Straight from our booth at DVCon US 2018: Tom Anderson who newly supports the marketing team as a technical consultant, shares his thoughts on the company's formal product line.

Tom Anderson at DVCon US 2018

Straight from our booth at DVCon US 2018: Tom Anderson who newly supports the marketing team as a technical consultant, shares his thoughts on the company's formal product line.

David Landoll at DVCon 2018

McKenzie Ross is interviewing David Landoll who recently joined the team as Solutions Architect at DVCon US 2018. David reflects his first impression about the company's tools and gives a brief intro to his goals for this year!

David Landoll at DVCon 2018

McKenzie Ross is interviewing David Landoll who recently joined the team as Solutions Architect at DVCon US 2018. David reflects his first impression about the company's tools and gives a brief intro to his goals for this year!

Sasa Stamenkovic at DVCon US 2018

Our senior field application engineer, Sasa Stamenkovic, in his joint session with Ravi Ram from Xilinx on formal verification of floating-point hardware with assertion-based vip.

Sasa Stamenkovic at DVCon US 2018

Our senior field application engineer, Sasa Stamenkovic, in his joint session with Ravi Ram from Xilinx on formal verification of floating-point hardware with assertion-based vip.

Artificial Intelligence and Convolutional Neural Networks

Jim Hogan guided our CEO Raik Brinkmann and other industry thought leaders through an exploration of artificial intelligence, its applications, and predictions about how it stands poised to change every corner of the tech world.

Artificial Intelligence and Convolutional Neural Networks

Jim Hogan guided our CEO Raik Brinkmann and other industry thought leaders through an exploration of artificial intelligence, its applications, and predictions about how it stands poised to change every corner of the tech world.

Vladislav Palfy at DVCon Europe 2017

Vladislav Palfy, Global Manager Application Engineering, attended a panel about intelligent automation at DVCon Europe 2017.

Vladislav Palfy at DVCon Europe 2017

Vladislav Palfy, Global Manager Application Engineering, attended a panel about intelligent automation at DVCon Europe 2017.

Sergio Marchese at DVCon Europe 2017

Sergio Marchese, technical marketing manager at OneSpin, talks about formal fault propagation analysis that scales modern automotive SoCs.

Sergio Marchese at DVCon Europe 2017

Sergio Marchese, technical marketing manager at OneSpin, talks about formal fault propagation analysis that scales modern automotive SoCs.

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.

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.

McKenzie Ross at DAC 2017 - EDA Cafe Interview

Interview with McKenzie Ross, Marketing Communications Manager at OneSpin Solutions at 2017 DAC.

McKenzie Ross at DAC 2017 - EDA Cafe Interview

Interview with McKenzie Ross, Marketing Communications Manager at OneSpin Solutions at 2017 DAC.