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