本发明专利技术公开了一种状态机电路检测装置及方法。所述状态机电路检测装置包括：状态预测器、状态跳转捕捉器以及状态比较器；所述状态预测器用于：响应于输入的状态跳转条件信息，预测出待检测的状态机电路的多个预测状态；所述状态跳转捕捉器用于：监视所述状态机电路的实时状态，并捕捉到所述状态机电路的状态发生跳转时的实时状态，向所述状态比较器发送第一信息；所述状态比较器用于：在接收到所述第一信息后，比较所述多个预测状态中的一个特定预测状态是否与所述实时状态一致。本发明专利技术提供的状态机电路检测装置及方法能够降低状态机电路检测的时间成本。路检测的时间成本。路检测的时间成本。
【技术实现步骤摘要】
一种状态机电路检测装置及方法
[0001]本专利技术涉及计算机
，尤其涉及一种状态机电路检测装置及方法。
技术介绍
[0002]在SOC设计中，状态机作为重要的时序逻辑电路，是许多数字系统的核心部件，随着数字电路设计越来越复杂，其中的状态机电路的逻辑复杂度也急剧提升。检查状态机电路状态跳转的正确性成为片上系统各个层级功能验证中的难点。
[0003]目前常规的验证方法是在验证平台上建立状态机的参照模型，用时钟随动或者事件触发模式进行平行预测和检查。
[0004]专利技术人发现现有技术至少存在如下问题：1、对于状态数量庞大、行为复杂的状态机电路来说，参照模型的建立需要花费大量的时间和人力；2、使用实时方式进行监测检查，需要在每个时钟周期对所有输入条件和状态跳转进行检查，这种持续轮询方式会使测试的时间成本大大增加。
技术实现思路
[0005]本专利技术提供了一种状态机电路检测装置及方法，其能够降低状态机电路检测的时间成本。
[0006]根据本专利技术的一方面，提供了一种状态机电路检测装置，包括：状态预测器、状态跳转捕捉器以及状态比较器；所述状态预测器用于：响应于输入的状态跳转条件信息，预测出待检测的状态机电路的多个预测状态；所述状态跳转捕捉器用于：监视所述状态机电路的实时状态，并捕捉到所述状态机电路的状态发生跳转时的实时状态，向所述状态比较器发送第一信息；所述状态比较器用于：在接收到所述第一信息后，比较所述多个预测状态中的一个特定预测状态是否与所述实时状态一致。
[0007]根据本专利技术的另一方面，提供了一种状态机电路检测方法，包括：响应于状态跳转条件信息，预测待检测的状态机电路的多个预测状态；监视所述状态机电路的实时状态，并捕捉到状态机电路的状态发生跳转时的实时状态，比较所述多个预测状态中的一个特定预测状态是否与所述实时状态一致。
[0008]另外，所述状态预测器包括状态预测模块、状态刷新模块以及存储模块；所述状态预测模块用于：根据所述状态跳转条件信息预测所述状态机电路的所述多个预测状态；所述状态刷新模块用于：根据所述状态机电路的特征参数，刷新所述多个预测状态的排列顺序，生成状态预测队列；所述存储模块用于：存储所述状态预测队列；所述状态比较器具体用于：在接收到所述第一信息后，取出所述状态预测队列中的第一个状态作为所述特定预测状态，比较所述特定预测状态是否与所述实时状态一致。
[0009]另外，所述状态跳转条件信息根据获取的状态信息输入条件得到，所述状态预测器还包括条件监测模块；所述条件监测模块用于：监测所述状态信息输入条件是否更新，并在监测到所述状态信息输入条件更新时，向所述状态预测模块发送第二信息，其中，所述状
态信息输入条件更新后，所述状态跳转条件信息更新；所述状态预测模块还用于：根据更新后的状态跳转条件信息，生成新的预测状态；所述状态刷新模块还用于：将所述存储模块中的状态清空，根据所述特征参数，刷新所述新的预测状态的排列顺序，生成新的状态预测队列；所述存储模块还用于：存储所述新的状态预测队列。通过上述方式生成新的状态预测队列，能够确保存储模块内的状态预测队列的准确性，从而确保了状态机电路检测装置检测的准确性。
[0010]另外，所述状态机电路检测装置还包括状态检查模块；所述状态检查模块用于：在所述状态机电路停止运转时，检查所述状态预测队列中是否存在多余的预测状态，并在所述状态预测队列中存在多余的预测状态时，发送报警信息。
[0011]另外，所述状态机电路检测装置还包括状态跳转条件生成器；所述状态跳转条件生成器用于：对输入的状态信息输入条件进行信息提取，生成所述状态跳转条件信息，并将所述状态跳转条件信息发送至所述状态预测器。
[0012]另外，所述状态机电路检测装置包括结构化存储模块；所述结构化存储模块用于：存储所述状态跳转条件信息；所述将所述状态跳转条件信息发送至所述状态预测器，具体为：将所述结构化存储模块的指针发送至所述状态预测器。通过此种方式，避免了现有技术中“新的状态机需要建立新的参照模型”，从而使本实施例的状态机电路检测装置具有极好的适配性和拓展性，减少了设备维护的成本。
[0013]另外，所述状态信息输入条件包括：静态信息输入条件和动态信息输入条件；所述状态跳转条件信息包括：静态跳转条件信息和动态跳转条件信息；所述状态跳转条件生成器包括：静态信息管理模块和动态信息管理模块；所述静态信息管理模块用于：根据所述静态信息输入条件生成所述静态跳转条件信息；所述动态信息管理模块用于：根据所述动态信息输入条件生成所述动态跳转条件信息。通过此种方式，使得状态机电路检测装置支持状态机电路静态变化以及运行过程中动态变化的检测，极大提高了状态机电路检测装置的通用性，并且对不同的状态机电路设计具有良好的兼容性。
[0014]本专利技术实施例的技术方案与相关技术相比，至少具有以下优点：
[0015]通过设置状态跳转捕捉器，能够监视状态机电路的实时状态，并捕捉到状态机电路的状态发生跳转时的实时状态，从而使状态比较器能够比较多个预测状态中的一个特定预测状态是否与实时状态一致，也就是说，将状态机电路跳转时刻作为比较器开始比较的切入点，减少了状态机电路遗漏状态的风险，一方面无需建立状态机的参照模型，降低了人力和时间成本；另一方面，避免了“使用实时方式进行监测检查，需要在每个时钟周期对所有输入条件和状态跳转进行检查”的情况的发生，从而降低了一直在轮询状态机电路状态的时间成本，极大提高了状态机电路检测装置的运行效率。
[0016]应当理解，本部分所描述的内容并非旨在标识本专利技术的实施例的关键或重要特征，也不用于限制本专利技术的范围。本专利技术的其它特征将通过以下的说明书而变得容易理解。
附图说明
[0017]为了更清楚地说明本专利技术实施例中的技术方案，下面将对实施例描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本专利技术的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他
的附图。
[0018]图1是根据本专利技术实施例一提供的一种状态机电路检测装置的结构示意图；
[0019]图2是根据本专利技术实施例二提供的一种状态机电路检测装置的结构示意图；
[0020]图3是根据本专利技术实施例三提供的一种状态机电路检测装置的结构示意图；
[0021]图4是根据本专利技术实施例四提供的一种状态机电路检测装置的结构示意图；
[0022]图5是根据本专利技术实施例五提供的一种状态机电路检测方法的流程图；
[0023]图6是根据本专利技术实施例六提供的一种状态机电路检测方法的流程图；
[0024]图7是根据本专利技术实施例七提供的一种状态机电路检测方法的流程图。
具体实施方式
[0025]为了使本
的人员更好地理解本专利技术方案，下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本专利技术一部分的实施例，而本文档来自技高网...
【技术保护点】
【技术特征摘要】
1.一种状态机电路检测装置，其特征在于，包括：状态预测器、状态跳转捕捉器以及状态比较器；所述状态预测器用于：响应于输入的状态跳转条件信息，预测出待检测的状态机电路的多个预测状态；所述状态跳转捕捉器用于：监视所述状态机电路的实时状态，并捕捉到所述状态机电路的状态发生跳转时的实时状态，向所述状态比较器发送第一信息；所述状态比较器用于：在接收到所述第一信息后，比较所述多个预测状态中的一个特定预测状态是否与所述实时状态一致。2.根据权利要求1所述状态机电路检测装置，其特征在于，所述状态预测器包括状态预测模块、状态刷新模块以及存储模块；所述状态预测模块用于：根据所述状态跳转条件信息预测所述状态机电路的所述多个预测状态；所述状态刷新模块用于：根据所述状态机电路的特征参数，刷新所述多个预测状态的排列顺序，生成状态预测队列；所述存储模块用于：存储所述状态预测队列；所述状态比较器具体用于：在接收到所述第一信息后，取出所述状态预测队列中的第一个状态作为所述特定预测状态，比较所述特定预测状态是否与所述实时状态一致。3.根据权利要求2所述状态机电路检测装置，其特征在于，所述状态跳转条件信息根据获取的状态信息输入条件得到，所述状态预测器还包括条件监测模块；所述条件监测模块用于：监测所述状态信息输入条件是否更新，并在监测到所述状态信息输入条件更新时，向所述状态预测模块发送第二信息，其中，所述状态信息输入条件更新后，所述状态跳转条件信息更新；所述状态预测模块还用于：根据更新后的状态跳转条件信息，生成新的预测状态；所述状态刷新模块还用于：将所述存储模块中的状态清空，根据所述特征参数，刷新所述新的预测状态的排列顺序，生成新的状态预测队列；所述存储模块还用于：存储所述新的状态预测队列。4.根据权利要求2所述状态机电路检测装置，其特征在于，所述状态机电路检测装置还包括状态检查模块；所述状态检查模块用于：在所述状态机电路停止运转时，检查所述状态预测队列中是否存在多余的预测状态，并在所述状态预测队列中存在多余的预测状态时，发送报警信息。5.根据权利要求1所述状态机电路检测装置，其特...
【专利技术属性】
技术研发人员：宫海静，王立婷，张译匀，
申请(专利权)人：北京燧原智能科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。