假设（）不适用于初始语句

Question

对于https://i.imgur.com/NCUjYmr.png，为什么信号“复位”最初假定为“1”？任何人都有任何想法，为什么假设不起作用？

Answer 1

我找到了解决方案。我处于临时归纳状态，从非系统初始状态开始。因此，信号“复位”最初不假定为'1'

Answer 2

假设只能在正式验证环境中用作假设。但在基于仿真的验证中，它们仅作为assert声明使用。

按LRM的：

眼前的假设语句指定其表达假定持有。例如，即时假设陈述可以与形式验证工具一起使用，以指定限制验证计算的设计输入假设。当以这种方式使用时，它们指定了设计环境的预期行为，而不是设计本身。在模拟中，立即假设可能表现为直接断言，以验证环境的行为如同假设。模拟工具 提供了以这种方式检查即时假设陈述的能力。

由于这个原因，在设计中，它实际上不会assume的价值，但它会检查适当的值是否给出与否。