02 2022 档案

SVA的动态控制($asserton,$assertoff,$assertkill等)
摘要：资料来源 (1) 硅芯思见：【91】SVA的动态控制 (qq.com) 1.$asserton, $assertoff, $assertkill (1) 作用 注1:$assertoff暂时关闭所有断言的执行,如果该函数执行时断言正在执行,正在执行的断言不会被终止; 注2:$asserton重新启动 阅读全文

posted @ 2022-02-13 21:48 知北游。。 阅读(7027) 评论(0) 推荐(0) 编辑

3-phase的超时退出(timeout,仅限于run_phase,内含wait(0)以及phase.get_name())
摘要：资料来源 (1) UVM实战-张强; (2) UVM source code; 注意:wait(expression)会一直阻塞,直到expression为真; wait(0)表示永远阻塞,这种用法会在UVM source code中遇到; 1.phase的超时退出 (1)背景: 验证平台运行时,有 阅读全文

posted @ 2022-02-06 18:31 知北游。。 阅读(1300) 评论(0) 推荐(0) 编辑

Verdi-Using FSM coverage & Assert coverage
摘要：资料来源 (1) coverage user guide and tutorial 1.Using FSM coverage 注:如果为了方便查看fsm的哪些跳转没有cover到,可以勾选面板中的show as list选项; 2.Assert coverage 阅读全文

posted @ 2022-02-06 15:21 知北游。。 阅读(787) 评论(0) 推荐(0) 编辑

< 2025年3月 >
日 一 二 三 四 五 六
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5

导航

统计

点击右上角即可分享
微信分享提示