Knowledge Center
Knowledge Center ➜ Entities

OneSpin Solutions GmbH

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


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.