一种状态机电路检测装置及方法制造方法及图纸

本发明专利技术公开了一种状态机电路检测装置及方法。所述状态机电路检测装置包括：状态预测器、状态跳转捕捉器以及状态比较器；所述状态预测器用于：响应于输入的状态跳转条件信息，预测出待检测的状态机电路的多个预测状态；所述状态跳转捕捉器用于：监视所述状态机电路的实时状态，并捕捉到所述状态机电路的状态发生跳转时的实时状态，向所述状态比较器发送第一信息；所述状态比较器用于：在接收到所述第一信息后，比较所述多个预测状态中的一个特定预测状态是否与所述实时状态一致。本发明专利技术提供的状态机电路检测装置及方法能够降低状态机电路检测的时间成本。路检测的时间成本。路检测的时间成本。

【技术实现步骤摘要】
一种状态机电路检测装置及方法


[0001]本专利技术涉及计算机
，尤其涉及一种状态机电路检测装置及方法。

技术介绍

[0002]在SOC设计中，状态机作为重要的时序逻辑电路，是许多数字系统的核心部件，随着数字电路设计越来越复杂，其中的状态机电路的逻辑复杂度也急剧提升。检查状态机电路状态跳转的正确性成为片上系统各个层级功能验证中的难点。
[0003]目前常规的验证方法是在验证平台上建立状态机的参照模型，用时钟随动或者事件触发模式进行平行预测和检查。
[0004]专利技术人发现现有技术至少存在如下问题：1、对于状态数量庞大、行为复杂的状态机电路来说，参照模型的建立需要花费大量的时间和人力；2、使用实时方式进行监测检查，需要在每个时钟周期对所有输入条件和状态跳转进行检查，这种持续轮询方式会使测试的时间成本大大增加。

技术实现思路

[0005]本专利技术提供了一种状态机电路检测装置及方法，其能够降低状态机电路检测的时间成本。
[0006]根据本专利技术的一方面，提供了一种状态机电路检测装置，包括：状态预测器本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种状态机电路检测装置，其特征在于，包括：状态预测器、状态跳转捕捉器以及状态比较器；所述状态预测器用于：响应于输入的状态跳转条件信息，预测出待检测的状态机电路的多个预测状态；所述状态跳转捕捉器用于：监视所述状态机电路的实时状态，并捕捉到所述状态机电路的状态发生跳转时的实时状态，向所述状态比较器发送第一信息；所述状态比较器用于：在接收到所述第一信息后，比较所述多个预测状态中的一个特定预测状态是否与所述实时状态一致。2.根据权利要求1所述状态机电路检测装置，其特征在于，所述状态预测器包括状态预测模块、状态刷新模块以及存储模块；所述状态预测模块用于：根据所述状态跳转条件信息预测所述状态机电路的所述多个预测状态；所述状态刷新模块用于：根据所述状态机电路的特征参数，刷新所述多个预测状态的排列顺序，生成状态预测队列；所述存储模块用于：存储所述状态预测队列；所述状态比较器具体用于：在接收到所述第一信息后，取出所述状态预测队列中的第一个状态作为所述特定预测状态，比较所述特定预测状态是否与所述实时状态一致。3.根据权利要求2所述状态机电路检测装置，其特征在于，所述状态跳转条件信息根据获取的状态信息输入条件得到，所述状态预测器还包括条件监测模块；所述条件监测模块用于：监测所述状态信息输入条件是否更新，并在监测到所述状态信息输入条件更新时，向所述状态预测模块发送第二信息，其中，所述状态信息输入条件更新后，所述状态跳转条件信息更新；所述状态预测模块还用于：根据更新后的状态跳转条件信息，生成新的预测状态；所述状态刷新模块还用于：将所述存储模块中的状态清空，根据所述特征参数，刷新所述新的预测状态的排列顺序，生成新的状态预测队列；所述存储模块还用于：存储所述新的状态预测队列。4.根据权利要求2所述状态机电路检测装置，其特征在于，所述状态机电路检测装置还包括状态检查模块；所述状态检查模块用于：在所述状态机电路停止运转时，检查所述状态预测队列中是否存在多余的预测状态，并在所述状态预测队列中存在多余的预测状态时，发送报警信息。5.根据权利要求1所述状态机电路检测装置，其特...

【专利技术属性】
技术研发人员：宫海静，王立婷，张译匀，
申请(专利权)人：北京燧原智能科技有限公司，
类型：发明
国别省市：