【技术实现步骤摘要】
本专利技术涉及外设验证,尤其涉及一种外设的验证方法、外设验证时的参数配置方法、装置及计算机可读存储介质。
技术介绍
1、现有的外部设备验证方案一般都是采用定向测试,在dut(design under test,待测设计)端和model(模型)端需要分别编写激励进行配置,在编写激励时,需要保证dut端和model端的配置项要匹配,不能出现配置项不匹配现象,因为配置项不匹配会导致dut端和model端之间的数据传输失败,进而需要消耗大量精力进行调试。
2、对于usb(universal serial bus,通用串行总线)等需要dut端和model端配合,并且dut端和model端的配置流程基本固定的外设类验证环境,激励中需要分别对dut端和model端进行分开独立配置,需要配置的配置项一般不少,不仅涉及到寄存器配置,还涉及到存储空间的trb(transfer request block,传输请求块)配置,dut端和model端分开独立配置很容易就出现配置不匹配的情况,从而导致激励编写难度和激励配置时的出处概率较大。
r/>技本文档来自技高网...
【技术保护点】
1.一种外设的验证方法,其特征在于,所述方法应用于验证平台,所述验证平台运行有待验证模型,所述待验证模型包括待测设计和所述待测设计对应的对端模型,所述方法包括:
2.如权利要求1所述的外设的验证方法,其特征在于,所述配置参数包括可随机约束的至少一种参数,所述获取所述待测设计与所述对端模型之间相关联的配置参数,包括:
3.如权利要求2所述的外设的验证方法,其特征在于,所述至少一种参数包括以下参数中的一种或多种:
4.如权利要求1所述的外设的验证方法,其特征在于,所述待测设计的配置序列包括第一配置序列和第二配置序列,所述第一配置序列为基
...【技术特征摘要】
1.一种外设的验证方法,其特征在于,所述方法应用于验证平台,所述验证平台运行有待验证模型,所述待验证模型包括待测设计和所述待测设计对应的对端模型,所述方法包括:
2.如权利要求1所述的外设的验证方法,其特征在于,所述配置参数包括可随机约束的至少一种参数,所述获取所述待测设计与所述对端模型之间相关联的配置参数,包括:
3.如权利要求2所述的外设的验证方法,其特征在于,所述至少一种参数包括以下参数中的一种或多种:
4.如权利要求1所述的外设的验证方法,其特征在于,所述待测设计的配置序列包括第一配置序列和第二配置序列,所述第一配置序列为基于第一编程语言描述的配置序列,所述第二配置序列为基于第二编程语言描述的配置序列,所述第一编程语言为所述待测设计的模块级验证环境所使用的编程语言,所述第二编程语言为所述待测设计的系统级验证环境所使用的编程语言。
5.如权利要求1所述的外设的验证方法,其特征在于,所述验证平台还包括第一内存和第二内存,所述第一内存用于存储所述待测设计接收到的所述对端模型传输过来的数据和所述待测设计需要向所述对端模型传输的数据,所述第二内存用于存储所述对端模型需要向所述待测设计传输的数据和所述对端模型接收到的所述待测设计传输过来的数据,所述方法还包括:
6.如权利要求5所述的外设的验证方法,其特征在于,所述待测设计的传输请求块包括第一传输请求块和第二传输请求块,所述第一传输请求块为基于第一编程语言描述的传输请求块,所述第二传输请求块为基于第二编程语言描述的传输请求块,所述第一编程语言为所述待测设计的模块级验证环境所使用的编程语言,所述第二编程语言为所述待测设计的系统级验证环境所使用的编程语言。
7.如权利要求5所述的外设的验证方法,其特征在于,所述方法还包括:
8.如权利要求4或6所述的外设的验证方法,其特征在于,所述第一编程语言为sv语言,所述第二编程语言为c语言。
9.一种外设验证时的参数配置方法,其特征在于,所述方法应用于验证平台,所述验证平台运行有待验证模型,所述待验证模型包括激励生成器、待测设计和所述...
【专利技术属性】
技术研发人员:戴梅芝,吴沙,张峰境,李留,
申请(专利权)人:飞腾信息技术有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。