基于桶排序的FSM状态转移覆盖率计算方法及系统技术方案

本发明专利技术公开了一种基于桶排序的FSM状态转移覆盖率计算方法及系统，首先根据FSM模型，创建用于存储FSM状态转移信息的数组，以确保状态转移信息的唯一性；再通过解析VCD文件，追踪状态变量的变化，判断是否发生状态转移，当发生状态转移时，利用该状态转移信息将对应的数组元素值从0置为1，将所有提取到的状态转移信息存储到同一个数组中；遍历数组的所有元素并累加数组元素的值，得到产生的状态转移总数或多文件合并状态转移总数，将其除以状态转移总数，计算得到FSM状态转移覆盖率或多文件合并覆盖率。本发明专利技术方法实现超大规模FSM状态转移覆盖率高效统计，能有效提高验证效率。

【技术实现步骤摘要】

本专利技术属于集成电路eda(electronics design automation，电子设计自动化)的，尤其涉及eda验证的，主要涉及了一种基于桶排序的fsm状态转移覆盖率计算方法及系统。

技术介绍

1、有限状态机(fsm)覆盖率统计是数字电路验证中的重要技术，用于评估测试套件对设计的有限状态机的覆盖程度。有限状态机是一种抽象的数学模型，用于描述系统在不同状态下的行为以及状态之间的转移关系。在数字电路设计中，有限状态机通常用于控制和协调系统的各个部分，因此对其进行全面的测试和覆盖非常重要。

2、目前，通常使用verilog或vhdl等硬件描述语言编写数字电路设计，并使用仿真工具进行功能验证，如modelsim、vcs等。这些仿真工具可以生成波形文件，通常以vcd格式记录仿真过程中信号的变化，包括有限状态机的状态转移。为了评估测试套件对有限状态机的覆盖情况，通常需要使用专门的覆盖率分析工具。这些工具可以解析vcd文件中的波形数据，识别有限状态机的状态转移，并计算测试套件对状态转移的覆盖情况。为了提高有限状态机的覆盖率，可以使用自动测试生成工本文档来自技高网...

【技术保护点】

1.基于桶排序的FSM状态转移覆盖率计算方法，其特征在于，包括如下步骤：

2.如权利要求1所述的基于桶排序的FSM状态转移覆盖率计算方法，其特征在于：所述步骤S1中数组存储的FSM状态转移信息具体为：根据FSM模型，将可能存在的所有状态列举，并编号为0、1、2、3...N-1，将状态转移前后状态的编号组合表示为唯一的整数；若状态总数的位数数值大于状态位数，则在编号组合前做左补零。

3.如权利要求2所述的基于桶排序的FSM状态转移覆盖率计算方法，其特征在于：所述步骤S1中数组的总长度为N＊10m，其中m为状态位数，N为状态总数。

4.如权利要求2所述的基...

【技术特征摘要】

1.基于桶排序的fsm状态转移覆盖率计算方法，其特征在于，包括如下步骤：

2.如权利要求1所述的基于桶排序的fsm状态转移覆盖率计算方法，其特征在于：所述步骤s1中数组存储的fsm状态转移信息具体为：根据fsm模型，将可能存在的所有状态列举，并编号为0、1、2、3...n-1，将状态转移前后状态的编号组合表示为唯一的整数；若状态总数的位数数值大于状态位数，则在编号组合前做左补零。

3.如权利要求2所述的基于桶排序的fsm状态转移覆盖率计算方法，其特征在于：所述步骤s1中数组的总长度为n＊10m，其中m为状态位数，n为状态总数。

4.如权利要求2所述的基于桶排序的fsm状态转移覆盖率计算方法，其特征在于：所述步骤s2判断状态转移的方法具体为：从零时刻变量初次赋值开始，记录每个时间戳下状态变量的值，通过与前一次的值进行比较，若发生变化，则记录一次状态转...

【专利技术属性】
技术研发人员：周徐正，姜天乐，袁昱涛，郭静静，蔡志匡，
申请(专利权)人：南京邮电大学，
类型：发明
国别省市：