IC验证xprop选项
时间: 2023-08-24 15:07:38 浏览: 360
在IC验证中,xprop选项是用来打开X态传播检查的。X态传播检查可以帮助工程师在更早的阶段找到潜在的问题,将原本只能在gate-level才会发现的问题提前到rtl仿真,从而更早地释放风险。然而,启用xprop后发现的行为并不一定都是bug,因为有些电路设计可能已经做了保护措施,特别是一些第三方IP。在确认后不是问题的电路设计上,可以使用xprop自带的脚本功能来控制xprop的范围,可以对不同的模块施加不同的xprop模式。此外,对于一些不受UPF掉电影响的模块,如ROM等,可以设置UPF_dont_touch属性,以确保其始终处于Always On状态。\[2\]\[3\]
#### 引用[.reference_title]
- *1* *3* [基于 VCS-NLP 的动态低功耗仿真验证介绍](https://blog.csdn.net/weixin_40357487/article/details/129384557)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^insertT0,239^v3^insert_chatgpt"}} ] [.reference_item]
- *2* [学习一下simulation 仿真中的x态仿真](https://blog.csdn.net/qq_40123322/article/details/127622488)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^insertT0,239^v3^insert_chatgpt"}} ] [.reference_item]
[ .reference_list ]
阅读全文
相关推荐
















