专利详情

专利名称	一种基于静态分析的RTL设计错误检测方法和系统
申请号	CN201010594822.9	专利类型	发明专利
公开（公告）号	CN102054100A	公开（授权）日	2011.05.11
申请（专利权）人	中国科学院计算技术研究所	发明（设计）人	马丽丽;吕涛;李华伟;李晓维;段永颢;张金巍
主分类号	G06F17/50(2006.01)I	IPC主分类号	G06F17/50(2006.01)I
专利有效期	一种基于静态分析的RTL设计错误检测方法和系统至一种基于静态分析的RTL设计错误检测方法和系统	法律状态	实质审查的生效
说明书摘要	本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的类型，分模块遍历整个所述RTL设计源代码，通过词法分析、语法分析和静态语义分析提取待测错误的特征信息，对特征信息进行存储；判断所述待测错误的检测标准与特征信息是否匹配，若是，则结束待测设计的错误检测；否则，发送错误报告。