投稿
  1. 极客之音首页
  2. 硬件开发

xcelium——重要特性——X态传播检查

小半 • • 硬件开发 • 阅读 369

导读：本篇文章讲解 xcelium——重要特性——X态传播检查，希望对大家有帮助，欢迎收藏，转发！站点地址：www.bmabk.com

检查X态传播

elaboration时添加选项：
-xprop //使能全局X态传播
-xfile //使能file文件中信号得X态传播
-xlog

  • 两种模式
  1. Forward Only X (FOX)
  2. Compute as Ternary (CAT)
  3. LRM兼容模式（D）
  • xfile语法
    <hierarchical_path> {F | C | D}
    example:
SCOPE ... F               # 所有模块采用FOX模式
SCOPE top.u1 C        # 模块u1采用CAT模式

版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。

文章由极客之音整理，本文链接：https://www.bmabk.com/index.php/post/82446.html

赞 (0)
小半的头像小半
0 0

相关推荐

极客之音——专业性很强的中文编程技术网站，欢迎收藏到浏览器，订阅我们！