specman

    1热度

    2回答

    信号x是位'n'的一个热信号 我想只覆盖信号的一个热值并且对其他值不感兴趣。例如:如果一个信号x是3位,那么我希望x达到低于数值的值不是。 x == 3'b001 x == 3'b010 x == 3'b100 我想下面来实现目标。 struct ABC { x :uint(bits:n); event pqrs; cover pqrs is { item x using

    1热度

    1回答

    通过对时间表达幻灯片去,我碰到这样的说法: expect @buffer_full_e => eventually @int_e @clock_e else dut_error( “After the buffer was filled,an interrupt never occurred.”); 什么是eventually这里的意义。具体而言,如果eventually这里没有使用这

    2热度

    1回答

    在哪种情况下,我们通常会使用PUSH_MODE? PULL_MODE交互通常是推荐的一种,但我想知道在哪种情况下我们应该使用PUSH模式? 感谢,

    0热度

    1回答

    我有2个问题,我无法修复: 1)出于某种原因,科莫多不突出在我.E文件中的任何方法,即使默认语言的Specman-E,并将文件设置为适当的语言。 我如何让他突出显示它? 2)当我按下输入komodo将不会正确缩进,如果在函数或“if”语句中。 例如: 什么科莫多没有当我点击进入: if(injection_flag){ gen packet2inject; }; 应该是什么,当我点击进入:

    2热度

    2回答

    指针和struct中的实例有什么区别。你如何实例化结构中的实例和指针?你如何连接指针? 任何人都可以用一个例子来解释吗?

    2热度

    3回答

    我有一些关于IP验证的问题。 假设如果在RTL和验证计划(Coverage points)中都没有遗漏来自IP规范的特定设计/功能,那么您如何识别此错误? 由于它没有在RTL中实现(从SPEC中错过),我们无法从代码覆盖范围中识别。 请大家指出一点。 谢谢

    1热度

    1回答

    大家好, 我面临着一个奇怪的错误信息,而对于调试功能覆盖代码专门过渡coverage.There两个级别引脚FIFO1和FIFO2分别同时做覆盖率为第一级销即1级的代码被成功解析但level2的引脚其抛出它说的错误: ***Error:Syntax error(probably an infinite recursion in macro expansion)

    3热度

    2回答

    我想定义一个返回大小列表的方法。 例如 my_method(): list of my_struct is { ... }; 显然会返回一个未知大小的列表。联机文档没有大小列表的语法定义作为返回值。

    -1热度

    1回答

    我想在关于我的测试环境(如结构和变量)的specman模拟数据期间转储。 我知道这样的选项存在于vcs运行(创建VPD文件)中,但我在specman中找不到类似的选项。 你能否协助?

    1热度

    2回答

    我想问一下系统Verilog语言中Specman e的sync对应件是什么。 我知道@ event_indentifier相当于Specman e的wait @ event。 但是sync @ event怎么样?