More articles : » Verification Consulting, What's Next?Will the demand for Design and Verification services change? How will Functional Verification look like 3 years from now? Think Verification caught Cristian Amitroaie, AMIQ’s CEO, for a quick chat. » VMM Hackers Guide - Shutting Down Atomic GeneratorsEverybody likes atomic generators. If you have a vmm_data class, all you have to do is add a quick macro line and you get a free VMM-compliant generator that you only need to instantiate in your environment. An atomic generator is a simple yet... » Latest Buzz From The EDA & Verification Community{loadposition pos101}{loadposition pos102}{loadposition pos103}{loadposition pos104}{loadposition pos105}{loadposition pos106}{loadposition pos107}{loadposition pos108}{loadposition pos109}{loadposition pos110}{loadposition pos111}{loadposition... » Top 10 Verification MythsLet’s unveil the truth behind some of the common myths out there! » Eternal Sunshine of the Verifier's MindTo be successful in verification you not only need to possess the right technical skills, but you also need to possess the right mindset. Possessing the right mindset will lead you to success rapidly. Here are 3 things that I’ve found very... Copyright © 2019 Think Verification - Tips & Insights on ASIC Verification. All Rights Reserved.
Joomla! is Free Software released under the GNU/GPL License. |
Comments
e.g. ignore = length not in [90..100];
but this is not true since you can use "prev"
cover cover_me is {
05. item length using
10. ignore = length > 100;
11. };
12. };
cover cover_me is {
05. item length using
10. ignore = prev or length < 90;
11. };
12. };
Correct. Like I mentioned in the article, this problem typically arises with more complex items such as cross items.
RSS feed for comments to this post.