OneSpin solutions announces the release of Quantify product. As per our quick read, this is a great combination of Mutation Based Verification (a la yesteryear’s Certitude technology), formal driven coverage closure (automatic dead code detection, coverage waivers etc.) and more. Read OneSpin’s PR @ http://onespin-solutions.com/index.php/press-releases-reader/items/quantify-announcement-pr.html
A new initiative from CVC, pioneer in the space of Electronics Design Verification (www.cvcblr.com). Aim of this new website is to cover the functional verification related news, articles from...
AMIQ EDA Releases Version 3.5 of the DVT Eclipse IDE
March 3, 2014, San Jose, CA – AMIQ EDA, a pioneer in integrated development environments (IDEs) for hardware design and verification, today an...