【验证小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



打开



就这样


相关文章
|
7月前
|
安全 Linux Android开发
Android安全启动学习(一):AVB校验是什么?
Android安全启动学习(一):AVB校验是什么?
424 0
|
2月前
|
区块链
Star Tower Chain:奖励驱动,开启区块链新征程
Star Tower Chain 在区块链领域中犹如一颗璀璨明星,其独特的奖励驱动模式正引领区块链迈向新征程。通过资源交互证明机制,每个智能设备节点都能因贡献计算能力、存储空间或数据验证等资源而获得丰厚奖励,激发了网络资源利用效率的提升。此外,用户通过推广平台、邀请新用户也能获得奖励,增强了社区凝聚力。智能合约的成功执行同样会给予参与者奖励,提高了平台的可信度和可靠性。Star Tower Chain 以创新的激励机制,激发用户和节点的潜力,为区块链的未来奠定坚实基础,引领我们进入一个充满无限可能的新时代。
65 12
|
3月前
|
安全 JavaScript 前端开发
某光集团网站被加入利用ANI漏洞传播Worm.Win32.Viking.ix的代码
某光集团网站被加入利用ANI漏洞传播Worm.Win32.Viking.ix的代码
|
3月前
|
安全
一个利用real,联众游戏程序漏洞,MS06-014传播机器狗/fa.exe的网站
一个利用real,联众游戏程序漏洞,MS06-014传播机器狗/fa.exe的网站
omni_usdt钱包文件keypoolsize是否持续为100个地址测试
omni_usdt钱包文件keypoolsize是否持续为100个地址测试
|
7月前
|
安全 网络安全 数据安全/隐私保护
VulnHub 靶场--super-Mario-Host超级马里奥主机渗透测试过程
这篇文章描述了在一个网络安全靶场环境中进行渗透测试的过程。首先,从百度网盘下载并导入虚拟机镜像,然后将其网络设置为NAT或仅主机模式。接下来,通过扫描靶机IP地址的本地网络段,发现靶机IP为192.168.220.135,并且了解到靶机上有一个名为“mario.supermariohost.local”的Web服务,运行在8180端口。尝试SSH弱口令攻击失败后,通过信息收集找到一个名为“luigi.php”的页面,其中包含一段英文提示,提示需要将域名添加到hosts文件中。 通过cewl工具从luigi.php生成字典文件passwords,然后使用hydra工具尝试SSH登录,成功获得l
130 0
|
Shell Linux 网络安全
4-Tr0ll-1百个靶机渗透(精写-思路为主)(下)
4-Tr0ll-1百个靶机渗透(精写-思路为主)(上)
64 0
|
安全 数据安全/隐私保护 Python
Crack App | 某合伙人登录参数 apisign 逻辑分析
Crack App | 某合伙人登录参数 apisign 逻辑分析
|
安全 测试技术
赏金猎人系列-如何测试注册(Sign up)功能
前言 在正常的打猎(漏洞挖掘)过程中,Sign Up是常见的一个功能,之前写过一篇 注册功能测试小结,但是不是很全, 本文将着重对此功能的测试点进行系统性梳理,鉴于测试点有几十个,所以可能会分为好几期来阐述;
254 0
赏金猎人系列-如何测试注册(Sign up)功能
|
测试技术
赏金猎人系列-如何测试注册(Sign up)功能以及相关Tips
正文 本文承接前文赏金猎人系列-如何测试注册(Sign up)功能,继续梳理注册功能的测试流程,相关文章还有: 注册功能测试小结
155 1