xprop仿真选项对RTL X态传播的影响

最新推荐文章于 2025-05-16 16:50:36 发布

尼德兰的喵

最新推荐文章于 2025-05-16 16:50:36 发布

阅读量4.9k

点赞数 4

分类专栏：芯片前端设计 EDA工具使用笔记芯片前端验证文章标签： verilog

本文链接：https://blog.youkuaiyun.com/moon9999/article/details/119395494

版权

EDA工具使用笔记同时被 3 个专栏收录

23 篇文章 ¥9.90 ¥99.00

订阅专栏

超级会员免费看

芯片前端设计

81 篇文章

订阅专栏

芯片前端验证

57 篇文章

订阅专栏

本文探讨了VCS仿真时-xprop选项对RTL中X态传播的影响，指出在Verilog仿真中，X态的处理可能导致仿真结果与实际硬件行为存在差异。通过-xprop=tmerge/xmerge，可以更准确地模拟X态传播，但该功能可能需要额外购买许可证。文中以assign语句和always @*块为例，分析了不同Xprop设置下的行为，并得出结论，即使不使用-xprop，assign语句引入的X态仍能传播，而always块中的X态通常不会传播。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

前言

vcs仿真时可以通过-xprop=tmerge/xmerge来扩散X态传播，借此来发现一些问题。对于这个选项，synopsys给出的解释是：

“Verilog 和 VHDL 常用于数字设计建模。设计人员使用 RTL 构造描述硬件行为。然而，某些 RTL 仿真语义不足以准确地为硬件行为建模。因此，相比实际硬件行为，仿真结果要么太过乐观，要么太过悲观。

因为这些语义限制，Verilog 和 VHDL RTL 仿真器会忽略掉控制信号上的X不定态，在输出上会分配一个固定的数值。这样造成的结果就是，由于缺少X的传播， RTL 仿真器往往无法检测到和 X态相关的设计问题。然而，同样的设计问题可以在门级仿真中检测出来，因此许多时候必须运行大量的门级仿真，只是为了调试 X 相关问题。现在VCS® 在RTL阶段提供了的全新 X 传播（X-propagation）支持，使用该技术，工程师可以节省大量用于调试RTL和门级仿真的X建模的差异上的时间和精力。”

这段话反正翻译完大概意思能懂，根据我之前的测试和笔记，vcs编译选项中如果不定义-xprop，则vcs 为vmerge，为典型的verilog behavior，这个时候呢assign语句的X态传播能够被仿出的（但是这里我缺乏实验，原因标粗），但是对always @*的组合逻辑