assume() 不适用于初始语句
assume() does not work for initial statement
对于https://i.imgur.com/NCUjYmr.png，为什么信号"reset"最初不假定为'1'？任何人都知道为什么假设不起作用？
假设仅在正式验证环境中用作假设。但在基于模拟的验证中，它们仅作为 assert 语句工作。
根据 LRM：
The immediate assume statement specifies that its expression is assumed to hold. For example, immediate assume statements can be used with formal verification tools to specify assumptions on design inputs that constrain the verification computation. When used in this way, they specify the expected behavior of the environment of the design as opposed to that of the design itself. In simulation, an immediate assume may behave as an immediate assert to verify that the environment behaves as assumed. A simulation tool shall
provide the capability to check the immediate assume statement in this way.
因此，在您的设计中，它实际上不会 assume 值，但会检查是否给出了正确的值。
我找到了解决方案。我处于时间感应中，它从一个不是系统初始状态的状态开始。因此，信号 "reset" 最初不假定为“1”
对于https://i.imgur.com/NCUjYmr.png，为什么信号"reset"最初不假定为'1'？任何人都知道为什么假设不起作用？
假设仅在正式验证环境中用作假设。但在基于模拟的验证中，它们仅作为 assert 语句工作。
根据 LRM：
The immediate assume statement specifies that its expression is assumed to hold. For example, immediate assume statements can be used with formal verification tools to specify assumptions on design inputs that constrain the verification computation. When used in this way, they specify the expected behavior of the environment of the design as opposed to that of the design itself. In simulation, an immediate assume may behave as an immediate assert to verify that the environment behaves as assumed. A simulation tool shall provide the capability to check the immediate assume statement in this way.
因此，在您的设计中，它实际上不会 assume 值，但会检查是否给出了正确的值。
我找到了解决方案。我处于时间感应中，它从一个不是系统初始状态的状态开始。因此，信号 "reset" 最初不假定为“1”