一种面向串行设计的可扩展形式验证方法及测试方法技术

本发明专利技术公开了一种面向串行设计的可扩展形式验证方法及测试方法，通过选取一个多输入通道、多输出通道的串行设计的任一路径进行建模，预先确定一个标记数据包或单个数据，在其进入和离开DUT时对其观察，在数据输入的过程中，采用事务计数器获取被标记的数据值之前有多少个数据输入，根据事务计数器获取的被标记数据值之前输入的数据数量，预测被标记的数据值出现在输出端口的时刻，并在这个时刻进行数据检查，重复进行上述步骤，获取所有被标记数据值和所有被标记数据值进入和离开DUT时的数据检查结果，并将所有被标记数据值从DUT内部插入，可以遍历所有可能的状态，并且完成了在整个数据传输路径中检查出了所有数据包的丢失、重新排序和重复等问题。重新排序和重复等问题。重新排序和重复等问题。

【技术实现步骤摘要】
一种面向串行设计的可扩展形式验证方法及测试方法


[0001]本专利技术涉及芯片验证测试领域，具体为一种面向串行设计的可扩展形式验证方法及测试方法。

技术介绍

[0002]串行多数据包设计在片上系统(SoC)中随处可见，比如总线、总线桥、片上互联网络、SoC外设、CPU中的加载存储单元和内存子系统。芯片设计完成后需要进行完备的验证，验证的目的是保证设计功能的正确性，以及是否符合要求的设计规范。
[0003]串行多数据包设计的基本特征是可以写入一个或多个数据包，但每次写入的数据包中数据的量并不固定，这大大增加了需要验证的场景的组合，给串行设计的验证带来了很大挑战。
[0004]目前在实际的项目开发中，最常用的验证方式是动态仿真(Dynamicsimulation)。基于约束随机进行动态仿真的传统验证方式需要预先模拟出芯片的工作场景，手动制造出一定的激励。而验证人员通常很难设想到所有极限的工作场景，因此动态仿真通常存在不能产生足够全面的输入激励来覆盖所有边界情况的缺点。即便是较小的设计模块，动态仿真也无法完全穷举设计的状态组合空间。<本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种面向串行设计的可扩展形式验证方法，其特征在于，包括以下步骤：S1：选取一个多输入通道、多输出通道的串行设计的任一路径进行建模，预先确定一个标记数据包或单个数据，在其进入和离开DUT时对其观察，在数据输入的过程中，采用事务计数器获取被标记的数据值之前的数据输入数量再采用事物计数器预测被标记的数据值出现在输出端口的时刻，并在这个时刻进行数据检查；S2：重复进行S1，获取所有被标记数据值和所有被标记数据值进入和离开DUT时的数据检查结果，并将所有被标记数据值从DUT内部插入，实现对整个设计空间的全面覆盖。2.根据权利要求1所述的一种面向串行设计的可扩展形式验证方法，其特征在于，预先确定标记数据包或单个数据由SystemVerilog中的logic数据类型定义。3.根据权利要求1所述的一种面向串行设计的可扩展形式验证方法，其特征在于，若预先确定一个单个数据，则为单数据传输的串行设计，定义一个有最大位宽的标记数据。4.根据权利要求3所述的一种面向串行设计的可扩展形式验证方法，其特征在于，在传输开始时使用事务计数器进行计数，在每次写入数据时，如果在输入端没有观测到预先所标记的数据值，就使事务计数器递增1，直到所标记的数据出现在输入端口上；在输出端，或dut中间需要读取数据的任何位置，每读取一次数据就使事务计数器递减1，直到事务计数器数值减少至1时，标记数据将会在当前时钟周期出现在当前所观测的输出位置。5.根据权利要求1所述的一种面向串行设计的可扩展形式验证方法，其特征在于，若预先确定一个多数据包，则为多数据传输的串行设计，标记数据包大小可变，则定义一个有最大数据位宽、元素个数由最大包数所限定的标记数组。6.根据权利要求5所述的一种面向串行设计的可扩展形式验证方法，其特征在于，对于多数据包传输的串行设计，定义四个采样寄存器，两个用于监测被标记的数据包何时进入输入端口，另外两个用于监测被标记的数据包何时离开输出端口；在输入端，通过端口上的一...

【专利技术属性】
技术研发人员：张牧翔，柘腾，
申请(专利权)人：西安路科验视集成电路技术咨询有限公司，
类型：发明
国别省市：