测试异步有限机器的系统和方法技术方案

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

【技术实现步骤摘要】
测试异步有限机器的系统和方法


[0001]本专利技术总体上涉及用于测试异步有限机器的方法和系统。

技术介绍

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

技术实现思路

[0003]根据一个实施例，测试异步有限状态机(AFSM)的故障的方法包括：禁用脱离AFSM的状态的状态转换；将测试数据输入到AFSM以触发从该状态到预期状态的转换；启用脱离AFSM的状态的转换；以及确定AFSM是否已经执行到预期状态的成功转换。
[0004]根据一个实施例，异步有限状态机包括：状态单元，被配置为在接收转换信号之后存储值；以及ARC单元，被配置为产生转换信号，该异步有限状态机被配置为当异步有限状态机接收禁用信号时禁用转换信号的生成。
[0005]根据一个实施例，测试系统包括：具有初始状态的异步有限状态机(AFSM)，该异步有限状态机被配置为响应于接收触发数据而从初始状态转换到目的状态；测试寄存器，被配置为在测试系统的测试模式期间向AFSM提供触发本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种测试异步有限状态机AFSM的故障的方法，包括：禁用脱离所述AFSM的状态的状态转换；向所述AFSM输入测试数据以触发从所述状态到预期状态的转换；启用脱离所述AFSM的所述状态的转换；以及确定所述AFSM是否已经执行到所述预期状态的成功转换。2.根据权利要求1所述的方法，其中确定所述AFSM是否已经执行到所述预期状态的所述成功转换包括确定所述AFSM是否处于所述预期状态而不处于其他状态。3.根据权利要求2所述的方法，进一步包括确定所述成功转换未被执行，并得出所述AFSM包括卡住故障的结论。4.根据权利要求1所述的方法，其中确定所述AFSM是否已经执行到所述预期状态的所述成功转换包括：禁用所述AFSM的所有状态转换并且读取从所述AFSM扫描出的指示所述AFSM是否处于所述预期状态的状态信号。5.根据权利要求1所述的方法，其中所述测试数据被选择以防止脱离所述预期状态的所有转换。6.根据权利要求1所述的方法，其中禁用状态转换包括使用禁用信号禁用所述AFSM的所有状态转换。7.根据权利要求1所述的方法，其中输入测试数据包括以移位模式串行输入到测试寄存器中。8.根据权利要求7所述的方法，其中禁用脱离所述状态的状态转换同时将所述测试寄存器从所述移位模式转换到捕获模式。9.根据权利要求1所述的方法，其中确定所述AFSM是否已经执行到所述预期状态的所述成功转换包括：在所述AFSM的状态转换被禁用的同时，读取存储在输出寄存器中并且从所述AFSM串行扫描出的状态信号。10.根据权利要求1所述的方法，进一步包括对于从所述AFSM的每个状态的每个可能的转换重复所述方法。11.一种异步有限状态机，包括：状态单元，被配置为在接收转换信号之后存储值；以及ARC单元，被配置为产生所述转换信号，所述异步有限状态机被配置为当禁用信号被所述异...

【专利技术属性】
技术研发人员：E，
申请(专利权)人：意法半导体股份有限公司，
类型：发明
国别省市：