Knowledge Center

Knowledge Center ➜ Entity
OneSpin Solutions GmbH
Formal verification tools for assertion synthesis, assertion-based verification and equivalence checking


OneSpin Solutions of Munich, Germany, is an electronic design automation (EDA) supplier and was founded in 2005 as a spin-off from Infineon Technologies AG.

The company's tools use formal verification technology developed within Infineon and Siemens, since 1989.

Their product suite leverages formal verification proof engine as the basis for a range of tools, from automated design analysis to advanced property checking.