非易失性存储器验证方法技术

本发明专利技术公开了一种非易失性存储器验证方法，预存源向量文件及多个测试向量文件；源向量文件是把多个测试向量的文件名按照一定顺序集合在一起；验证平台顶层调用指令以测试向量文件名的行号n为调用对象时，生成一个形参量传递给参量生成器；所生成的形参量的x1变量的值为源向量文件中的行号n所对应的测试向量文件名；参量生成器根据形参量生成宏参量并发送到验证平台；宏参量中的x1变量被赋值为形参量中的x1变量的值，宏参量的x2变量赋值为x1变量的值对应的测试向量文件路径；验证平台根据宏参量的x2变量的值，寻找具体仿真用的测试向量文件。本发明专利技术便于搭建仿真验证环境，降低多种产品验证配置难度，仿真效率高。

【技术实现步骤摘要】
非易失性存储器验证方法
本专利技术涉及半导体集成电路验证技术，特别涉及一种非易失性存储器验证方法。
技术介绍
半导体集成电路验证技术是集成电路设计的一部分，集成电路验证设计分为前仿真和后仿真。前仿真面向寄存器传输级仿真，用硬件描述语言进行寄存器传输级的设计仿真，验证设计功能的正确性；后仿真把实际电路的延时信息反标到综合后的设计中，作为一个实际电路仿真模型。搭建仿真验证环境复杂繁琐，根据实际设计要求，不同设计的配置所验证的设计不同，选择的测试文件也不同。
技术实现思路
本专利技术要解决的技术问题是提供一种非易失性存储器验证方法，便于搭建仿真验证环境，降低多种产品验证配置难度，且结构清晰，便以理解，仿真效率高。为解决上述技术问题，本专利技术提供的非易失性存储器验证方法，其预存源向量文件及多个测试向量文件；所述源向量文件是把多个测试向量的文件名按照一定顺序集合在一起，每个行号对应一个测试向量的文件名；验证平台顶层调用指令以测试向量文件名的行号n为调用对象时，生成一个形参量传递给参量生成器；所述形参量本文档来自技高网...

【技术保护点】
1.一种非易失性存储器验证方法，其特征在于，预存源向量文件及多个测试向量文件；/n所述源向量文件是把多个测试向量的文件名按照一定顺序集合在一起，每个行号对应一个测试向量的文件名；/n验证平台顶层调用指令以测试向量文件名的行号n为调用对象时，生成一个形参量传递给参量生成器；所述形参量包括x1变量，所生成的形参量的x1变量的值为源向量文件中的行号n所对应的测试向量文件名；/n所述参量生成器，根据形参量生成宏参量并发送到验证平台；/n宏参量包括x1变量、x2变量，x2变量为测试向量文件的路径；/n宏参量中的x1变量被赋值为所述形参量中的x1变量的值，即源向量文件中的行号n所对应的测试向量文件名，并将...

【技术特征摘要】
1.一种非易失性存储器验证方法，其特征在于，预存源向量文件及多个测试向量文件；
所述源向量文件是把多个测试向量的文件名按照一定顺序集合在一起，每个行号对应一个测试向量的文件名；
验证平台顶层调用指令以测试向量文件名的行号n为调用对象时，生成一个形参量传递给参量生成器；所述形参量包括x1变量，所生成的形参量的x1变量的值为源向量文件中的行号n所对应的测试向量文件名；
所述参量生成器，根据形参量生成宏参量并发送到验证平台；
宏参量包括x1变量、x2变量，x2变量为测试向量文件的路径；
宏参量中的x1变量被赋值为所述形参量中的x1变量的值，即源向量文件中的行号n所对应的测试向量文件名，并将x2变量赋值为x1变量的值对应的测试向量文件路径；
所述验证平台，根据所述宏参量的x2变量的值，即测试向量文件路径，寻找具体仿真用的测试向量文件。


2.根据权利要求1所述的非易失性存储器验证方法，其特征在于，
所述验证平台运行所述测试向量文件，测试向量文件调用一系列测试指令；
其驱动器将所述测试指令按驱动协议发送到非易失性待验证存储器设计；
非易失性待验证存储器设计执行所述测试指令，并返回执行结果到其监视器；
监视器检测发送到非易失性待验证存储器设计的测试指令及执行结果。
...

【专利技术属性】
技术研发人员：刘德斌，李姣姣，雷冬梅，
申请(专利权)人：普冉半导体上海有限公司，
类型：发明
国别省市：上海;31