Mentor Graphics Expands Formal Verification's Reach with New Cross-Platform GUI and Apps for Sequential Logic Equivalence Checking and CDC Gate-Level Analysis

Fatal error: Uncaught Error: Undefined constant "debug" in /www/www10/htdocs/nbc/articles/content_paginate.inc.php:39 Stack trace: #0 /www/www10/htdocs/nbc/articles/view_article.php(750): content_paginate('<!-- TextBegin ...', 0) #1 {main} thrown in /www/www10/htdocs/nbc/articles/content_paginate.inc.php on line 39