[发明专利]一种基于静态分析的RTL设计错误检测方法和系统

权利要求书

1.一种基于静态分析的RTL设计错误检测方法，其特征在于，所述方法，包括下列步骤：

步骤100.接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；

步骤200.针对待检测错误的类型，分模块遍历整个所述RTL设计源代码，通过词法分析、语法分析和静态语义分析提取待测错误的特征信息，对特征信息进行存储；

步骤300.判断所述待测错误的检测标准与特征信息是否匹配，若是，则结束待测设计的错误检测；否则，发送错误报告。

2.根据权利要求1所述的基于静态分析的RTL设计错误检测方法，其特征在于，所述步骤100，包括下列步骤：

步骤110.根据开发方提供的所述设计规范文件确定设计中容易出现的错误类型，并根据待测错误类型的代码特征提取其检测标准，把待测错误类型的检测标准描述为一定格式的配置文件；

步骤120.根据待检测错误的类型，遍历所述配置文件提取并存储待测错误类型的检测标准。

3.根据权利要求1所述的基于静态分析的RTL设计错误检测方法，其特征在于，所述步骤200，包括下列步骤：

步骤210.分析待测错误的错误类型的代码特征，确定需要提取的特征信息；

步骤220.根据所述需要提取的特征信息，遍历RTL设计源代码，对所述RTL设计源代码进行词法分析、语法分析和静态语义分析，以得到设计实现的特征信息，将所述特征信息存储于特定数据结构中。

4.根据权利要求3所述的基于静态分析的RTL设计错误检测方法，其特征在于，所述步骤220，包括下列步骤：

步骤221.将所述RTL设计源代码以字符流的形式读入，通过从左至右逐个扫描，产生包含关键字、标识符、常数、运算符或者界符的单词序列；

步骤222.根据所述单词序列和程序语言的语法规则识别出所述单词序列的语法结构，确定当前语句是否与待检测错误的特征信息相关，从而记录与待检测错误的特征信息相关的结构信息；

步骤223.根据所述结构信息进行静态语义处理，确定设计实现的特征信息。

5.根据权利要求1所述的基于静态分析的RTL设计错误检测方法，其特征在于，所述步骤300，包括下列步骤：

步骤310.遍历所述特征信息，判断特征信息和检测标准是否匹配，若是，则结束待测设计的错误检测；否则，执行步骤320；

步骤320.将不匹配的特征信息存储于特定的数据结构中；

步骤330.判断是否所有特征信息遍历完毕，若是，则将不匹配的特征信息输出到指定文件中生成错误报告；否则，返回步骤310。

6.一种基于静态分析的RTL设计错误检测系统，其特征在于，所述系统，包括：

检测标准构建模块，用于接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；

特征信息提取模块，用于针对待检测错误的类型，分模块遍历整个所述RTL设计源代码，通过词法分析、语法分析和静态语义分析提取待测错误的特征信息，对特征信息进行存储；

错误检测模块，用于判断所述待测错误的检测标准与特征信息是否匹配，若是，则结束待测设计的错误检测；否则，发送错误报告。

7.根据权利要求6所述的基于静态分析的RTL设计错误检测系统，其特征在于，所述检测标准构建模块，包括：

配置文件生成模块，用于根据开发方提供的所述设计规范文件确定设计中容易出现的错误类型，并根据待测错误类型的代码特征提取其检测标准，把待测错误类型的监测标准描述为一定格式的配置文件；

检索模块，用于根据待检测错误的类型，遍历所述配置文件提取并存储待测错误类型的检测标准。

8.根据权利要求6所述的基于静态分析的RTL设计错误检测系统，其特征在于，所述特征信息提取模块，包括：

分析模块，用于分析待测错误的错误类型的代码特征，确定需要提取的特征信息；

特征信息计算模块，用于根据所述需要提取的特征信息，遍历RTL设计源代码，对所述RTL设计源代码进行词法分析、语法分析和静态语义分析，以得到设计实现的特征信息，将所述特征信息存储于特定数据结构中。