CUSTOMERS > OVERVIEW
Customer Testimonials
A. Haggenmiller, Infineon Technology
Alexander Haggenmiller, Director Intellectual Property and Re-Use
at the Communication Solutions business group at Infineon Technologies:
"Using OneSpin technology, we fully verified the PPv2 protocol processor,
including its advanced context switching, which is a central IP component of our communication applications.
This verification approach assured that the complete functionality of the PPv2 was covered and bug escape routes blocked.
Moreover, the total verification effort was about 40% less than that in a previous, simulation-based project."
Dr. M. Schutti, DICE GmbH & Co KG
Dr. Markus Schutti, Director Digital Development at DICE GmbH & Co KG: "We used OneSpin's property
verification on numerous modules and discovered that writing and proving properties is easier and much faster than
setting up test-benches. Short response times, even on large modules, allow very fast check-debug-fix cycles - often
within minutes. We used OneSpin's solution on a well-simulated communication peripheral IP for base-band chips and
found 15 additional awkward errors with four person-weeks effort."
H. Soukup, Siemens Com
Holger Soukup, Director SoC Development, Siemens Com, Munich:
"Our team has used OneSpin's technology in the verification of various designs, including
two 4-million-gate SoC designs with extremely complex logic and multiple re-use blocks.
It turned out that OneSpin's formal module verification perfectly completed our verification portfolio.
For the functionalities being verified, it was less costly, faster and yielded higher quality than any kind
of dynamic verification. Furthermore, the improved block quality considerably reduced our costs for system-level
verification. As a result, we met both a very tight time-to-market schedule and our quality aims."