[发明专利]测试异步有限机器的系统和方法

说明书

公开了测试异步有限机器的系统和方法。一种测试异步有限状态机的故障的方法，该方法包括：禁用脱离异步有限状态机的状态的状态转换，以及将测试数据输入到AFSM以触发从该状态到预期状态的转换。该方法进一步包括：启用脱离异步有限状态机的状态的转换，以及确定该异步有限状态机是否已经执行到预期状态的成功转换。

技术领域

本发明总体上涉及用于测试异步有限机器的方法和系统。

背景技术

测试异步有限状态机可能会有问题。已知的方法从功能上测试异步有限状态机。然而，功能测试可能会遗漏潜在的故障并消耗大量时间。

发明内容

根据一个实施例，测试异步有限状态机(AFSM)的故障的方法包括：禁用脱离AFSM的状态的状态转换；将测试数据输入到AFSM以触发从该状态到预期状态的转换；启用脱离AFSM的状态的转换；以及确定AFSM是否已经执行到预期状态的成功转换。

根据一个实施例，异步有限状态机包括：状态单元，被配置为在接收转换信号之后存储值；以及ARC单元，被配置为产生转换信号，该异步有限状态机被配置为当异步有限状态机接收禁用信号时禁用转换信号的生成。

根据一个实施例，测试系统包括：具有初始状态的异步有限状态机(AFSM)，该异步有限状态机被配置为响应于接收触发数据而从初始状态转换到目的状态；测试寄存器，被配置为在测试系统的测试模式期间向AFSM提供触发数据；以及输出寄存器，与AFSM耦合以从AFSM接收响应于AFSM的状态转换而改变的状态信号，AFSM被配置为响应于AFSM接收的禁用信号的断言而禁用状态转换信号。

附图说明

为了更全面地理解本发明及其优点，现在结合附图参考以下描述，在附图中：

图1示出了描述AFSM的示意图；

图2示出了AFSM的输入和输出；

图3描述了根据实施例的测试AFSM的系统；

图4A描述了示出了根据实施例的AFSM测试的步骤；

图4B示出了根据实施例锁定在给定状态的有限状态机；

图5描述了根据实施例的测试异步有限状态机的转换的方法；

图6描述了根据实施例的ARC单元；

图7描述了根据实施例的状态单元；

图8描述了根据实施例的ARC单元和状态单元的布置；以及

图9描述了根据实施例的测试AFSM的故障的方法。

具体实施例

许多已知和新兴技术依赖于异步有限状态机(AFSM)。状态转换可以快速且有效地发生。然而，测试AFSM的已知方法和系统涉及AFSM的功能测试。这些测试在时间和成本方面都很昂贵。另一种方法提供了早期、快速和准确的故障检测。

在各种实施例中，可以通过将AFSM的输入设置为触发转换已知的值并确认发生转换来执行测试。

图1示出了描述AFSM的示意图。

AFSM 100可以包括多个状态。例如，图1所示的AFSM包括初始状态S0、第一状态S1、第二状态S2、第三状态S3和第四状态S4。如将理解的，AFSM可以包括任何数量的状态。

当满足某些条件时，AFSM可以在状态之间转换。这些转换可以被称为ARC。当满足条件时，可以生成ARC信号以触发AFSM从一个状态到另一状态的转换。当满足相应的条件时，可以通过不同的ARC从一个状态转换。例如，单个状态可能具有离开该状态的一个以上可能的ARC。同样，单个状态可能具有到该状态的一个以上可能的ARC。