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

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

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