公开(公告)号：CN102054100A

公开(公告)日：2011-05-11

申请号：CN201010594822.9

申请日：2010-12-17

Applicant: 中国科学院计算技术研究所

Inventor： 马丽丽 ,  吕涛 ,  李华伟 ,  李晓维 ,  段永颢 ,  张金巍

IPC: G06F17/50

Abstract: 本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的类型，分模块遍历整个所述RTL设计源代码，通过词法分析、语法分析和静态语义分析提取待测错误的特征信息，对特征信息进行存储；判断所述待测错误的检测标准与特征信息是否匹配，若是，则结束待测设计的错误检测；否则，发送错误报告。

公开(公告)号：CN102054100B

公开(公告)日：2012-09-19

申请号：CN201010594822.9

申请日：2010-12-17

Applicant: 中国科学院计算技术研究所

Inventor： 马丽丽 ,  吕涛 ,  李华伟 ,  李晓维 ,  段永颢 ,  张金巍

IPC: G06F17/50

Abstract: 本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的类型，分模块遍历整个所述RTL设计源代码，通过词法分析、语法分析和静态语义分析提取待测错误的特征信息，对特征信息进行存储；判断所述待测错误的检测标准与特征信息是否匹配，若是，则结束待测设计的错误检测；否则，发送错误报告。