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.

Technical videos

Let our experts guide you through our IC integrity solutions.

Ensuring Coverage In Large SoCs

Sven Beyer, Product Manager Design Verification

Ensuring Coverage In Large SoCs

Sven Beyer, product manager for design verification at OneSpin Solutions, talks with Semiconductor Engineering about why formal technology is required to ensure coverage in some of the newest chips, how it deals with potential interactions and different use cases, and why it is gaining traction in automotive applications.

Finding Hardware Trojans

John Hallman, Product Manager

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.

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.

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.

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.

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.

ISO 26262 Statistics

Jorg Gosse, Product Manager Functional Safety

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.

Traceability In Functional Safety

Dominik Strasser, Vice President of Engineering

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.

FPGA RTL Checking

Tobias Welp, Product Owner and Engineering Manager

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.