中文 英语
德赢vwin
白皮书

使用命令序列运行状态机

通过生成命令序列简化运行状态机的过程

人气

几乎每个重要的设计都包含至少一个状态机,并且通过其合法状态、状态转换和状态转换的不同原因来运行该状态机是验证设计功能的关键。在某些情况下,我们可以简单地将状态机作为对设计执行正常操作的副作用来使用。在其他情况下,状态机可能足够复杂,我们必须采取明确的目标步骤来有效地运行状态机。在本文中,我们将看到inFact的系统刺激生成和生成约束感知功能覆盖的能力如何通过生成命令序列来简化运行状态机的过程。

要阅读更多,请单击在这里



留下一个回复


(注意:此名称将公开显示)