公开(公告)号：CN118228648B

公开(公告)日：2024-11-15

申请号：CN202410351293.1

申请日：2024-03-26

Applicant: 南京邮电大学

Inventor： 周徐正 ,  姜天乐 ,  袁昱涛 ,  郭静静 ,  蔡志匡

IPC: G06F30/33 ,  G06F9/448

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

公开(公告)号：CN118228648A

公开(公告)日：2024-06-21

申请号：CN202410351293.1

申请日：2024-03-26

Applicant: 南京邮电大学

Inventor： 周徐正 ,  姜天乐 ,  袁昱涛 ,  郭静静 ,  蔡志匡

IPC: G06F30/33 ,  G06F9/448

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