It seems as if 2012 was a good year for almost all of the respondents of my 2012 survey and many of them have some good news to share. OneSpin Solutions took a lower profile mid-year 2012 and was rewarded with the opportunity to reassess the verification space.
Bis um den Faktor 10 bescheunigt das automatische Werkzeug RootCauseAnalyzer von OneSpin die Fehleranalyse in Assertions und Designs. Der Entwickler hat damit ein Hilfsmittel, um die Ursache zu finden, warum eine Zusicherung bei der funktionalen Verifikation eines RTL-Designs fehlgeschlagen ist.
Known for their formal functional verification solutions, the folks at OneSpin Solutions have announced what they say is the industry's first structured, step-by-step approach to learning and adopting comprehensive formal assertion-based verification (ABV).