CN114936144A - 芯片验证方法及装置 - Google Patents

芯片验证方法及装置 Download PDF

Info

Publication number
CN114936144A
CN114936144A CN202210344071.8A CN202210344071A CN114936144A CN 114936144 A CN114936144 A CN 114936144A CN 202210344071 A CN202210344071 A CN 202210344071A CN 114936144 A CN114936144 A CN 114936144A
Authority
CN
China
Prior art keywords
file
verification
tested
platform
result
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202210344071.8A
Other languages
English (en)
Inventor
刘才齐
冷祥纶
李益全
李林鹏
胡昂
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shanghai Power Tensors Intelligent Technology Co Ltd
Original Assignee
Shanghai Power Tensors Intelligent Technology Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Shanghai Power Tensors Intelligent Technology Co Ltd filed Critical Shanghai Power Tensors Intelligent Technology Co Ltd
Priority to CN202210344071.8A priority Critical patent/CN114936144A/zh
Publication of CN114936144A publication Critical patent/CN114936144A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3684Test management for test design, e.g. generating new test cases
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3688Test management for test execution, e.g. scheduling of test suites

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本公开涉及芯片验证技术领域,具体提供了一种芯片验证方法及装置。一种芯片验证方法,包括:获取待测用例在第一验证平台的用例数据,以及所述待测用例的配置说明文件;基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台;在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果。本公开实施方式,提高用例移植效率,从而使得芯片验证更加高效流畅,缩短验证周期。

Description

芯片验证方法及装置
技术领域
本公开涉及芯片验证技术领域,具体涉及一种芯片验证方法及装置。
背景技术
芯片验证是芯片开发的重要环节,其贯穿芯片的整个开发周期,随着消费电子领域中芯片技术的迅速迭代,决定了对芯片验证的加速需求越来越强烈。
以ISP(Image Signal Processing,图像信号处理)芯片为例,现如今,ISP芯片不仅具有高分辨率(可达4K甚至8K)和高帧率(可达30FPS)的特性,而且算法集成度和功能日趋复杂,导致一个待测用例的验证流程非常复杂,验证周期长。
发明内容
为提高芯片验证效率,缩短芯片验证周期,本公开实施方式提供了一种芯片验证方法、装置、电子设备以及存储介质。
第一方面,本公开实施方式提供了一种芯片验证方法,包括:
获取待测用例在第一验证平台的用例数据,以及所述待测用例的配置说明文件;
基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台;
在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果。
在一些实施方式中,所述用例数据包括初始化数据文件和芯片指令文件;所述基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台,包括:
基于所述预设工具脚本解析所述配置说明文件,得到所述初始化数据文件的第一解析结果和所述芯片指令文件的第二解析结果;
根据所述第一解析结果将所述初始化数据文件存储于所述第二验证平台的存储组件的第一存储位置,根据所述第二解析结果将所述芯片指令文件存储于所述第二验证平台的存储组件的第二存储位置。
在一些实施方式中,所述用例数据包括寄存器配置文件;所述基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台,包括:
基于所述预设工具脚本解析所述配置说明文件,得到所述寄存器配置文件的第三解析结果;
根据所述第三解析结果对所述寄存器配置文件进行数据格式转换,得到目标寄存器配置文件;所述目标寄存器配置文件包括寄存器地址和寄存器值;
将所述目标寄存器配置文件存储于所述第二验证平台的存储组件的第三存储位置。
在一些实施方式中,所述在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果,包括:
在所述第二验证平台执行所述待测用例,得到实际执行结果;
基于所述预设工具脚本获取所述待测用例包括的预期结果文件,根据所述实际执行结果与所述预期执行结果文件,得到所述待测用例的验证结果。
在一些实施方式中,所述基于所述预设工具脚本获取所述待测用例包括的预期结果文件,包括:
基于所述预设工具脚本解析所述配置说明文件,得到所述预期结果文件的第四解析结果;所述第四解析结果包括所述预期结果文件的存储位置以及数据长度;
根据所述第四解析结果由存储组件中获取得到所述预期结果文件。
在一些实施方式中,所述在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果,包括:
获取所述第二验证平台的平台硬件数据库文件和平台配置文件;
基于所述平台硬件数据库文件和平台配置文件,在所述第二验证平台的待测芯片组件上执行所述待测用例,得到所述验证结果。
在一些实施方式中,所述第一验证平台包括基于软件仿真器的验证平台,所述第二验证平台包括基于硬件仿真器的验证平台。
第二方面,本公开实施方式提供了一种芯片验证装置,包括:
获取模块,被配置为获取待测用例在第一验证平台的用例数据,以及所述待测用例的配置说明文件;
脚本处理模块,被配置为基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台;
验证平台模块,被配置为在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果。
在一些实施方式中,所述用例数据包括初始化数据文件和芯片指令文件;所述脚本处理模块被配置为:
基于所述预设工具脚本解析所述配置说明文件,得到所述初始化数据文件的第一解析结果和所述芯片指令文件的第二解析结果;
根据所述第一解析结果将所述初始化数据文件存储于所述第二验证平台的存储组件的第一存储位置,根据所述第二解析结果将所述芯片指令文件存储于所述第二验证平台的存储组件的第二存储位置。
在一些实施方式中,所述用例数据包括寄存器配置文件;所述脚本处理模块被配置为:
基于所述预设工具脚本解析所述配置说明文件,得到所述寄存器配置文件的第三解析结果;
根据所述第三解析结果对所述寄存器配置文件进行数据格式转换,得到目标寄存器配置文件;所述目标寄存器配置文件包括寄存器地址和寄存器值;
将所述目标寄存器配置文件存储于所述第二验证平台的存储组件的第三存储位置。
在一些实施方式中,所述验证平台模块,被配置为:
在所述第二验证平台执行所述待测用例,得到实际执行结果;
基于所述预设工具脚本获取所述待测用例包括的预期结果文件,根据所述实际执行结果与所述预期执行结果文件,得到所述待测用例的验证结果。
在一些实施方式中,所述验证平台模块,被配置为:
基于所述预设工具脚本解析所述配置说明文件,得到所述预期结果文件的第四解析结果;所述第四解析结果包括所述预期结果文件的存储位置以及数据长度;
根据所述第四解析结果由存储组件中获取得到所述预期结果文件。
在一些实施方式中,所述验证平台模块,被配置为:
获取所述第二验证平台的平台硬件数据库文件和平台配置文件;
基于所述平台硬件数据库文件和平台配置文件,在所述第二验证平台的待测芯片组件上执行所述待测用例,得到所述验证结果。
在一些实施方式中,所述第一验证平台包括基于软件仿真器的验证平台,所述第二验证平台包括基于硬件仿真器的验证平台。
第三方面,本公开实施方式提供了一种电子设备,包括:
处理器;和
存储器,存储有计算机指令,所述计算机指令用于使所述处理器执行根据第一方面任意实施方式所述的芯片验证方法。
第四方面,本公开实施方式提供了一种存储介质,存储有计算机指令,所述计算机指令用于使计算机执行根据第一方面任意实施方式所述的芯片验证方法。
本公开实施方式的芯片验证方法,包括获取待测用例在第一验证平台的用例数据以及待测用例的配置说明文件,基于预设工具脚本解析配置说明文件,根据解析结果将用例数据配置到第二验证平台,在第二验证平台执行待测用例,得到待测用例的验证结果。本公开实施方式中,基于预设工具脚本实现待测用例的自动化移植,并实现待测用例在第二验证平台的验证流程,降低手动逐条移植用例出错风险,提高用例移植效率,从而使得芯片验证更加高效流畅,缩短验证周期。
附图说明
为了更清楚地说明本公开具体实施方式或现有技术中的技术方案,下面将对具体实施方式或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图是本公开的一些实施方式,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1是根据本公开一些实施方式中芯片验证方法的流程图。
图2是根据本公开一些实施方式中第二验证平台的结构原理图。
图3是根据本公开一些实施方式中芯片验证方法的流程图。
图4是根据本公开一些实施方式中芯片验证方法的流程图。
图5是根据本公开一些实施方式中芯片验证方法的流程图。
图6是根据本公开一些实施方式中芯片验证方法的流程图。
图7是根据本公开一些实施方式中芯片验证方法的流程图。
图8是根据本公开一些实施方式中芯片验证装置的结构框图。
图9是根据本公开一些实施方式中电子设备的结构框图。
具体实施方式
下面将结合附图对本公开的技术方案进行清楚、完整地描述,显然,所描述的实施方式是本公开一部分实施方式,而不是全部的实施方式。基于本公开中的实施方式,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施方式,都属于本公开保护的范围。此外,下面所描述的本公开不同实施方式中所涉及的技术特征只要彼此之间未构成冲突就可以相互结合。
现如今消费电子领域的芯片技术迭代迅速,市场需求决定了对芯片验证加速和缩短开发周期的需求非常强烈。以ISP(Image Signal Processing,图像信号处理)芯片为例,目前较为先进的ISP芯片除了具有高分辨率、高帧率以及算法集成度高的特点之外,其所集成的功能也越来越复杂,这就导致ISP芯片验证过程中一个用例(Case)的流程非常复杂。
目前,用于对ISP芯片进行验证的验证平台,主要可以分为基于软件仿真(Simulation)的验证平台和基于硬件仿真(Emulation)的验证平台。对于ISP芯片的验证过程,由于ISP芯片高分辨率和高帧率的特性,很多待测用例在Simulation软件仿真侧的验证时间很长,甚至一个用例的验证周期可以长达数天,而基于Emulation硬件仿真的原型验证平台则可以大大缩短用例验证的时间。
但是本案发明人研究发现,通常原始的待测用例是基于Simulation软件仿真的格式,在Emulation硬件仿真的原型验证平台无法直接使用,必须将其进行格式移植。然而,对于ISP芯片来说,一些待测用例需要处理一段视频流,用例数据包括多帧图像数据,每帧图像处理时需要配置的寄存器极多,如果依赖于人工手动移植,移植过程非常繁琐,而且出错率较高。而且随着芯片设计逐渐完善,会有很多数量的用例需要验证,如果逐一手动移植用例,效率很低,大大增加芯片验证的周期。
基于上述相关技术中存在的问题,本公开实施方式提供了一种芯片验证方法、装置、电子设备以及存储介质,旨在实现待测用例的自动化移植和验证,提高芯片验证效率,缩短验证周期。
在一些实施方式中,本公开实施方式提供了一种芯片验证方法,该验证方法可应用于对芯片进行验证的验证场景中。
为便于对本公开下文实施方式的理解,首先对下文实施方式中提到的部分名词进行解释:
1)ISP(Image Signal Processing)芯片,图像信号处理芯片。主要用来对前端图像传感器输出信号处理的芯片,以匹配不同厂商的图像传感器。
2)Simulator软件仿真器。一种基于软件仿真的验证平台,也即基于软件实现对待测用例的验证,其验证速度较慢、效率低。
3)Emulator硬件仿真器。一种基于硬件的原型验证平台,其可通过厂商定制化流程,将RTL(Register Transfer Level,寄存器传输级)映射到硬件仿真平台上实现对待测用例的验证,其验证速度较快。
4)待测用例。是指为验证芯片算法提供的数据文件,以ISP芯片验证为例,待测用例可以包括验证ISP算法提供的图像文件。芯片验证平台的待测芯片组件通过执行待测用例,可以得到实际执行结果,将实际执行结果与待测用例的预期执行结果进行对比,即可确定待测用例是否验证通过。
其次,对本公开实施方式所公开的芯片验证方法的应用场景进行说明。本公开实施方式的芯片验证方法可以应用于一种面向各种芯片的通用原型验证方法,本公开实施方式中芯片验证平台的各个平台组件的功能代码,均利用可综合硬件描述语言开发,从而在针对不同验证场景时,仅需要对最底层硬件库文件(例如时钟、存储组件)做少量适配,其余硬件只需要维护一套源代码即可,具有很高的通用性。
这里,硬件描述语言可以是以文本形式来描述数字系统硬件的结构和行为的语言,用它可以表示逻辑电路图、逻辑表达式,还可以表示数字逻辑系统所完成的逻辑功能。在一个示例中,硬件描述语言可以为Verilog或System Verilog等。
如图1所示,在一些实施方式中,本公开示例的芯片验证方法包括:
S110、获取待测用例在第一验证平台的用例数据,以及待测用例的配置说明文件。
本公开实施方式中,需要将基于第一验证平台格式的待测用例,自动化移植到第二验证平台,并且实现对待测用例的验证。
在一些实施方式中,第一验证平台可以包括基于软件仿真器的验证平台,也即Simulator;第二验证平台可以包括基于硬件仿真器的验证平台,也即Emulator。通过本公开实施方式的方法,可实现将原始的基于Simulator格式的待测用例,自动化移植为基于Emulator格式的待测用例,并且实现对待测用例在Emulator平台的验证。
当然,可以理解,第一验证平台和第二验证平台并不局限于上述示例,还可以是其他任何适于实施的芯片验证平台,例如FPGA(Field Programmable Gate Array,现场可编程逻辑门阵列)硬件平台等,本公开对此不作限制。
用例数据是指实现对待测用例进行验证的相关数据。例如一些实施方式中,待测用例的用例数据可以包括:初始化数据文件,也即待测用例的激励数据源,例如通过ISP算法处理后的图像或视频流文件数据;芯片指令文件,控制待测芯片组件工作的指令数据;寄存器配置文件,用于对验证过程中实现微控制器进行寄存器配置的相关数据;预期结果文件,也即待测用例的预期执行结果数据,例如通过ISP算法对初始化数据处理得到的参考文件。
配置说明文件是指,用于描述上述用例数据所包括的各个数据的文件。例如一个实施方式中,配置说明文件包括有以下几类信息:
信息1、初始化数据文件的文件名和需要初始化至存储组件的第一存储位置;
信息2、芯片指令文件的文件名和需要初始化至存储组件的第二存储位置;
信息3、寄存器配置文件的文件名;
信息4、预期结果文件在存储组件的起始地址位置和数据长度;
信息5、预期结果文件的文件名。
在本公开实施方式中,在对待测用例进行验证时,可以获取得到该待测用例的用例数据以及配置说明文件。但是,该用例数据的格式是基于第一验证平台的格式,无法直接在第二验证平台使用,因此需要通过本公开下述一个或多个方法步骤,实现用例数据的移植。
S120、基于预设工具脚本解析配置说明文件,根据解析结果将用例数据配置到第二验证平台。
本公开实施方式中,可以预先利用计算机编程语言编程脚本,也即本公开所述的预设工具脚本,利用预设工具脚本解析配置说明文件,实现对用例数据的自动化移植。
基于前述可知,配置说明文件是用于描述用例数据的文件,从而本公开实施方式中,可以利用预设工具脚本自动解析配置说明文件,根据配置说明文件的解析结果,将用例数据配置到第二验证平台的格式,实现用例数据的自动化移植。
本公开下述实施方式中,对预设工具脚本实现用例数据移植的过程进行具体说明,在此暂不展开。
可以理解,本公开实施方式中,预设工具脚本可以是基于任意编程语言编程的脚本,例如一个示例中,预设工具脚本为基于Pyhon编程的脚本,本公开对此不作限制。
S130、在第二验证平台执行待测用例,得到待测用例的验证结果。
本公开实施方式中,在完成待测用例的用例数据移植之后,即可基于第二验证平台的各个平台组件,利用待测芯片组件执行该待测用例,从而得到待测用例的验证结果。
本公开下述实施方式中结合第二验证平台的结构对待测用例验证的具体流程进行说明,在此暂不展开。
通过上述可知,本公开实施方式中,对于第一验证平台格式的待测用例,利用预设工具脚本可实现自动化的移植,实现待测用例在第二验证平台的验证流程,降低手动逐条移植用例出错风险,提高用例移植效率,从而使得芯片验证更加高效流畅,缩短验证周期。
在本公开下文实施方式中,第一验证平台以基于Simulator的软件验证平台(简称为“Simulator平台”)为例,第二验证平台以基于Emulator的硬件验证平台(简称为“Emulator平台”)为例,也即,本公开的芯片验证方法,可以实现Simulator平台侧的待测用例自动化移植到Emulator平台侧,并且利用Emulator平台实现待测用例的验证。
在一些实施方式中,本公开示例的芯片验证方法主要可分为两个阶段:平台创建(database)和运行时(runtime)。平台创建阶段主要用于准备搭建Emulator平台所需的文件,例如平台硬件数据库文件和平台配置文件。运行时阶段则可基于前述的方法过程,利用预设工具脚本将第一验证平台侧的用例数据配置到第二验证平台,实现对待测用例的验证,判断该用例通过与否。
本公开实施方式中,在平台创建(database)阶段需要准备两类文件:平台硬件数据库文件和平台配置文件。
在一些实施方式中,平台硬件数据库文件的生成过程包括:首先,可利用Emulator平台供应商提供的开发工具,对各个平台组件的平台硬件描述语言文件进行编译,得到编译代码;然后,将各个平台组件的编译代码进行综合处理,最终得到硬件电路的网表数据库文件,即为平台硬件数据库文件。
在一个示例中,本公开示例的Emulator平台的各个平台组件均由可综合代码开发,从而对于不同应用环境的Emulator平台,除需要对最底层硬件库文件(如时钟、存储组件等)做少量适配之外,其余平台组件只需要维护一套功能代码即可。可以减轻开发维护人员的负担,降低芯片验证的成本。
在一些实施方式中,平台配置文件可以包括Emulator平台中微控制器对应的固件文件,该固件文件可以为微控制器提供控制微控制器驱动的配置信息,还可以为配置验证环境寄存器提供配置信息,还可以为待测芯片组件寄存器提供配置信息等。在一个示例中,平台配置文件可以由高级编程语言C或C++开发,存储于平台的存储组件的预定位置中,以供各平台组件初始化使用。
图2示出了本公开一些实施方式中的Emulator平台的结构框图。如图2所示,本公开示例的Emulator平台包括多个平台组件,具体可以包括:微控制器、激励生成组件、待测芯片组件、输出收集组件以及存储组件。
微控制器是平台的主控单元,负责待测芯片组件及平台的寄存器配置、帧间数据模式切换、中断和异常处理等功能。
激励生成组件负责将已经初始化到存储组件的待测用例的初始化数据按预设顺序读出,并以符合待测芯片组件要求的时序传送到待测芯片组件的输入端口。
待测芯片组件即为需要进行验证的芯片组件,例如ISP芯片组件,待测芯片组件负责执行激励生成组件输入的数据,得到实际执行结果。在Emulator平台中,待测芯片组件的功能在逻辑行为层面与最终芯片需保持严格一致。
输出收集组件负责从待测芯片组件的输出端口获取实际执行结果,并存储到存储组件中,然后按预设顺序读出,与预先存储的ISP算法提供的预期执行结果进行对比,判断待测用例是否验证通过。
存储组件为平台的存储模块,用于存储验证流程中的数据,以供随时调取使用。
可以理解,对于上述平台创建(database)阶段未尽详述之处,本领域技术人员参照相关技术毫无疑问可以理解并充分实施,本公开对此不再赘述。
在完成上述平台创建(database)阶段之后,即可基于前述方法过程实现待测用例的自动化移植和验证流程,也即进入运行时(runtime)阶段,下面结合下文实施方式进行说明。
在本公开实施方式中,首先可获取待测用例的用例数据和配置说明文件。在一个示例中,待测芯片组件可以是ISP芯片,待测用例比如可以包括至少一帧的图像数据,待测芯片组件对待测用例进行验证的效果可以是:对用例数据包括的图像数据进行降噪处理,得到处理后的图像数据,通过对比处理后图像数据与预期结果数据判断是否符合验证要求。
在一些实施方式中,如上文所述,待测用例的用例数据可以包括:初始化数据文件、芯片指令文件、寄存器配置文件以及预期结果文件。
本公开实施方式中,在利用预设工具脚本对用例数据进行移植时,需要移植的主要包括初始化数据文件、芯片指令文件以及寄存器配置文件。下面结合图3和图4实施方式进行具体说明。
如图3所示,在一些实施方式中,本公开示例的芯片验证方法,基于预设工具脚本移植用例数据的过程可包括:
S310、基于预设工具脚本解析配置说明文件,得到初始化数据文件的第一解析结果和芯片指令文件的第二解析结果。
S320、根据第一解析结果将初始化数据文件存储于第二验证平台的存储组件的第一存储位置,根据第二解析结果将芯片指令文件存储于第二验证平台的存储组件的第二存储位置。
本公开实施方式中,预设工具脚本可以包括多个子脚本,每个子脚本分别用于解析上文所述的配置说明文件的一类或者多类信息。
例如一个示例中,预设工具脚本包括第一脚本A,第一脚本A用于解析上文所述的配置说明文件的“信息1”和“信息2”。
在本示例中,通过第一脚本A对配置说明文件进行解析处理,从而得到初始化数据文件的第一解析结果。基于前述可知,初始化数据文件的第一解析结果也即信息1所描述的“初始化数据文件的文件名”以及“第一存储位置”。
同时,通过第一脚本A对配置说明文件进行解析处理,从而得到芯片指令文件的第二解析结果。基于前述可知,芯片指令文件的第二解析结果也即信息2所描述的“芯片指令文件的文件名”以及“第二存储位置”。
在一个示例中,在得到第一解析结果和第二解析结果之后,可以将第一解析结果和第二解析结果写入到一个中间文件m中,作为后续过程的信息传递。
本公开实施方式中,在得到第一解析结果和第二解析结果之后,预设工具脚本可根据第一解析结果所描述的初始化数据文件的文件名,由用例数据中获取得到初始化数据文件,然后根据第一解析结果所描述的第一存储位置,将初始化数据文件存储于Emulator平台的存储组件的第一存储位置,完成初始化数据文件的配置。
同时,预设工具脚本可根据第二解析结果所描述的结果指令文件的文件名,由用例数据中获取得到芯片指令文件,然后根据第二解析结果所描述的第二存储位置,将芯片指令文件存储于Emulator平台的存储组件的第二存储位置,完成芯片指令文件的配置。
在一个示例中,上述对初始化数据文件和芯片指令文件的配置过程,可以利用预设工具脚本中的一个子脚本实现,本公开下文实施方式进行说明。
通过上述可知,本公开实施方式中,利用预设工具脚本实现对用例数据中的初始化数据文件和芯片指令文件的自动化移植,等待后续芯片验证流程调取使用。
如图4所示,在一些实施方式中,本公开示例的芯片验证方法,基于预设工具脚本移植用例数据的过程可包括:
S410、基于预设工具脚本解析配置说明文件,得到寄存器配置文件的第三解析结果。
S420、根据第三解析结果对寄存器配置文件进行数据格式转换,得到目标寄存器配置文件。
S430、将目标寄存器配置文件存储于第二验证平台的存储组件的第三存储位置。
在一些实施方式中,预设工具脚本包括第二脚本B,第二脚本B用于解析上文所述的配置说明文件的“信息3”。
具体而言,通过第二脚本B对配置说明文件进行解析处理,从而得到寄存器配置文件的第三解析结果。基于前述可知,寄存器配置文件的第三解析结果也即信息3所描述的“寄存器配置文件的文件名”。
在得到第三解析结果之后,第二脚本B可以根据第三解析结果所描述的寄存器配置文件的文件名,由用例数据中获取得到寄存器配置文件。可以理解,用例数据中的寄存器配置文件是基于Simulator平台的格式,因此本公开实施方式中,第二脚本B可以对寄存器配置文件进行格式转换处理,得到格式转换之后的目标寄存器配置文件。
在一个示例中,在得到目标寄存器配置文件之后,可以将目标寄存器配置文件写入到一个中间文件n中,方便后续存储于存储组件中。
在得到目标寄存器配置文件之后,可以将目标寄存器配置文件存储于存储组件的第三存储位置,第三存储位置为预先约定好的地址空间,等到后续验证流程中微控制器调取目标寄存器配置文件进行寄存器配置。
值得说明的是,在本公开一些实施方式中,第二脚本B可以将寄存器配置文件转换为“寄存器地址+寄存器值”的格式,也即目标寄存器配置文件包括寄存器地址和寄存器值,便于后续验证流程中微控制器进行寄存器配置。
具体而言,在验证过程中,微控制器在对各平台组件进行寄存器配置时。可以预先基于高级编程语言C或C++编程自动化程序,从而微控制器基于该自动化程序,首先从存储组件的第三存储位置开始循环读取若干行数的目标寄存器配置文件,其中每行数据均是“寄存器地址+寄存器值”的形式,从而微控制器可以将寄存器值配置到寄存器地址中即可,提高寄存器配置的效率,缩短验证时间。
通过上述可知,本公开实施方式中,利用预设工具脚本实现对用例数据中的寄存器配置文件的自动化移植,等待后续芯片验证流程调取使用。
在一些实施方式中,预设工具脚本还可以包括第三脚本C,第三脚本C用于解析上文所述的配置说明文件的“信息4”和“信息5”,从而得到第四解析结果,然后根据第四解析结果所描述的“预期结果文件的文件名”,从用例数据中获取得到预期结果文件,并将预期结果文件存储于存储组件的第四存储位置。在输出收集组件得到待测芯片组件输出的实际执行结果之后,即可根据第四解析结果所描述的“预期结果文件的起始地址和数据长度”,由存储组件中下载得到预期结果文件,通过实际执行结果与预期结果文件的对比,确定待测用例是否通过。
在一个示例中,在得到第四解析结果之后,可以将第四解析结果写入中间文件p中,作为后续下载预期结果文件的指导文件。本公开下文实施方式进行说明,在此暂不详述。
本公开实施方式中,在完成上述数据移植及初始化配置之后,即可基于图2所示的Emulator平台对待测用例进行验证,下面结合图5实施方式进行说明。
如图5所示,在一些实施方式中,本公开示例的芯片验证方法,对待测用例进行验证的过程包括:
S510、在第二验证平台执行待测用例,得到实际执行结果。
S520、基于预设工具脚本获取待测用例包括的预期结果文件,根据实际执行结果与预期执行结果文件,得到待测用例的验证结果。
本公开实施方式中,首先可将前述准备好的平台硬件数据库文件下载到Emulator平台,然后基于平台配置文件对图2所示的各个平台组件进行配置,例如微控制器通过平台配置文件配置微控制器驱动、芯片寄存器、验证环境寄存器等等,之后,基于前述的方法过程,通过预设工具脚本实现待测用例的用例数据的移植和初始化配置至Emulator平台,本公开对此不再赘述。
参见图2所示,在利用Emulator平台对待测用例进行验证时,激励生成组件可以从存储组件的第一存储位置,将初始化数据按帧读出,并且按照符合待测芯片组件的时序要求,将初始化数据输入到待测芯片组件的输入端口。微控制器基于芯片指令文件所描述的指令,控制待测芯片组件根据接收到的初始化数据进行数据处理,得到待测用例的实际执行结果。输出收集组件可以接收到待测芯片组件输出的实际执行结果。
在一些实施方式中,在得到实际执行结果之后,可以根据实际执行结果和存储组件的预期执行结果文件进行对比。在一个示例中,由于需要对比的数据量较大,因此可以先将实际执行结果存储在存储组件中,之后利用对比软件对比实际执行结果和预期结果文件。在另一个示例中,也可以直接在Emulator平台进行实际执行结果和预期结果文件的对比,本公开对此不作限制。
如图6所示,在一些实施方式中,本公开示例的芯片验证方法,基于预设工具脚本获取预期结果文件的过程包括:
S521、基于预设工具脚本解析配置说明文件,得到预期结果文件的第四解析结果。
S522、根据第四解析结果由存储组件中获取得到预期结果文件。
如上文所述,在一些实施方式中,预设工具脚本还可以包括第三脚本C,第三脚本C用于解析上文所述的配置说明文件的“信息4”和“信息5”,从而得到第四解析结果,也即第四解析结果描述了“预期结果文件的起始地址位置和数据长度”。从而,可以根据第四解析结果,获取预期结果文件在存储组件中的起始地址位置,并且下载预期数据长度,得到预期结果文件。
值得说明的是,在一些实施方式中,在下载得到预期结果文件之后,可将下载后的预期结果文件转换为与待测用例中的预期结果文件相同的数据格式,从而保证预期结果文件与Emulator平台的实际执行结果格式一致,方便后续对比。
结合图2所示,收集组件在进行结果对比时,可以基于上述过程从存储组件中调取预期结果文件,按照顺序将实际执行结果与预期结果文件逐帧进行对比,得到待测用例的对比结果。
在一个示例中,响应于对比结果指示的不匹配数据的占比不超过预设阈值,确定待测用例的验证结果为通过。
在另一个示例中,响应于对比结果指示的不匹配数据的占比超过预设阈值,确定待测用例的验证结果为不通过。
可以理解,预设阈值可以是自定义的芯片的容错率,容错率的具体数据可以基于具体验证环境和验证芯片决定,本公开对此不作限定。
通过上述可知,本公开实施方式中,利用预设工具脚本实现基于Simulator平台格式的待测用例的自动化移植,并且实现Emulator平台侧的自动化验证,无需手动逐条移植用例,降低出错风险,提高用例移植和芯片验证的效率,缩短芯片开发周期。
图7示出了本公开一些实施方式中的芯片验证方法的流程图,下面结合图7对本公开一些实施方式的芯片验证方法进行说明。
如图7所示,在一些实施方式中,本公开示例的芯片验证方法包括:
S701、预先准备平台硬件数据库文件和平台配置文件。
具体而言,基于前述平台创建(database)阶段的说明,得到Emulator平台所需的平台硬件数据库文件和平台配置文件。
S702、将平台硬件数据库文件下载到Emulator平台,并且根据平台配置文件配置各个平台组件。
具体而言,将准备好的平台硬件数据库下载到Emulator平台,然后可基于平台配置文件配置例如微控制器驱动、芯片寄存器以及验证环境寄存器等平台组件。
S703、基于第一脚本A解析待测用例的配置说明文件,得到初始化数据文件的第一解析结果和芯片指令文件的第二解析结果,并根据第一解析结果和第二解析结果得到中间文件m。
本公开实施方式中,预设工具脚本可包括第一脚本A、第二脚本B、第三脚本C以及第四脚本D。
如前文所述,第一脚本A用于解析上文所述的配置说明文件的“信息1”和“信息2”。具体而言,第一脚本A解析配置说明文件,得到用于描述“初始化数据文件的文件名”和“第一存储位置”的第一解析结果,以及用于描述“芯片指令文件的文件名”和“第二存储位置”的第二解析结果。
在本公开示例中,可将第一解析结果和第二解析结果写入一个中间文件m中,作为信息传递。
S704、基于第二脚本B解析待测用例的配置说明文件,得到寄存器配置文件的第三解析结果,并根据第三解析结果对寄存器配置文件进行数据格式转换,得到中间文件n。
本公开实施方式中,如前文所述,第二脚本B用于解析上文所述的配置说明文件的“信息3”。具体而言,通过第二脚本B对配置说明文件进行解析处理,得到用于描述“寄存器配置文件的文件名”的第三解析结果。
在得到第三解析结果之后,第二脚本B可以根据第三解析结果所描述的寄存器配置文件的文件名,由用例数据中获取得到寄存器配置文件,然后对寄存器配置文件进行格式转换处理,得到格式转换之后的目标寄存器配置文件。
本公开示例中,可将目标寄存器配置文件写入一个中间文件n中,便于后续输入到存储组件中。
S705、基于第三脚本C解析待测用例的配置说明文件,得到预期结果文件的第四解析结果,并根据第四解析结果得到中间文件p。
具体而言,如前文所述,第三脚本C用于解析上文所述的配置说明文件的“信息4”和“信息5”。具体而言,通过第三脚本C对配置说明文件进行解析处理,得到包括描述“预期结果文件的文件名”和“预期结果文件的存储位置以及数据长度”的第四解析结果。
在得到第三解析结果之后,第三脚本C可以根据第四解析结果所描述的预期结果文件的文件名,由用例数据中获取得到预期结果文件,并根据预期结果文件的文件数据将预期结果文件存储至对应的存储组件位置,同时,将第四解析结果写入一个中间文件p中。
S706、基于第四脚本D将用例数据配置到Emulator平台。
本公开实施方式中,第四脚本D用于串联上述各个脚本流程,具体来说,首先可读取中间文件m,根据中间文件m描述的“初始化数据文件的文件名和第一存储位置”,将初始化数据文件配置到存储组件的第一存储位置。根据中间文件m描述的“芯片指令文件的文件名和第二存储位置”,将芯片指令文件配置到存储组件的第二存储位置。完成初始化数据文件和芯片指令文件的初始化配置。
在一个示例中,可以通过后门写入(backdoor)的方式,将初始化数据文件和芯片指令文件存储于存储组件的对应位置,以提高写入速度。
其次,第四脚本D可读取中间文件n,根据中间文件n描述的格式转换后的目标寄存器配置文件存储于存储组件的第三存储位置,完成目标寄存器配置文件的初始化配置。
在一个示例中,同样可以通过后门写入(backdoor)的方式,将目标寄存器配置文件存储于存储组件中,以提高写入速度。
S707、基于待测用例的用例数据,在Emulator平台利用待测芯片组件执行用例数据,得到待测用例的实际执行结果。
本公开实施方式中,参见图2所示,在利用Emulator平台对待测用例进行验证时,激励生成组件可以从存储组件的第一存储位置,将初始化数据按帧读出,并且按照符合待测芯片组件的时序要求,将初始化数据输入到待测芯片组件的输入端口。微控制组件基于芯片指令文件所描述的指令,控制待测芯片组件根据接收到的初始化数据进行数据处理,得到待测用例的实际执行结果。
本领域技术人员参照前述说明可以理解并充分实现,本公开对此不再赘述。
S708、基于第四脚本D根据第四解析结果由存储组件下载得到预期结果文件,并将实际执行结果与预期结果文件进行对比,得到待测用例的验证结果。
本公开实施方式中,第四脚本D根据第四解析结果所描述的“预期结果文件的存储位置以及数据长度”,由存储组件的对应存储位置下载指定长度的数据,从而得到预期结果文件。
在一个示例中,在下载得到预期结果文件之后,还可以将预期结果文件的数据格式转换处理为与待测用例中的预期结果文件的数据格式相同,便于结果对比。
Emulator平台在得到实际执行结果和预期结果文件之后,可以基于上述过程从存储组件中调取预期结果文件,按照顺序将实际执行结果与预期结果文件逐帧进行对比,得到待测用例的对比结果,根据对比结果确定最终的待测用例的验证结果。在一个示例中,可以将验证结果写入一个文件中并保存,方便用户随时查看待测用例的验证结果。
通过上述可知,本公开实施方式中,利用预设工具脚本实现基于Simulator平台格式的待测用例的自动化移植,并且实现Emulator平台侧的自动化验证,无需手动逐条移植用例,降低出错风险,提高用例移植和芯片验证的效率,缩短芯片开发周期。
在一些实施方式中,本公开示例提供了一种芯片验证装置,该装置可应用于对芯片进行验证的验证场景中。
如图8所示,在一些实施方式中,本公开示例的芯片验证装置,包括:
获取模块10,被配置为获取待测用例在第一验证平台的用例数据,以及待测用例的配置说明文件;
脚本处理模块20,被配置为基于预设工具脚本解析配置说明文件,根据解析结果将用例数据配置到第二验证平台;
验证平台模块30,被配置为在第二验证平台执行待测用例,得到待测用例的验证结果。
通过上述可知,本公开实施方式中,对于第一验证平台格式的待测用例,利用预设工具脚本可实现自动化的移植,实现待测用例在第二验证平台的验证流程,降低手动逐条移植用例出错风险,提高用例移植效率,从而使得芯片验证更加高效流畅,缩短验证周期。
在一些实施方式中,用例数据包括初始化数据文件和芯片指令文件;脚本处理模块20被配置为:
基于预设工具脚本解析配置说明文件,得到初始化数据文件的第一解析结果和芯片指令文件的第二解析结果;
根据第一解析结果将初始化数据文件存储于第二验证平台的存储组件的第一存储位置,根据第二解析结果将芯片指令文件存储于第二验证平台的存储组件的第二存储位置。
通过上述可知,本公开实施方式中,利用预设工具脚本实现对用例数据中的初始化数据文件和芯片指令文件的自动化移植,等待后续芯片验证流程调取使用。
在一些实施方式中,用例数据包括寄存器配置文件;脚本处理模块20被配置为:
基于预设工具脚本解析配置说明文件,得到寄存器配置文件的第三解析结果;
根据第三解析结果对寄存器配置文件进行数据格式转换,得到目标寄存器配置文件;目标寄存器配置文件包括寄存器地址和寄存器值;
将目标寄存器配置文件存储于第二验证平台的存储组件的第三存储位置。
通过上述可知,本公开实施方式中,利用预设工具脚本实现对用例数据中的寄存器配置文件的自动化移植,等待后续芯片验证流程调取使用。
在一些实施方式中,验证平台模块30,被配置为:
在第二验证平台执行待测用例,得到实际执行结果;
基于预设工具脚本获取待测用例包括的预期结果文件,根据实际执行结果与预期执行结果文件,得到待测用例的验证结果。
在一些实施方式中,验证平台模块30,被配置为:
基于预设工具脚本解析配置说明文件,得到预期结果文件的第四解析结果;第四解析结果包括预期结果文件的存储位置以及数据长度;
根据第四解析结果由存储组件中获取得到预期结果文件。
在一些实施方式中,验证平台模块30,被配置为:
获取第二验证平台的平台硬件数据库文件和平台配置文件;
基于平台硬件数据库文件和平台配置文件,在第二验证平台的待测芯片组件上执行待测用例,得到验证结果。
在一些实施方式中,第一验证平台包括基于软件仿真器的验证平台,第二验证平台包括基于硬件仿真器的验证平台。
通过上述可知,本公开实施方式中,利用预设工具脚本实现基于Simulator平台格式的待测用例的自动化移植,并且实现Emulator平台侧的自动化验证,无需手动逐条移植用例,降低出错风险,提高用例移植和芯片验证的效率,缩短芯片开发周期。
在一些实施方式中,本公开示例提供了一种电子设备,包括:
处理器;和
存储器,存储有计算机指令,计算机指令用于使处理器执行根据第一方面任意实施方式的芯片验证方法。
在一些实施方式中,本公开示例提供了一种存储介质,存储有计算机指令,计算机指令用于使计算机执行根据第一方面任意实施方式的芯片验证方法。
具体而言,图9示出了适于用来实现本公开方法的电子设备600的结构示意图,通过图9所示电子设备,可实现上述处理器及存储介质相应功能。
如图9所示,电子设备600包括处理器601,其可以根据存储在存储器602中的程序或者从存储部分608加载到存储器602中的程序而执行各种适当的动作和处理。在存储器602中,还存储有电子设备600操作所需的各种程序和数据。处理器601和存储器602通过总线604彼此相连。输入/输出(I/O)接口605也连接至总线604。
以下部件连接至I/O接口605:包括键盘、鼠标等的输入部分606;包括诸如阴极射线管(CRT)、液晶显示器(LCD)等以及扬声器等的输出部分607;包括硬盘等的存储部分608;以及包括诸如LAN卡、调制解调器等的网络接口卡的通信部分609。通信部分609经由诸如因特网的网络执行通信处理。驱动器610也根据需要连接至I/O接口605。可拆卸介质611,诸如磁盘、光盘、磁光盘、半导体存储器等等,根据需要安装在驱动器610上,以便于从其上读出的计算机程序根据需要被安装入存储部分608。
特别地,根据本公开的实施方式,上文方法过程可以被实现为计算机软件程序。例如,本公开的实施方式包括一种计算机程序产品,其包括有形地包含在机器可读介质上的计算机程序,计算机程序包含用于执行上述方法的程序代码。在这样的实施方式中,该计算机程序可以通过通信部分609从网络上被下载和安装,和/或从可拆卸介质611被安装。
附图中的流程图和框图,图示了按照本公开各种实施方式的系统、方法和计算机程序产品的可能实现的体系架构、功能和操作。在这点上,流程图或框图中的每个方框可以代表一个模块、程序段、或代码的一部分,模块、程序段、或代码的一部分包含一个或多个用于实现规定的逻辑功能的可执行指令。也应当注意,在有些作为替换的实现中,方框中所标注的功能也可以以不同于附图中所标注的顺序发生。例如,两个接连地表示的方框实际上可以基本并行地执行,它们有时也可以按相反的顺序执行,这依所涉及的功能而定。也要注意的是,框图和/或流程图中的每个方框、以及框图和/或流程图中的方框的组合,可以用执行规定的功能或操作的专用的基于硬件的系统来实现,或者可以用专用硬件与计算机指令的组合来实现。
显然,上述实施方式仅仅是为清楚地说明所作的举例,而并非对实施方式的限定。对于所属领域的普通技术人员来说,在上述说明的基础上还可以做出其它不同形式的变化或变动。这里无需也无法对所有的实施方式予以穷举。而由此所引伸出的显而易见的变化或变动仍处于本公开创造的保护范围之中。

Claims (10)

1.一种芯片验证方法,其特征在于,包括:
获取待测用例在第一验证平台的用例数据,以及所述待测用例的配置说明文件;
基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台;
在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果。
2.根据权利要求1所述的方法,其特征在于,所述用例数据包括初始化数据文件和芯片指令文件;所述基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台,包括:
基于所述预设工具脚本解析所述配置说明文件,得到所述初始化数据文件的第一解析结果和所述芯片指令文件的第二解析结果;
根据所述第一解析结果将所述初始化数据文件存储于所述第二验证平台的存储组件的第一存储位置,根据所述第二解析结果将所述芯片指令文件存储于所述第二验证平台的存储组件的第二存储位置。
3.根据权利要求1所述的方法,其特征在于,所述用例数据包括寄存器配置文件;所述基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台,包括:
基于所述预设工具脚本解析所述配置说明文件,得到所述寄存器配置文件的第三解析结果;
根据所述第三解析结果对所述寄存器配置文件进行数据格式转换,得到目标寄存器配置文件;所述目标寄存器配置文件包括寄存器地址和寄存器值;
将所述目标寄存器配置文件存储于所述第二验证平台的存储组件的第三存储位置。
4.根据权利要求1至3任一项所述的方法,其特征在于,所述在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果,包括:
在所述第二验证平台执行所述待测用例,得到实际执行结果;
基于所述预设工具脚本获取所述待测用例包括的预期结果文件,根据所述实际执行结果与所述预期执行结果文件,得到所述待测用例的验证结果。
5.根据权利要求4所述的方法,其特征在于,所述基于所述预设工具脚本获取所述待测用例包括的预期结果文件,包括:
基于所述预设工具脚本解析所述配置说明文件,得到所述预期结果文件的第四解析结果;所述第四解析结果包括所述预期结果文件的存储位置以及数据长度;
根据所述第四解析结果由存储组件中获取得到所述预期结果文件。
6.根据权利要求1至5任一项所述的方法,其特征在于,所述在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果,包括:
获取所述第二验证平台的平台硬件数据库文件和平台配置文件;
基于所述平台硬件数据库文件和平台配置文件,在所述第二验证平台的待测芯片组件上执行所述待测用例,得到所述验证结果。
7.根据权利要求1所述的方法,其特征在于,
所述第一验证平台包括基于软件仿真器的验证平台,所述第二验证平台包括基于硬件仿真器的验证平台。
8.一种芯片验证装置,其特征在于,包括:
获取模块,被配置为获取待测用例在第一验证平台的用例数据,以及所述待测用例的配置说明文件;
脚本处理模块,被配置为基于预设工具脚本解析所述配置说明文件,根据解析结果将所述用例数据配置到第二验证平台;
验证平台模块,被配置为在所述第二验证平台执行所述待测用例,得到所述待测用例的验证结果。
9.一种电子设备,其特征在于,包括:
处理器;和
存储器,存储有计算机指令,所述计算机指令用于使所述处理器执行根据权利要求1至8任一项所述的芯片验证方法。
10.一种存储介质,其特征在于,存储有计算机指令,所述计算机指令用于使计算机执行根据权利要求1至8任一项所述的芯片验证方法。
CN202210344071.8A 2022-03-31 2022-03-31 芯片验证方法及装置 Pending CN114936144A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202210344071.8A CN114936144A (zh) 2022-03-31 2022-03-31 芯片验证方法及装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202210344071.8A CN114936144A (zh) 2022-03-31 2022-03-31 芯片验证方法及装置

Publications (1)

Publication Number Publication Date
CN114936144A true CN114936144A (zh) 2022-08-23

Family

ID=82862998

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202210344071.8A Pending CN114936144A (zh) 2022-03-31 2022-03-31 芯片验证方法及装置

Country Status (1)

Country Link
CN (1) CN114936144A (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117172209A (zh) * 2023-11-03 2023-12-05 睿思芯科(深圳)技术有限公司 芯片的验证系统、方法及相关设备

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117172209A (zh) * 2023-11-03 2023-12-05 睿思芯科(深圳)技术有限公司 芯片的验证系统、方法及相关设备
CN117172209B (zh) * 2023-11-03 2024-02-27 睿思芯科(深圳)技术有限公司 芯片的验证系统、方法及相关设备

Similar Documents

Publication Publication Date Title
US8127261B2 (en) System for quickly specifying formal verification environments
CN107729246B (zh) 针对目标应用的辅助测试方法、装置、设备及存储介质
US7424416B1 (en) Interfacing hardware emulation to distributed simulation environments
CN112270149A (zh) 验证平台自动化集成方法、系统及电子设备和存储介质
US7895575B2 (en) Apparatus and method for generating test driver
US10209306B2 (en) Methods and systems for generating functional test patterns for manufacture test
US9141501B2 (en) Firmware generated register file for use in hardware validation
JPH11513512A (ja) ディジタル信号プロセッサの製造方法
CN113835945A (zh) 芯片的测试方法、装置、设备及系统
CN116341428B (zh) 构建参考模型的方法、芯片验证方法及系统
CN115684896A (zh) 芯片可测性设计测试方法、测试平台及其生成方法及装置
US20090112554A1 (en) Test Bench, Method, and Computer Program Product for Performing a Test Case on an Integrated Circuit
CN115048888A (zh) 集成电路验证方法、装置、仿真系统、电子设备及介质
US7231338B2 (en) Distributed simulation system having phases of a timestep
CN114936144A (zh) 芯片验证方法及装置
US5353433A (en) Method and apparatus for organizing and analyzing timing information
CN112860587A (zh) Ui自动测试方法和装置
CN116719729B (zh) 通用验证平台、通用验证方法、介质及电子设备
CN115684895B (zh) 芯片可测性设计测试方法、测试平台及其生成方法及装置
US10599802B2 (en) Methods for automatic engineering change order (ECO) bug fixing in integrated circuit design
CN111580789A (zh) 功能块框架生成
US7770147B1 (en) Automatic generators for verilog programming
US6813751B2 (en) Creating standard VHDL test environments
CN115562931A (zh) 处理器调试模块验证方法、装置、电子设备和存储介质
CN114091391A (zh) 芯片验证方法、装置、设备和存储介质

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination