CUSTOMERS > OVERVIEW

Customer Testimonials

A. Haggenmiller, Infineon Technology

Infineon 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

DICE 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

Siemens 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."