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.
You can't create discussions here, but as discussions appear they might have answers you need.
As soon as people join and begin creating and sharing content, you'll begin seeing activity here. Create something now to get started!