Design and Verification Conference (DVCon) 2009
OneSpin Solutions GmbH exhibited at the DVCon (Design and Verification Conference and Exhibition) in San Jose (24-26 February 2009) for the third time.This year's focus was the presentation of OneSpin's new SVA-based 360 MV product family for step-by-step learning and adoption.
360 MV comprises five interoperable formal tools that enable you to verify and debug your design at up to six different levels of verification quality and effort – adaptable to your formal expertise and project requirements. Formal newcomers can get results after a one-day training, and before they've even learned to write assertions; experienced formal users can overcome the performance and capacity limitations of their current formal tools; and experts can take formal to the next level using OneSpin's unique technology that detects verification gaps in assertion sets.
On DVCon OneSpin showed how the comprehensive 360 MV product family saves verification effort and time, whether you are a formal expert or just about to start with formal. OneSpin also presented its new, comprehensive proof-based SVA debugging environment – which is part of the 360 MV product family – that slashes debug time significantly.
