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

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

【技术实现步骤摘要】
非易失性存储器验证方法
本专利技术涉及半导体集成电路验证技术，特别涉及一种非易失性存储器验证方法。
技术介绍
半导体集成电路验证技术是集成电路设计的一部分，集成电路验证设计分为前仿真和后仿真。前仿真面向寄存器传输级仿真，用硬件描述语言进行寄存器传输级的设计仿真，验证设计功能的正确性；后仿真把实际电路的延时信息反标到综合后的设计中，作为一个实际电路仿真模型。搭建仿真验证环境复杂繁琐，根据实际设计要求，不同设计的配置所验证的设计不同，选择的测试文件也不同。
技术实现思路
本专利技术要解决的技术问题是提供一种非易失性存储器验证方法，便于搭建仿真验证环境，降低多种产品验证配置难度，且结构清晰，便以理解，仿真效率高。为解决上述技术问题，本专利技术提供的非易失性存储器验证方法，其预存源向量文件及多个测试向量文件；所述源向量文件是把多个测试向量的文件名按照一定顺序集合在一起，每个行号对应一个测试向量的文件名；验证平台顶层调用指令以测试向量文件名的行号n为调用对象时，生成一个形参量传递给参量生成器；所述形参量包括x1变量，所生成的形参量的x1变量的值为源向量文件中的行号n所对应的测试向量文件名；所述参量生成器，根据形参量生成宏参量并发送到验证平台；宏参量包括x1变量、x2变量，x2变量为测试向量文件的路径；宏参量中的x1变量被赋值为所述形参量中的x1变量的值，即源向量文件中的行号n所对应的测试向量文件名，并将x2变量赋值为x1变量的值对应的测试向量文件路径；所述验证平台，根据所述宏参量的x2变量的值，即测试向量文件路径，寻找具体仿真用的测试向量文件。较佳的，所述验证平台运行所述测试向量文件，测试向量文件调用一系列测试指令；其驱动器将所述测试指令按驱动协议发送到非易失性待验证存储器设计；非易失性待验证存储器设计执行所述测试指令，并返回执行结果到其监视器；其监视器，检测发送到非易失性待验证存储器设计的测试指令及执行结果。较佳的，所述监视器，打印或显示发送到非易失性待验证存储器设计的测试指令所做的做场景描述及非易失性待验证存储器设计执行测试指令的执行结果。较佳的，所述形参量还包括x3变量，x3变量为所需验证配置信息；宏参量还包括x3变量；所述参量生成器，根据形参量生成宏参量并发送到验证平台；宏参量包括x1变量、x2变量，x2变量为测试向量文件路径变量；宏参量中的x3变量被赋值为所述形参量中的x3变量的值；所述验证平台，寻找到具体仿真用的测试向量文件并运行后，形成一系列测试指令，并根据宏参量中的x3变量自动选择具有相应验证配置条件的非易失性待验证存储器设计；所述驱动器将所述测试指令按驱动协议发送到上述具有相应验证配置条件的非易失性待验证存储器设计，对具有相应验证配置条件的非易失性待验证存储器设计进行验证。较佳的，所需验证配置信息包括容量或规格。较佳的，所需验证配置信息按设计人员所需自行设置。附图说明为了更清楚地说明本专利技术的技术方案，下面对本专利技术所需要使用的附图作简单的介绍，显而易见地，下面描述中的附图仅仅是本专利技术的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。图1是本专利技术的非易失性存储器验证方法一实施例的验证平台示意图。具体实施方式下面将结合附图，对本专利技术中的技术方案进行清楚、完整的描述，显然，所描述的实施例是本专利技术的一部分实施例，而不是全部的实施例。基于本专利技术中的实施例，本领域普通技术人员在没有做出创造性劳动的前提下所获得的所有其它实施例，都属于本专利技术保护的范围。实施例一非易失性存储器验证方法，预存源向量文件及多个测试向量文件；所述源向量文件是把多个测试向量的文件名按照一定顺序集合在一起，每个行号对应一个测试向量的文件名；验证平台顶层调用指令以测试向量文件名的行号n为调用对象时，生成一个形参量传递给参量生成器；所述形参量包括x1变量，所生成的形参量的x1变量的值为源向量文件中的行号n所对应的测试向量文件名；所述参量生成器，根据形参量生成宏参量并发送到验证平台；宏参量包括x1变量、x2变量，x2变量为测试向量文件的路径；宏参量中的x1变量被赋值为所述形参量中的x1变量的值，即源向量文件中的行号n所对应的测试向量文件名，并将x2变量赋值为x1变量的值对应的测试向量文件路径；所述验证平台，根据所述宏参量的x2变量的值，即测试向量文件路径，寻找具体仿真用的测试向量文件。较佳的，如图1所示，所述验证平台运行所述测试向量文件，测试向量文件调用一系列测试指令；其驱动器将所述测试指令按驱动协议发送到非易失性待验证存储器设计；非易失性待验证存储器设计执行所述测试指令，并返回执行结果到其监视器；所述监视器，检测发送到非易失性待验证存储器设计的测试指令及执行结果。较佳的，所述监视器，打印或显示发送到非易失性待验证存储器设计的测试指令所做的做场景描述及非易失性待验证存储器设计执行测试指令的执行结果。实施例一的非易失性存储器验证方法，便于搭建仿真验证环境，降低多种产品验证配置难度，且结构清晰，便以理解，仿真效率高。实施例二基于实施例一的非易失性存储器验证方法，所述形参量还包括x3变量，x3变量为所需验证配置信息；宏参量还包括x3变量；所述参量生成器，根据形参量生成宏参量并发送到验证平台；宏参量包括x1变量、x2变量，x2变量为测试向量文件路径变量；宏参量中的x3变量被赋值为所述形参量中的x3变量的值；所述验证平台，寻找到具体仿真用的测试向量文件并运行后，形成一系列测试指令；并根据宏参量中的x3变量自动选择具有相应验证配置条件的非易失性待验证存储器设计；所述驱动器将所述测试指令按驱动协议发送到上述具有相应验证配置条件的非易失性待验证存储器设计，对具有相应验证配置条件的非易失性待验证存储器设计进行验证。较佳的，所需验证配置信息包括容量或规格。较佳的，所需验证配置信息按设计人员所需自行设置。实施例二的非易失性存储器验证方法，所述参量生成器传递所需验证配置信息，根据形参量生成宏参量并发送到验证平台，验证平台自动选择同所需验证配置信息匹配的配置条件下的非易失性待验证存储器设计，可以按照程序设计者的要求对多种不同配置的非易失性待验证存储器设计进行验证，能对非易失性存储器进行前仿真和后仿真。以上所述仅为本专利技术的较佳实施例而已，并不用以限制本专利技术，凡在本专利技术的精神和原则之内，所做的任何修改、等同替换、改进等，均应包含在本专利技术保护的范围之内。本文档来自技高网...

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

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


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

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