Methods2Business finished GapFree Verification project for automotive company in Germany

Posted by marleen on February 10, 2012

Methods2Business successfully delivered a GapFree verification service using OneSpin's 360® MV to prove the functional correctness of an IP for a leading semiconductor company in the automotive industry in Germany. The project reached 100% completeness of the verification according to time and budget commitments made in the SoW at the start of the project. 

The progress and quality of the formal Assertion Based Verification could automatically and comprehensively be measured using OneSpin's unique Quantify formal Metric Driven Verification Solution. 

The customer expressed his appreciation for the project as follows:

"Aus technischer Sicht ist die FV des TimerB erfolgreich und pünktlich abgeschlossen. Sasa Stamenkovic wird Ende Januar (Anfang Februar) in einer Abschlusspräsentation noch mal eine Zusammenfassung/Rückblick über die FV des IP geben.
Die FV war hier sicherlich die richtige Wahl für die Verifikation des IP. Es wurden einige Designbugs, sowie Speclücken aufgedeckt und korrigiert.
Für die hervorragende Zusammenarbeit möchte ich mich noch mal bei Sasa Stamenkovic und Sven Beyer bedanken".

On February the 10th, Methods2Business presented the final verification report on site of the customer.