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.

Finding Hardware Trojans

John Hallman, Product Manager Trust & Security

Finding Hardware Trojans

John Hallman, product manager for trust and security at OneSpin Technologies, talks with Semiconductor Engineering about how to identify hardware Trojans in a design, why IP from different vendors makes this more complicated, and how a digital twin can provide a reference point against which to measure if a design has been compromised.

Leveraging 20 Years of Formal Verification Data to Speed-up Today’s Proof

Dominik Strasser, VP of Engineering

Leveraging 20 Years of Formal Verification Data to Speed-up Today’s Proof

Speaker: Dominik Strasser
Recorded at: DVClub Europe Conference 2019
Date: 16th Apr 2019

Safety-Critical Coverage

Dave Landoll, Solutions Architect

Safety-Critical Coverage

Dave Landoll, solutions architect at OneSpin Solutions, discusses verification in safety-critical designs, why it’s more of a challenge in automotive than in avionics, and why verification of these systems includes what the system should not be doing as well as what it should be doing.

Ensure Compliance and Trust for RISC-V Cores and SoCs with Complete Formal Verification

Sasa Stamenkovic, Senior Field Application Engineer 

Ensure Compliance and Trust for RISC-V Cores and SoCs with Complete Formal Verification

At the Verification 3.0 Innovation Summit on March 19th at Levi's Stadium in Santa Clara, California, OneSpin's Senior Field Application Engineer, Sasa Stamenkovic, discussed the importance of thoroughly verifying RISC-V processor cores—and outlined how formal verification can make that task easier.

Billion-Gate Design Connectivity

Sasa Stamenkovic, Senior Field Application Engineer

Billion-Gate Design Connectivity

Sasa Stamenkovic, senior field application engineer at OneSpin Solutions, explains how to find and resolve connectivity issues in integrating large numbers of components in very big designs, often at the leading-edge nodes and in markets such as AI.

Tom Anderson Speaks with EDA Cafe

Tom Anderson, Technical Marketing Consultant

Tom Anderson Speaks with EDA Cafe

Interview with Tom Anderson, Technical Marketing Consultant of OneSpin Solutions, at DVCon 2019.

Heterogeneous Computing Verification

Raik Brinkmann, CEO and President

Heterogeneous Computing Verification

Raik Brinkmann, CEO of OneSpin Solutions, looks at new architectures involving AI and machine learning, what changes in these multi-accelerator, multi-memories designs, and where problems can crop up both in design and verification.

Xilinx Talks Safety with OneSpin

Sasa Stamenkovic, Senior Field Application Engineer

Xilinx Talks Safety with OneSpin

Sasa Stamenkovic, senior field application engineer, sat down with Xilinx's senior director of architecture, Sagheer Ahmad, to speak about the challenges of moving into the automotive space even for a company with longstanding experience in other safety-critical domains.

Planning Out Verification

Nicolae Tusinschi, Product Specialist Design Verification

Planning Out Verification

Nicolae Tusinschi talks with Semiconductor Engineering about how to move from specification to signoff in a verification flow.

Tech Talk: ISO 26262 Statistics

Jorg Gosse, Product Manager Functional Safety

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

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.

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

Tobias Welp, Product Owner and Engineering Manager

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

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, Director Application Engineering, and Nicolae Tusinschi, Product Specialist Design Verification

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

Tom Anderson, Technical Marketing Consultant

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.

Sasa Stamenkovic at DVCon US 2018

Sasa Stamenkovic, Senior Field Application Engineer

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, Vista Ventures, and Raik Brinkmann, CEO and President

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, Director Application Engineering

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

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

McKenzie Ross, Marketing Communications Manager

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

McKenzie Ross, Marketing Communications Manager

McKenzie Ross at DAC 2017 - EDA Cafe Interview

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