OneSpin Solutions is a pioneer of advanced, award winning formal verification technologies, incubated at Infineon and leveraging 300+ engineering years of development and applications experience. The company’s product line includes plug & play design analysis requiring no knowledge of formal methods, to powerful, exhaustive, coverage-driven property verification. Excelling in ease-of-use, high-performance and accessibility, OneSpin’s products have been leveraged by a large number of electronic product and semiconductor companies on many leading edge designs. The company maintains its headquarters and engineering teams in Munich, Germany and operates on a global basis.
There are no discussions here currently, but as they appear they might have answers you need.