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.



We want to hear from you. If you have any comments or suggestions about this page, please send us your feedback.