Home Reviews

Search

Reviews
Is ABV Becoming Mainstream? PDF Print E-mail
User Rating: / 21
PoorBest 
Sunday, 25 April 2010 13:06

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!)

 
DVT Eclipse - For SystemVerilog/Specman Code Developers PDF Print E-mail
User Rating: / 3
PoorBest 
Thursday, 24 December 2009 17:11

3 years ago that was on our wish list. Now it is a reality - A modern programming environment for verifiers!

 
Another Step Forward For VMM PDF Print E-mail
User Rating: / 4
PoorBest 
Thursday, 24 December 2009 17:09

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.

 
Review - Verification Leadership Seminar PDF Print E-mail
User Rating: / 2
PoorBest 
Thursday, 24 December 2009 00:00

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.

 


Copyright © 2017 Think Verification - Tips & Insights on ASIC Verification. All Rights Reserved.
Joomla! is Free Software released under the GNU/GPL License.