[发明专利]一种存储器的仿真验证方法和装置在审
申请号: | 202111666794.1 | 申请日: | 2021-12-31 |
公开(公告)号: | CN114356736A | 公开(公告)日: | 2022-04-15 |
发明(设计)人: | 郭燕萍;韩郑生;闫珍珍;许婷;卜建辉;刘海南;王成成;高立博;赵发展;罗家俊 | 申请(专利权)人: | 中国科学院微电子研究所 |
主分类号: | G06F11/34 | 分类号: | G06F11/34 |
代理公司: | 北京华沛德权律师事务所 11302 | 代理人: | 曹洪进 |
地址: | 100029 *** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 一种 存储器 仿真 验证 方法 装置 | ||
1.一种存储器的仿真验证方法,其特征在于,包括:
获取存储器关键路径的仿真存储点,其中,所述关键路径为所述存储器与存取端口之间的最远路径;
验证所述存储器的读写功能是否正确;
若是,则提取所述仿真存储点的时序参数进行仿真验证,其中,所述时序参数由所述仿真存储点验证读写功能的过程中生成。
2.根据权利要求1所述的存储器的仿真验证方法,其特征在于,所述获取存储器关键路径的仿真存储点,包括:
获取所述存储器的容量信息;
根据所述容量信息,获得地址信息;
根据所述地址信息,获得所述仿真存储点。
3.根据权利要求2所述的存储器的仿真验证方法,其特征在于,所述根据所述容量信息,获得地址信息,包括:
获取所述容量信息的字和数据复用值;
判断所述字是否为2的整次幂;
若是,则根据第一地址值和所述数据复用值,获得所述地址信息,其中,所述第一地址值为所述字的幂值;
若否,则根据第二地址值和所述数据复用值,获得所述地址信息,其中,所述第二地址值为所述字的幂值加1。
4.根据权利要求1所述的存储器的仿真验证方法,其特征在于,所述验证所述存储器的读写功能是否正确,包括:
初始化所述仿真存储点和所述存取端口,获得初始化结果;
根据初始化结果,验证所述仿真存储点的读写功能。
5.根据权利要求4所述的存储器的仿真验证方法,其特征在于,所述初始化所述仿真存储点和所述存取端口,包括:
获取验证向量,其中,所述验证向量包括0和1;
若所述验证向量为0,初始化所述存取端口输出为1,初始化所述仿真存储点的初始值为1;
若所述验证向量为1,初始化所述仿真存储点的初始值为0,初始化所述存取端口输出为0。
6.根据权利要求5所述的存储器的仿真验证方法,其特征在于,所述储存器为单端口储存器,所述初始化所述存取端口输出为1,初始化所述仿真存储点的初始值为1,包括:
经非关键路径写入1至所述存储器,使所述存取端口输出为1,相当于写操作时初始化存取端口输出为1,其中,所述非关键路径为所述关键路径以外的路径;
通过仿真命令初始化仿真存储点为1,后经所述关键路径写入0至所述仿真存储点,存取端口输出为0;
经所述非关键路径读取对应的存储点,所述存取端口读出为1,相当于读操作时初始化存取端口为1;
所述关键路径读取所述仿真存储点;
所述初始化所述仿真存储点的初始值为0,初始化所述存取端口输出为0,包括:
经所述非关键路径写入0,使所述存取端口输出为0,相当于写操作时初始化存取端口输出为0;
通过仿真命令初始化仿真存储点为0,经所述关键路径写入1至所述仿真存储点,存取端口输出为1;
经所述非关键路径读取对应的存储点,所述存取端口读出为0,相当于读操作时初始化存取端口为0;
经所述关键路径读取所述仿真存储点。
7.根据权利要求4所述的存储器的仿真验证方法,其特征在于,所述根据初始化结果,验证所述仿真存储点的读写功能,包括:
获取所述仿真存储点的第一初始化结果和所述存取端口的第二初始化结果;
写入验证值至所述仿真存储点;
若所述仿真存储点的值与所述第一初始化结果相同,确定所述写功能不正确;
若所述仿真存储点与所述第一初始化结果不同,确定所述写功能正确;
经所述关键路径读取所述存取端口的输出结果;
若所述输出结果与所述第二初始化结果相同,确定所述读功能不正确;
若所述输出结果与所述第二初始化结果不同,确定所述读功能正确。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学院微电子研究所,未经中国科学院微电子研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202111666794.1/1.html,转载请声明来源钻瓜专利网。