Reviews Think Verification - Tips & Insights on ASIC Verification - trends, insights, tutorials, videos, tips, and lots of cool stuff http://thinkverification.com/index.php?option=com_content&view=category&id=2&layout=blog&Itemid=10 Tue, 25 Apr 2017 00:48:11 +0000 Joomla! 1.5 - Open Source Content Management en-gb Is ABV Becoming Mainstream? http://thinkverification.com/index.php?option=com_content&view=article&id=60:is-abv-becoming-mainstream&catid=2:reviews&Itemid=10 http://thinkverification.com/index.php?option=com_content&view=article&id=60:is-abv-becoming-mainstream&catid=2:reviews&Itemid=10 Is Assertion-Based Verification (ABV) becoming mainstream? This question popped up today at Mentor’s ABV seminar. Assertions in general and ABV in particular make another approach that you can use to verify your design. Usually ABV alone is not sufficient, and is used alongside other verification approaches such as Coverage-Driven Verification, Directed Testing, Formal Verification, and Code Coverage. What’s good about ABV though, is that it’s the fastest tool around in terms of failure-to-root-cause time (also in your testbench!)

]]>
admin@thinkverification.com (Administrator) Reviews Sun, 25 Apr 2010 13:06:02 +0000
DVT Eclipse - For SystemVerilog/Specman Code Developers http://thinkverification.com/index.php?option=com_content&view=article&id=38:dvt-eclipse-for-systemverilogspecman-code-developers&catid=2:reviews&Itemid=10 http://thinkverification.com/index.php?option=com_content&view=article&id=38:dvt-eclipse-for-systemverilogspecman-code-developers&catid=2:reviews&Itemid=10 3 years ago that was on our wish list. Now it is a reality - A modern programming environment for verifiers!

]]>
admin@thinkverification.com (Administrator) Reviews Thu, 24 Dec 2009 17:11:18 +0000
Another Step Forward For VMM http://thinkverification.com/index.php?option=com_content&view=article&id=36:another-step-forward-for-vmm&catid=2:reviews&Itemid=10 http://thinkverification.com/index.php?option=com_content&view=article&id=36:another-step-forward-for-vmm&catid=2:reviews&Itemid=10 While the move from 1.0 to 1.1 and its later flavors did not involve a major paradigm shift, VMM1.2 (beta) introduces several fundamentally new concepts that you should be aware of. Some of the new concepts are the natural result of an evolving methodology, and others are probably features requested by VMM users who might have seen cool features in other languages and methodologies that had been missing in earlier versions of VMM.

]]>
admin@thinkverification.com (Administrator) Reviews Thu, 24 Dec 2009 17:09:19 +0000
Review - Verification Leadership Seminar http://thinkverification.com/index.php?option=com_content&view=article&id=39:review-verification-leadership-seminar&catid=2:reviews&Itemid=10 http://thinkverification.com/index.php?option=com_content&view=article&id=39:review-verification-leadership-seminar&catid=2:reviews&Itemid=10 How many of you have tried to cut on coffee? or even quit drinking coffee altogether? I guess a lot. Well, personally I’ve given up on trying but you know what? there’s actually something worse than having 8 cups of coffee per day - it’s the muffins that come with them! (or any other form of candy for that matter). The evil muffin of muffin-compliant just sits there in the cafeteria waiting to attack when you’re most vulnerable - holding a cup of coffee in your hand.

]]>
admin@thinkverification.com (Administrator) Reviews Thu, 24 Dec 2009 00:00:00 +0000