问题标签 [e]

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

当我写以下内容时：

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

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

我有矛盾！

我如何使它工作？

我在一些 e 文件中有以下代码：

我的顶级文件导入了几个文件，包括这个文件，并且在某些时候它调用了 foo() 方法。

现在，我错误地添加了以下代码：

在其他文件中（我只是忘记了我已经有一个名为“packet”的结构），它是由 top 在上述文件之前导入的。

奇怪的是，当我尝试加载顶部文件时，我收到了这个错误：

但是为什么它没有在定义 foo() 的文件上失败呢？

它有一个数据包的结构声明，但数据包已经（错误地）在早期文件中声明，那么为什么它没有给出重复类型名称错误呢？是否允许有两个同名的结构？

是否有任何技术原因我缺少e没有静态字段/方法？

我查了LRM，没有提到这样的事情。有解决方法（比如这个：http ://www.specman-verification.com/index.php?entry=entry060612-105347 ），但我认为它不是一种特别干净的方法，因为它没有很好地封装。

在 e 文件中，这样说是完全合法的：

但与此同时，以下事情不起作用：

解析器期望 VAL2 是一个变量名并且不将其解释为一个常量。

同时，允许这样做：

在这种情况下，VAL2 被解释为一个常数。

print 的（简化）语法是print <exp>. 枚举文字不是表达式吗？

specman 是否有类似 lex_lt(s1,s2) 的方法？（即按字典顺序比较字符串）。如果没有，是否有推荐的方法来实现相同的目标？

Specman 中是否有内置方法可以为我提供枚举变量的第一个、最后一个和下一个值的值？例如：

我正在使用vr_ade 的包。我的问题是：以下 2 个用于修改寄存器的宏有什么区别（假设foo寄存器由 2 个字段组成：field1和field2）：

1)

2)

我真的很感激任何帮助

（在我的验证环境中，我们使用vr_ad包。）。我尝试实现下一个：当数据写入其中一个寄存器 ( timer_load) 时，另一个寄存器 ( timer_bgload) 应该使用相同的数据进行更新。

我在 UVM 用户指南中找到了下一个示例：

我的寄存器：

我timer_bgload在数据写入后更新寄存器的代码tiemr_load：

我得到一个编译错误：

我真的很感激任何帮助。

my_reg_file我在函数中定义了一个变量post_access()（这个函数是一个vr_ad实现副作用的钩子）：

然后我在另一个 e 文件中扩展了这个函数：

我得到一个编译错误：

为什么post_access()不识别变量my_reg_file？谢谢您的帮助。

注意：file1.e 在 file2.e 之前导入

在我的验证环境中，我有 3 个具有相同字段的不同寄存器load_0：load_1和load_2. 现在，我为每个寄存器复制了 3 次相同的函数，并且仅在一行中有所不同：

有没有更好的方法来访问变量名（仅通过索引不同）而不是重复相同的函数 3 次？像这样的东西：

我将不胜感激您能提供的任何帮助。