Assertion-Based Verification
MentorGraphics新产品Questa突破设计验证障碍_电子资料技术文库_电子资料文档 --华强电子网 mation)、覆盖率驱动式验证(Coverage-DrivenVerification,CDV)、以断言为基础的验证(Assertion-BasedVerification,ABV)和事务级建模(Transaction-LevelModeling,TLM)。新产品线目前包含两套产品
基于2个网页-相关网页
短语
以断言为基础的验证
ABV
;
Assertion-Based Verification