问题标签 [specman]

我有这个代码：

当我运行它时，当我尝试生成 pkt.header 时，会收到这个奇怪的警告：

这个错误信息很奇怪，因为当我发出 'gen pkt.header' 时，pkt 已经生成（分配）了，'t' 也是如此。

如果有人可以向我解释这一点，我将不胜感激。

谢谢，

当我使用 Specman GUI 时，我可以使用后退箭头来浏览给定命令的历史记录。当我不使用 GUI（例如来自 unix shell）时，有没有办法获得相同的功能？

谢谢

我偶然发现了这样写的代码：

事件a是循环@b；

从此事件中删除“循环”对行为没有任何影响。

这里的循环是什么意思？

谢谢

有没有办法可以扩展 e 中列表的给定伪方法，以添加一些特定的实现？

谢谢

我想实现以下功能：

1. 扩展红绿蓝包{...}

   此行将导致花括号中的结构成员添加到某个枚举类型的所有指定子类型。结果将如下所示：

   /li>

2. 扩展 BIG MEDIUM RED BLUE GREEN 数据包 {...}

   此行将使用大括号中出现的结构成员扩展每个枚举类型中项目的所有可能组合。结果将如下所示：

   /li>

谢谢，

我们正在进行一项大型设计，其验证环境很复杂。它包含 5 个内部 VIP（其中 3 个是我们拥有和调试的，进行了微小的更改和调整）、CDNS unipro VIP 和一个我们用于所有环境的低级服务包。我们的 e 编译流程漫长而乏味，对于我们在代码库中所做的每一次更改，我们的修复周转时间是 10 分钟。我们如何改进编译流程以提高团队效率？

我目前正在开发自己的 e-UVC 并完成实施检查监视器。总的来说，我的环境还不成熟，在运行我的测试时，我想让我的检查器保持沉默，因为我预计会失败，但又想运行任何测试。Specman 今天支持检查严重性降低吗？我该怎么做？湾。我可以降低特定实例的检查严重性吗？

我要将在 SystemVerilog 中实现的检查器集成到主要是电子验证环境中。这个 SV 检查器如何连接到我的 vr_ad？或者我也应该在 SV 中实现寄存器模型？

我写了以下代码：

虽然它在 Specman 中解决得非常快，但对于某些种子，Gen 调试器显示生成器尝试将 y 分配给不同于 1 和 2 的值，甚至是“y：回滚集”。我做错了什么？

我创建了一个结构列表，我喜欢对每个结构中满足特定条件的字段的值求和。例如：

当我写以下内容时：

当我定义一个结果变量时：

并将约束更改为： keep l.all(it.cond).sum(it.val) == sum_val;

我有矛盾！

我如何使它工作？