[发明专利]一种逻辑存储单元自动验证的方法及装置有效
| 申请号： | 201110167383.8 | 申请日： | 2011-06-21 |
| 公开（公告）号： | CN102841950B | 公开（公告）日： | 2017-11-03 |
| 发明（设计）人： | 洪瑞煌;张轩;陈文军 | 申请（专利权）人： | 中兴通讯股份有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 工业和信息化部电子专利中心11010 | 代理人： | 罗丹 |
| 地址： | 518057 广东省深圳市南山*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种逻辑存储单元自动验证的方法及装置，将一个逻辑芯片中所有逻辑存储单元的相关信息填入通用格式的逻辑存储单元模型文档；根据所述逻辑存储单元模型文档生成逻辑存储单元对应的RTL级代码；基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码。由于采用在通用格式的逻辑存储单元模型文档中填入逻辑存储单元的相关信息作为设计规范，无需额外编写逻辑存储单元模型文件，在逻辑存储单元的设计及验证方面，提高自动化程度，减少人为参与的工作量、减少人为因素引起的错误。本发明具有简便、易用、高效、通用性高等特点。 | ||
| 搜索关键词： | 一种 逻辑 存储 单元 自动 验证 方法 装置 | ||
【主权项】：
一种逻辑存储单元自动验证的方法，其特征在于，包括：将一个逻辑芯片中所有逻辑存储单元的相关信息填入通用格式的逻辑存储单元模型文档；根据所述逻辑存储单元模型文档生成逻辑存储单元对应的RTL级代码；基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码；所述基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码，具体包括：从所述逻辑存储单元模型文档中读取所有逻辑存储单元的相关信息，为每个逻辑存储单元建立参考模型；通过将所述参考模型的预期结果与所述RTL级代码仿真的结果进行比较，对逻辑存储单元读写操作进行验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中兴通讯股份有限公司，未经中兴通讯股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110167383.8/，转载请声明来源钻瓜专利网。
