【问题标题】:Regd: Log assertion markersRegd:日志断言标记
【发布时间】:2014-10-15 21:05:21
【问题描述】:

如何使倒三角形标记在 Questsim 环境中可见。我正在使用通配符运算符来记录波形(.wlf)。标记用于调试基于断言的验证。

【问题讨论】:

  • 您的问题措辞不当,您应该告诉您如何使用该工具。例如在 Windows 7 上使用 gui,或在 RHEL 上使用命令行。
  • 我在基于 linux 的环境中使用 GUI 中的 Questa。每当 DUT 出现错误时,我想通过波形查看器中的断言标记查看错误发生的位置。

标签: verilog system-verilog modelsim


【解决方案1】:

尝试使用选项 -assertdebug 运行 Questasim。

更多信息请在questasim manual中搜索assertdebug。

【讨论】:

    猜你喜欢
    • 2021-08-21
    • 1970-01-01
    • 2016-05-28
    • 2012-09-14
    • 2015-10-22
    • 1970-01-01
    • 2019-06-06
    • 1970-01-01
    • 1970-01-01
    相关资源
    最近更新 更多