【技术实现步骤摘要】
本专利技术涉及芯片验证，特别是涉及一种fsm中状态变量的提取方法、电子设备及存储介质。
技术介绍
1、在芯片设计中，有限状态机(finite-state machine，fsm)的覆盖率是衡量设计验证完备性的一个重要指标。fsm是一种用于描述系统行为的数学模型，这些系统具有有限数量的状态，并且根据外部输入或动作在这些状态之间进行转换。在设计fsm时有两种类型，第一种fsm设计类型为单过程块，是将fsm的所有代码写入一个always过程块中，并且该always过程块的敏感信号列表中含有沿触发，例如上升沿和下降沿，也即当敏感信号处在上升沿或下降沿时执行一次always过程块。第二种fsm设计类型为多过程块fsm，是将fsm的代码写入多个always过程块中，其中一个always过程块为时序逻辑过程块，时序逻辑过程块的敏感信号列表中含有沿触发，其他always过程块为always过程块组合逻辑过程块，组合逻辑过程块不包含沿触发，只包含电平触发。目前从fsm中提取状态变量的方法是根据每个过程块的输入参数和输出参数获取所有过程块的有向图，遍历有向图提取fsm状态变量，遍历有向图的过程复杂，导致耗时长，系统卡顿。因此，亟需一种能够高效提取fsm状态变量的方法。
技术实现思路
1、针对上述技术问题，本专利技术采用的技术方案为：一种fsm中状态变量的提取方法，所述方法包括如下步骤：
2、p320，当遍历的第i个当前always过程块preproi和遍历的第j个下一个always过程块n
3、p321，若preproi和nextproj均为时序逻辑过程块，则遍历设计模块中的第j+1个下一个always过程块nextproj+1。
4、p322，否则，获取preproi的输出变量和nextproj的输入变量之间的共同变量intervarij。
5、p323，若intervarij为空，则遍历第j+1个下一个always过程块nextproj+1；否则，按照preproi和nextproj的过程块类型获取支路类型，将intervarij存入相应支路类型的映射表中。
6、p330，遍历所有支路，当不同支路类型之间有相同的时序逻辑过程块时，获取每个支路类型绑定的共同变量之间的交集，将交集提取为状态变量。
7、此外，本专利技术还提供了一种非瞬时性计算机可读存储介质，所述存储介质中存储有至少一条指令或至少一段程序，所述至少一条指令或所述至少一段程序由处理器加载并执行以实现上述方法。
8、此外，本专利技术还提供了一种电子设备，包括处理器和上述非瞬时性计算机可读存储介质。
9、本专利技术至少具有以下有益效果：
10、本专利技术提供的一种fsm中状态变量的提取方法、电子设备及存储介质，其通过提取包括时序逻辑过程块的第一类分支和第二类分支，以及每个分支共同的候选状态变量；当两类分支存在相同的时序逻辑过程块时，将两类分支中时序逻辑过程块共同的候选状态变量提取为第一类支路中时序逻辑过程块的状态变量。该方法在提取时不需要建立有向图，能够大幅度提高提取状态变量的效率，此外降低了内存开销。
本文档来自技高网...【技术保护点】
1.一种FSM中状态变量的提取方法，其特征在于，所述方法包括如下步骤：
2.根据权利要求1所述的方法，其特征在于，P323还包括：
3.根据权利要求2所述的方法，其特征在于，P323还包括：
4.根据权利要求3所述的方法，其特征在于，P323还包括：
5.根据权利要求1所述的方法，其特征在于，P322还包括获取preproi中变量的变量映射关系表的步骤：
6.根据权利要求5所述的方法，其特征在于，P3231中在将InterVarij绑定preproi存入cptoncp之前，还包括：根据preproi的变量映射关系表对更新InterVarij中的变量进行去重，得到更新后的InterVarij。
7.根据权利要求2所述的方法，其特征在于，P330还包括：
8.根据权利要求7所述的方法，其特征在于，P331中提取第r个第一类支路中时序逻辑过程块的状态变量的步骤还包括：
9.一种非瞬时性计算机可读存储介质，所述存储介质中存储有至少一条指令或至少一段程序，其特征在于，所述至少一条指令或所述至少一
10.一种电子设备，其特征在于，包括处理器和权利要求9中所述的非瞬时性计算机可读存储介质。
...【技术特征摘要】
1.一种fsm中状态变量的提取方法，其特征在于，所述方法包括如下步骤：
2.根据权利要求1所述的方法，其特征在于，p323还包括：
3.根据权利要求2所述的方法，其特征在于，p323还包括：
4.根据权利要求3所述的方法，其特征在于，p323还包括：
5.根据权利要求1所述的方法，其特征在于，p322还包括获取preproi中变量的变量映射关系表的步骤：
6.根据权利要求5所述的方法，其特征在于，p3231中在将intervarij绑定preproi存入cptoncp之前，还包括：根据preproi的变量映射关系表对更...
【专利技术属性】
技术研发人员：汤杰，高波，金俏慧，
申请(专利权)人：上海合见工业软件集团有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。