一种基于静态分析的RTL设计错误检测方法和系统

（12）发明专利申请

（21）申请号 CN201010594822.9 （22）申请日 2010.12.17

（71）申请人 中国科学院计算技术研究所

地址 100080 北京市海淀区中关村科学院南路6号

（10）申请公布号 CN102054100A

（43）申请公布日 2011.05.11

（72）发明人 马丽丽;吕涛;李华伟;李晓维;段永颢;张金巍 （74）专利代理机构 北京律诚同业知识产权代理有限公司

代理人 国

（51）Int.CI

G06F17/50;

权利要求说明书 说明书 幅图

（54）发明名称

一种基于静态分析的RTL设计错误检测方法和系统

（57）摘要

本发明公开了一种基于静态分析的RTL设

计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的类型，分模块遍历整个所述RTL设计源代码，通过词法分析、语法分析和静态语义分析提取待测错误的特征信息，对特征信息进

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

法律状态

法律状态公告日

2011-05-11 2011-06-29 2012-09-19

法律状态信息

公开

实质审查的生效 授权

法律状态

公开

实质审查的生效 授权

权利要求说明书

一种基于静态分析的RTL设计错误检测方法和系统的权利要求说明书内容是....请下载后查看

说明书

一种基于静态分析的RTL设计错误检测方法和系统的说明书内容是....请下载后查看