CN113806153A - 一种芯片验证方法 - Google Patents

一种芯片验证方法 Download PDF

Info

Publication number
CN113806153A
CN113806153A CN202111077285.5A CN202111077285A CN113806153A CN 113806153 A CN113806153 A CN 113806153A CN 202111077285 A CN202111077285 A CN 202111077285A CN 113806153 A CN113806153 A CN 113806153A
Authority
CN
China
Prior art keywords
data frame
compiling
command code
instruction
analysis 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.)
Granted
Application number
CN202111077285.5A
Other languages
English (en)
Other versions
CN113806153B (zh
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.)
Shenzhen Chuangcheng Microelectronics Co ltd
Original Assignee
Shenzhen Chuangcheng Microelectronics 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 Shenzhen Chuangcheng Microelectronics Co ltd filed Critical Shenzhen Chuangcheng Microelectronics Co ltd
Priority to CN202111077285.5A priority Critical patent/CN113806153B/zh
Publication of CN113806153A publication Critical patent/CN113806153A/zh
Application granted granted Critical
Publication of CN113806153B publication Critical patent/CN113806153B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/22Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2205Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/22Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2273Test methods
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/40Transformation of program code
    • G06F8/41Compilation
    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02DCLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
    • Y02D10/00Energy efficient computing, e.g. low power processors, power management or thermal management

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Software Systems (AREA)
  • Devices For Executing Special Programs (AREA)
  • Communication Control (AREA)

Abstract

本发明提供一种芯片验证方法,包括,编译端根据自身当前的工作状态、通信协议生成第一数据帧;验证端接收用户指令以及第一数据帧,并解析得到第一解析结果,根据第一解析结果判断所述编译端的当前工作状态是否处于空闲状态,若是,则根据接收的用户指令、通信协议生成第二数据帧;编译端接收并解析第二数据帧,得到第二解析结果,执行与用户指令相应的操作,当完成相应的操作时,根据通信协议生成第三数据帧;验证端接收并解析第三数据帧,根据所述第三数据帧的解析结果确定所述用户指令已执行完成。本发明避免了keil中修改功能参数而未同步到UVM的编译文件中,带来的验证问题;只需要管理一个平台节约了成本。

Description

一种芯片验证方法
技术领域
本发明涉及芯片验证技术领域,特别是涉及一种芯片验证方法。
背景技术
现有技术中,芯片设计时,往往是由多人共同完成,例如要设计一个系统S,其包括模块A1、模块B1和模块C1,设计者A设计了A1模块,设计者B设计了B1模块,设计者设计了C1模块,在进行验证时,在keil(提供丰富的库函数和功能强大的集成开发调试工具)中将A1模块、B1模块和C1模块整合,编译形成bin文件(二进制文件,其用途依系统或应用而定),再将bin文件加载到UVM(通用验证方法学,Universal Verification Methodology,是一个以SystemVerilog类库为主体的验证平台开发框架)中进行验证,从而完成芯片验证。
在多人共同负责的系统设计中,由于keil向用户提供了修改功能参数的功能,当其中一设计者或多设计者在keil中修改了对应的功能参数,而没有及时更新bin编译文件上传代码时,会使得参与设计的其他设计者无法使用最新修改的模块进行系统验证,导致当前验证结果不可靠。
由此可见,现有技术中的验证方式存在以下缺陷:1、不便于设计人员采用最新修改的模块进行系统验证;2、需要管理两个平台,需要耗费大量的人力,成本高。
发明内容
本发明的目的在于,提出一种芯片验证方法,以解决现有技术中不便于设计人员采用最新修改的模块进行系统验证和管理两个平台需要耗费大量的人力,成本高的问题。
本发明提供一种芯片验证方法,应用于芯片验证系统,所述芯片验证系统包括编译端和验证端,包括:
编译端根据自身当前的工作状态、所述编译端与验证端之间的通信协议生成第一数据帧,并向所述验证端发送生成的第一数据帧;
所述验证端接收用户指令以及所述第一数据帧,并解析所述第一数据帧,得到第一解析结果,根据所述第一解析结果判断所述编译端的当前工作状态是否处于空闲状态,若是,则根据接收的用户指令、所述通信协议生成第二数据帧,向所述编译端发送第二数据帧;
所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作,当完成所述相应的操作时,根据所述通信协议生成第三数据帧,向所述验证端发送第三数据帧;
所述验证端接收并解析第三数据帧,根据所述第三数据帧的解析结果确定所述用户指令已执行完成。
在一具体实施方式中,所述预设的通信协议包括:
固件识别标签,用于记录所述用户指令的类型;
平台识别标签,用于记录所述编译端自身当前的工作状态;
地址项,用于存储写入的地址信息;
写数据项,用于存储写入数据信息;
读数据项,用于存储读取数据的信息。
在一具体实施方式中,所述编译端根据自身当前的工作状态、所述编译端与验证端之间的通信协议生成第一数据帧具体包括:
所述编译端获取自身当前的工作状态对应的命令码,将所述平台识别标签配置为所述命令码,生成所述第一数据帧。
在一具体实施方式中,所述根据接收的用户指令、所述通信协议生成第二数据帧,向所述编译端发送第二数据帧具体包括:
确定所述用户指令对应的命令码、操作地址和/或操作内容;
将所述固件识别标签配置为所述命令码,将对应的地址项配置为所述操作地址和/或将对应的数据项配置为所述操作内容。
在一具体实施方式中,所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作包括:
判断所述第二解析结果中的命令码是否有效,若有效,则根据预设的识别标签表确定所述命令码对应的操作为读或写,
若所述命令码对应的操作为读,则调用预设的读函数进行读取处理并将所述平台识别标签配置为指令结束命令码,
若所述命令码对应的操作为写,则调用预设的写函数进行写入处理并将所述平台识别标签配置为指令结束命令码。
在一具体实施方式中,所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作还包括:
若编译端检测到当前执行指令进入中断,则所述验证系统优先进入中断处理。
在一具体实施方式中,所述若编译端检测到当前执行指令进入中断,则所述验证系统优先进入中断处理具体包括:
所述编译端确定所述中断指令对应的命令码以及中断处理内容,将所述平台识别标签配置为中断对应的命令码,生成第四数据帧;
所述验证端接收并解析所述第四数据帧获得第四解析结果,根据所述第四解析结果中的中断对应的命令码以及需要在中断中处理的指令生成第五数据帧,并发送所述第五数据帧;
所述编译端接收并解析所述第五数据帧获得第五解析结果,并执行需要在中断中处理的指令对应的操作;在所述需要在中断中处理的指令执行完成后,配置所述平台识别标签生成第六数据帧;
所述验证端接收并解析所述第六数据帧,根据解析结果确定所述需要在中断中处理的指令执行完毕。
在一具体实施方式中,所述当完成所述相应的操作时,根据所述通信协议生成第三数据帧,向所述验证端发送第三数据帧包括:
所述编译端中断编译并将所述平台识别标签配置为指令结束命令码,生成所述第三数据帧,并向所述验证端发送所述第三数据帧。
在一具体实施方式中,所述验证端接收并解析第三数据帧,根据所述第三数据帧的解析结果确定所述用户指令已执行完成具体包括:
所述验证端判断所述第三数据帧的解析结果中的命令码是否为设定的指令结束命令码,若是,则判定所述编译端已执行完所述用户指令,若不是,则判定所述编译端没有执行完所述用户指令。
在一具体实施方式中,所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作还包括:
根据预设的识别标签表确定所述命令码对应的操作是否为结束;
当所述命令码对应的操作为结束且所有命令码对应的操作执行完成时,所述验证系统进入结束处理并将所述平台识别标签配置为指令结束命令码。
综上,实施本发明的实施例,具有如下的有益效果:
本发明提供的芯片验证方法,所有的设计者直接在UVM平台(验证端)中进行操作,并根据设定的通信协议使得UVM平台(验证端)和keil(编译端)进行交互并完成用户相关命令的执行,从而实现用户只需要管理UVM平台(验证端),由于在系统级仿真的过程中,用户的操作只通过UVM平台(验证端)进行,从而避免了现有技术中在keil(编译端)修改了功能参数而没及时更新上传,避免了导致UVM平台(验证端)编译文件运行失败所带来的不利影响,此外,由于只需要管理UVM平台(验证端)一个平台,节约了管理人力消耗,节约了成本。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动性的前提下,根据这些附图获得其他的附图仍属于本发明的范畴。
图1为本发明实施例中一种芯片验证方法的主流程示意图;
图2为本发明实施例中一种芯片验证方法的逻辑示意图;
图3为本发明实施例中固件编译器与UVM的交互过程示意图。
具体实施方式
为使本发明的目的、技术方案和优点更加清楚,下面将结合附图对本发明作进一步地详细描述。
如图1和图2所示,为本发明提供的一种芯片验证方法的一个实施例的示意图。在该实施例中,所述方法包括以下步骤:
S1、编译端根据自身当前的工作状态、所述编译端与验证端之间的通信协议生成第一数据帧,并向所述验证端发送生成的第一数据帧。
可以理解的是,Keil(软件平台)先清零选定的空闲寄存器(或存储器),并根据自身的当前工作状态以及设定的keil和UVM(芯片系统硬件平台)之间的通信协议在寄存器或存储器中生成第一数据帧,并发送第一数据帧。
具体实施例中,所述通信协议包括:固件识别标签,用于记录所述用户指令的类型,由所述验证端生成并发送给所述编译端;平台识别标签,用于存储编译端写入的数据,表明编译端自身当前的工作状态和编译端中断编号;地址项,用于存储写入的地址信息;写数据项,用于存储写入数据信息;读数据项,用于存储读取数据的信息。其中,固件识别标签用于表明UVM接收的用户指令的类型,例如h 10代表word写命令,则将对应要写的数据放在“写数据”中,将要写入的地址放在“写地址”中。平台识别标签为keil写入的数据,用于表明keil自身当前的工作状态,比如:空闲或忙碌。
需要说明的是,通信协议可在上述基础上进行适应性修改,例如将地址项修改为写地址项和读地址项等。
再具体地,生成第一数据帧时,编译端获取自身当前的工作状态对应的命令码,将所述平台识别标签配置为所述命令码,生成所述第一数据帧;
其中,平台识别标签如下表,
表1验证平台识别码
Figure BDA0003262629040000061
S2、所述验证端接收用户指令以及所述第一数据帧,并解析所述第一数据帧,得到第一解析结果;根据所述第一解析结果判断所述编译端的当前工作状态是否处于空闲状态,若是,则根据接收的用户指令、所述通信协议生成第二数据帧,向所述编译端发送第二数据帧。
可以理解的是,UVM接收用户输入的操作指令以及接收并解析第一数据帧,根据第一数据帧的解析结果判断keil是否处于空闲状态,若keil处于空闲状态,UVM根据用户写入的操作指令以及上述通信协议生成第二数据帧,并向keil发送第二数据帧。
具体实施例中,验证端接收并解析第一数据帧,确定编译端的工作状态是否处于空闲状态,其中,第一帧的发送方是编译器,编译器需要填写平台识别标签;验证平台是接收方,需要识别并判断平台识别标签。当平台识别标签为空闲时,则可以进行第二数据帧的交互。进一步,确定所述用户指令对应的命令码、操作地址和/或操作内容;将所述固件识别标签配置为所述命令码,将对应的地址项配置为所述操作地址和/或将对应的数据项配置为所述操作内容。固件识别标签(由用户在验证端填写,根据需要的操作,写入相应的固件识别标签,编译端收到固件识别标签后,通过查询预设表格进行相应操作。具体地,固件识别标签表如下所示:
表2固件识别标签命令码
Figure BDA0003262629040000071
S3、所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作,当完成所述相应的操作时,根据所述通信协议生成第三数据帧,向所述验证端发送第三数据帧。
可以理解的是,keil接收并解析所述第二数据帧,并根据解析结果执行相应的读或写操作,在完成了相应的操作后,根据协议生成第三数据帧。
具体实施例中,识别接收的第二数据帧,得到所述第二数据帧中包括的命令码;判断所述第二解析结果中的命令码是否有效,若有效,则根据预设的识别标签表确定所述命令码对应的操作为读或写,若所述命令码对应的操作为读,则调用预设的读取函数进行读取处理并将所述平台识别标签配置为指令结束命令码。若所述命令码对应的操作为写,则调用预设的写入函数进行写入处理并将所述平台识别标签配置为指令结束命令码。按照上述方式继续进行下一用户指令的操作执行。
需要说明的是,编译端还实时进行中断检测,当编译端检测到将要进入中断处理时,则所述验证系统优先进入中断处理,其中,进入中断处理的优先级是最高的,高于其他处理方式(如读写或结束);即每次执行对应程序时,都同步进行中断检测,只要检测到中断处理就优先执行中断处理,其他操作处理推后进行。
当编译端检测到将要进行中断处理时,编译端确定中断指令对应的命令码,将平台识别标签配置为中断对应的命令码,生成第四数据帧。验证端接收并解析第四数据帧获得第四解析结果,根据所述第四解析结果中的中断对应的命令码以及需要在中断中处理的指令生成第五数据帧,并发送所述第五数据帧,所述编译端接收并解析所述第五数据帧获得第五解析结果,执行需要在中断中处理的指令;在所述需要在中断中处理的指令执行完成后,配置所述平台识别标签生成第六数据帧;所述验证端接收并解析所述第六数据帧,根据解析结果确定所述需要在中断中处理的指令执行完毕。
优选地,在中断处理完成后,keil进行软复位。
S4、所述验证端接收并解析第三数据帧,根据所述第三数据帧的解析结果确定所述用户指令是否已执行完成芯片验证。
可以理解的是,UVM解析第三数据帧,并判断keil是否完成相应的操作。验证端和编译端可以重复上述流程,继续进行传输交互,直到编译端识别到固件标签为结束时,结束当前验证。
具体实施例中,所述验证端判断所述第三数据帧的解析结果中的命令码是否为设定的指令结束命令码,若是,则判定所述编译端已执行完所述用户指令,若不是,则判定所述编译端没有执行完所述用户指令。如图3所示,在进行芯片系统验证时,所有的设计人员直接在UVM端进行,UVM接收用户的操作指令,并根据keil端的工作状态以及keil和UVM之间的通信协议生成数据帧,keil接收UVM发送的数据帧,并解析该数据帧,根据解析内容执行相应的操作,并在操作完成后发送相应的反馈信息给UVM。
需要特别说明的是,本发明的软件编译平台并不限定为keil、segger,芯片系统验证平台也并不限定为UVM平台、UVM、OVM、VVM等verilog或sverilog验证平台。
综上,实施本发明的实施例,具有如下的有益效果:
本发明提供的芯片验证方法,所有的设计者直接在UVM平台(验证端)中进行操作,并根据设定的通信协议使得UVM平台(验证端)和keil(编译端)进行交互并完成用户相关命令的执行,从而实现用户只需要管理UVM平台(验证端),由于在系统级仿真的过程中,用户的操作只通过UVM平台(验证端)进行,从而避免了现有技术中在keil(编译端)修改了功能参数而没及时更新上传,避免了导致UVM平台(验证端)编译文件运行失败所带来的不利影响,此外,由于只需要管理UVM平台(验证端)一个平台,减少了管理人力消耗,节约了成本。
以上所揭露的仅为本发明较佳实施例而已,当然不能以此来限定本发明之权利范围,因此依本发明权利要求所作的等同变化,仍属本发明所涵盖的范围。

Claims (10)

1.一种芯片验证方法,应用于芯片验证系统,所述芯片验证系统包括编译端和验证端,其特征在于,包括:
编译端根据自身当前的工作状态、所述编译端与验证端之间的通信协议生成第一数据帧,并向所述验证端发送生成的第一数据帧;
所述验证端接收用户指令以及所述第一数据帧,并解析所述第一数据帧,得到第一解析结果,根据所述第一解析结果判断所述编译端的当前工作状态是否处于空闲状态,若是,则根据接收的用户指令、所述通信协议生成第二数据帧,向所述编译端发送第二数据帧;
所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作,当完成所述相应的操作时,根据所述通信协议生成第三数据帧,向所述验证端发送第三数据帧;
所述验证端接收并解析第三数据帧,根据所述第三数据帧的解析结果确定所述用户指令已执行完成。
2.如权利要求1所述的方法,其特征在于,所述预设的通信协议包括:
固件识别标签,用于记录所述用户指令的类型;
平台识别标签,用于记录所述编译端自身当前的工作状态;
地址项,用于存储写入的地址信息;
写数据项,用于存储写入数据信息;
读数据项,用于存储读取数据的信息。
3.如权利要求2所述的方法,其特征在于,所述编译端根据自身当前的工作状态、所述编译端与验证端之间的通信协议生成第一数据帧具体包括:
所述编译端获取自身当前的工作状态对应的命令码,将所述平台识别标签配置为所述命令码,生成所述第一数据帧。
4.如权利要求3所述的方法,其特征在于,所述根据接收的用户指令、所述通信协议生成第二数据帧,向所述编译端发送第二数据帧具体包括:
确定所述用户指令对应的命令码、操作地址和/或操作内容;
将所述固件识别标签配置为所述命令码,将对应的地址项配置为所述操作地址和/或将对应的数据项配置为所述操作内容。
5.如权利要求4所述的方法,其特征在于,所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作包括:
判断所述第二解析结果中的命令码是否有效,若有效,则根据预设的识别标签表确定所述命令码对应的操作为读或写,
若所述命令码对应的操作为读,则调用预设的读函数进行读取处理并将所述平台识别标签配置为指令结束命令码,
若所述命令码对应的操作为写,则调用预设的写函数进行写入处理并将所述平台识别标签配置为指令结束命令码。
6.根据权利要求5所述的方法,其特征在于,所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作还包括:
若编译端检测到当前执行指令进入中断,则所述验证系统优先进入中断处理。
7.根据权利要求6所述的方法,其特征在于,所述若编译端检测到当前执行指令进入中断,则所述验证系统优先进入中断处理具体包括:
所述编译端确定所述中断指令对应的命令码,将所述平台识别标签配置为中断对应的命令码,生成第四数据帧;
所述验证端接收并解析所述第四数据帧获得第四解析结果,根据所述第四解析结果中的中断对应的命令码以及需要在中断中处理的指令生成第五数据帧,并发送所述第五数据帧;
所述编译端接收并解析所述第五数据帧获得第五解析结果,并执行需要在中断中处理的指令对应的操作,执行完成后,配置所述平台识别标签生成第六数据帧;
所述验证端接收并解析所述第六数据帧,根据解析结果确定所述需要在中断中处理的指令执行完毕。
8.根据权利要求7所述的方法,其特征在于,所述当完成所述相应的操作时,根据所述通信协议生成第三数据帧,向所述验证端发送第三数据帧包括:
所述编译端中断编译并将所述平台识别标签配置为指令结束命令码,生成所述第三数据帧,并向所述验证端发送所述第三数据帧。
9.根据权利要求8所述的方法,其特征在于,所述验证端接收并解析第三数据帧,根据所述第三数据帧的解析结果确定所述用户指令已执行完成具体包括:
所述验证端判断所述第三数据帧的解析结果中的命令码是否为设定的指令结束命令码,若是,则判定所述编译端已执行完所述用户指令,若不是,则判定所述编译端没有执行完所述用户指令。
10.如权利要求5所述的方法,其特征在于,所述编译端接收并解析所述第二数据帧,得到第二解析结果,根据所述第二解析结果执行与所述用户指令相应的操作还包括:
根据预设的识别标签表确定所述命令码对应的操作是否为结束;
当所述命令码对应的操作为结束且所有命令码对应的操作执行完成时,所述验证系统进入结束处理并将所述平台识别标签配置为指令结束命令码。
CN202111077285.5A 2021-09-15 2021-09-15 一种芯片验证方法 Active CN113806153B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202111077285.5A CN113806153B (zh) 2021-09-15 2021-09-15 一种芯片验证方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202111077285.5A CN113806153B (zh) 2021-09-15 2021-09-15 一种芯片验证方法

Publications (2)

Publication Number Publication Date
CN113806153A true CN113806153A (zh) 2021-12-17
CN113806153B CN113806153B (zh) 2023-10-24

Family

ID=78941015

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202111077285.5A Active CN113806153B (zh) 2021-09-15 2021-09-15 一种芯片验证方法

Country Status (1)

Country Link
CN (1) CN113806153B (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117376221A (zh) * 2023-12-07 2024-01-09 上海矽朔微电子有限公司 通信协议的自动化验证方法及系统

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20060041879A1 (en) * 2004-08-19 2006-02-23 Bower Shelley K System and method for changing defined user interface elements in a previously compiled program
CN106599343A (zh) * 2016-11-01 2017-04-26 深圳国微技术有限公司 一种提高仿真效率的soc系统验证方法和装置
CN107609423A (zh) * 2017-10-19 2018-01-19 南京大学 基于状态的文件系统完整性远程证明方法
JP2019109688A (ja) * 2017-12-18 2019-07-04 キヤノン株式会社 ソフトウェア評価システム

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20060041879A1 (en) * 2004-08-19 2006-02-23 Bower Shelley K System and method for changing defined user interface elements in a previously compiled program
CN106599343A (zh) * 2016-11-01 2017-04-26 深圳国微技术有限公司 一种提高仿真效率的soc系统验证方法和装置
CN107609423A (zh) * 2017-10-19 2018-01-19 南京大学 基于状态的文件系统完整性远程证明方法
JP2019109688A (ja) * 2017-12-18 2019-07-04 キヤノン株式会社 ソフトウェア評価システム

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117376221A (zh) * 2023-12-07 2024-01-09 上海矽朔微电子有限公司 通信协议的自动化验证方法及系统

Also Published As

Publication number Publication date
CN113806153B (zh) 2023-10-24

Similar Documents

Publication Publication Date Title
CN100442293C (zh) 合并硬件设计语言的原始档案与查验资料档案的方法
CN111104269B (zh) 一种基于uart接口的处理器调试方法及系统
CN107907814B (zh) 一种提高芯片量产测试效率的方法
CN1752946A (zh) 一种嵌入式系统的调试方法及其系统
US20060143523A1 (en) Apparatus and method for debugging embedded software
CN115952758B (zh) 芯片验证方法、装置、电子设备及存储介质
CN110109671B (zh) 一种webpack标签尺寸样式转换方法及装置
CN110289039B (zh) 一种eMMC的调试方法和装置
CN113849433A (zh) 一种总线控制器的执行方法、装置、总线控制器、计算机设备和存储介质
CN114861578A (zh) 保持时间违例修复方法、装置、设备及存储介质
CN113806153B (zh) 一种芯片验证方法
CN111767589A (zh) 基于汽车安装点静刚度的批处理方法、系统、终端及存储介质
CN109918338B (zh) 安全芯片操作系统测试装置
CN114047970A (zh) 一种autosar架构软件的配置方法及系统
CN112905461A (zh) 自动化接口测试案例执行方法及装置
US20020099953A1 (en) Debugging of chipcards
US7231334B2 (en) Coupler interface for facilitating distributed simulation of a partitioned logic design
CN101206613A (zh) 高速基本输入/输出系统调试卡
CN111427582A (zh) Rtl代码的管理方法、装置、设备及计算机可读存储介质
CN111142861A (zh) 结构化综控系统集成方法及装置
CN115391181A (zh) 一种soc芯片的验证方法
CN111880803B (zh) 一种应用于多平台的软件构建方法及装置
CN110362526B (zh) Spi从机设备、存储和适配方法及计算机存储介质
US20050144586A1 (en) Automated generation method of hardware/software interface for SIP development
CN112269740A (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
GR01 Patent grant
GR01 Patent grant