【验证小bai】利用verdi让所有环境force现身

简介: 【验证小bai】利用verdi让所有环境force现身

匿名感谢一直默默提供各种素材和BUG的小伙伴!


刚开始入门的时候,有人和我讲宏、force和callback是验证环境的三个毒药 ,仿佛饮鸩止渴,虽然简洁快速,但是如果使用不当会使验证环境处于不可控的风险中。所以很长一段时间我都是避免使用force的,直到有一天我发现force是真的很爽\(^o^)/~不过呢还是得说,force确实有时会带来盲点,尤其是你忘了还有force这个事的时候。


force导致的问题通常都很隐蔽,比如我之前见到过得的封装uvm操作失误,在uvm_bd_read这类操作中误使用force,导致后门读取使得RTL挂死这种鬼神操作。通过verdi可以避免我们忘记force操作,目前我直到的有两种方式:在波形中显示force信息和打印所有force信息。


我在harness里加了这么一句:

initial begin
    #1000ns;
    force harness.u_mul.m_valid = 1;
    $display("force!!!");
    #10ns;
    release  harness.u_mul.m_valid;
end


在波形中显示force信息

在vcs run_option中添加:

RUN_OPTIONS += +fsdb+force


然后正常跑用力,看波形:



直接就一个无所遁形!


但是吧,如果跨逻辑的关联信号就看不出来了,比如这种代码下,tmp和被force的代码是完全等价的但是波形上看不出tmp的force状态:

wire tmp = m_valid;


那么这种时候怎么办呢?没啥太好的办法,第二种方式也不行。


打印所有force信息

here



继续



继续



OK



打开



就这样


相关文章
|
2月前
|
Go 开发工具 git
CF+hugo部署要点随记
本文介绍了使用Hugo搭建静态博客的方法,Hugo是一款用Go语言编写的静态站点生成器。文中详细描述了在Windows环境下安装Go、Git和Hugo的步骤,并提供了快速启动指南。此外,还介绍了如何通过Git子模块引入主题,以及如何在本地创建和编辑文章。最后,给出了常用Markdown语法示例,帮助用户轻松撰写博客内容。
73 5
|
2月前
|
JavaScript 前端开发 数据安全/隐私保护
小心QQ信息中的网址传播维金Worm.Win32.Viking.ix/Worm.Viking.pg
小心QQ信息中的网址传播维金Worm.Win32.Viking.ix/Worm.Viking.pg
|
2月前
|
安全 数据安全/隐私保护
某健康学校网站被植入传播Trojan-Downloader.Win32.Delf.bho的代码
某健康学校网站被植入传播Trojan-Downloader.Win32.Delf.bho的代码
|
2月前
|
安全 JavaScript 前端开发
某光集团网站被加入利用ANI漏洞传播Worm.Win32.Viking.ix的代码
某光集团网站被加入利用ANI漏洞传播Worm.Win32.Viking.ix的代码
|
2月前
|
安全
一个利用real,联众游戏程序漏洞,MS06-014传播机器狗/fa.exe的网站
一个利用real,联众游戏程序漏洞,MS06-014传播机器狗/fa.exe的网站
|
2月前
|
监控
某市河西区教育信息网被加入传播Worm.Win32.Viking.jr等的代码
某市河西区教育信息网被加入传播Worm.Win32.Viking.jr等的代码
omni_usdt钱包文件keypoolsize是否持续为100个地址测试
omni_usdt钱包文件keypoolsize是否持续为100个地址测试
|
6月前
|
安全 虚拟化 数据安全/隐私保护
eve-ng镜像模拟设备-信息安全管理与评估-2023国赛
eve-ng镜像模拟设备-信息安全管理与评估-2023国赛
|
安全 数据安全/隐私保护 Python
Crack App | 某合伙人登录参数 apisign 逻辑分析
Crack App | 某合伙人登录参数 apisign 逻辑分析
|
存储 编解码 人工智能
Github 3k+!南科大 VIP Lab 近期开源 Track-Anything | SAM + VOS: 一键视频标注
Github 3k+!南科大 VIP Lab 近期开源 Track-Anything | SAM + VOS: 一键视频标注
609 0