Knowledge Center
Navigation
Knowledge Center ➜ Entities

OneSpin Solutions GmbH

Formal verification tools for assertion synthesis, assertion-based verification and equivalence checking
popularity

Description

OneSpin Solutions develops formal verification solutions for digital integrated circuits. Headquartered in Munich, Germany, the company focuses on safety-critical verification, SystemC/C++ HLS code analysis and FPGA equivalence checking.

Formal verification serves as the basis for a range of tools, rom automated design analysis to advanced property checking. Its use has been growing significantly in recent years as reliability concerns escalate for markets involving safety, including automotive and industrial, as well as AI and machine learning.


Tags



Multimedia

Safety-Critical Coverage

Multimedia

Billion-Gate Design Connectivity

Multimedia

Finding Hardware Trojans

Multimedia

Heterogeneous Computing

Multimedia

Planning Out Verification

Multimedia

Will FPGAs Work As Expected?

Multimedia

ISO 26262 Statistics

Multimedia

Functional Safety Traceability

Multimedia

FPGA RTL Checking

Multimedia

Verifying Complex Chips