CN115510782A - 定位验证错误的方法、电子设备和存储介质 - Google Patents
定位验证错误的方法、电子设备和存储介质 Download PDFInfo
- Publication number
- CN115510782A CN115510782A CN202211060639.XA CN202211060639A CN115510782A CN 115510782 A CN115510782 A CN 115510782A CN 202211060639 A CN202211060639 A CN 202211060639A CN 115510782 A CN115510782 A CN 115510782A
- Authority
- CN
- China
- Prior art keywords
- error
- errors
- validation
- verification
- system design
- 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
Links
- 238000012795 verification Methods 0.000 title claims abstract description 95
- 238000000034 method Methods 0.000 title claims abstract description 40
- 238000010200 validation analysis Methods 0.000 claims abstract description 73
- 238000013461 design Methods 0.000 claims abstract description 71
- 238000013507 mapping Methods 0.000 claims abstract description 30
- 230000004807 localization Effects 0.000 claims abstract description 29
- 238000004088 simulation Methods 0.000 description 21
- 238000010586 diagram Methods 0.000 description 13
- 230000008569 process Effects 0.000 description 13
- 238000012360 testing method Methods 0.000 description 12
- 230000002093 peripheral effect Effects 0.000 description 8
- 238000005516 engineering process Methods 0.000 description 3
- 230000006870 function Effects 0.000 description 3
- 238000010801 machine learning Methods 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 230000001413 cellular effect Effects 0.000 description 2
- 238000004891 communication Methods 0.000 description 2
- 238000004590 computer program Methods 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 241000543370 Galax Species 0.000 description 1
- 241000699670 Mus sp. Species 0.000 description 1
- 238000013528 artificial neural network Methods 0.000 description 1
- 238000013527 convolutional neural network Methods 0.000 description 1
- 230000004927 fusion Effects 0.000 description 1
- 238000003062 neural network model Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 230000011664 signaling Effects 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
- 238000011895 specific detection Methods 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
- 238000012549 training Methods 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
- Debugging And Monitoring (AREA)
Abstract
本申请提供一种在逻辑系统设计中定位验证错误的方法,包括:接收所述逻辑系统设计在验证环境中产生的多个验证错误,所述多个验证错误包括多个第一验证错误和第二验证错误;在所述多个验证错误中,确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系;基于所述逻辑系统设计、所述验证环境以及所述映射关系生成所述错误定位模型;以及使用所述错误定位模型确定第二验证错误的第二错误位置。
Description
技术领域
本申请实施例涉及芯片验证技术领域,尤其涉及一种在逻辑系统设计中定位错误的方法、电子设备及存储介质。
背景技术
在集成电路的验证领域,为了验证逻辑系统设计是否正确,需要设计验证环境用于验证逻辑系统设计。验证环境在编译之后可以在计算机或硬件仿真设备上运行,以对逻辑系统设计的各种功能进行仿真测试,从而验证逻辑系统设计是否正确。
验证环境通过成千上万的接口与逻辑系统设计相连接。当验证环境对逻辑系统设计进行验证时,验证环境会对验证过程中发现的验证错误进行报告。但是由于验证环境与逻辑系统设计间的接口数量太过庞大,导致验证环境无法直接定位到验证错误的实际发生位置。实际操作过程中,通常由工程师(用户)经过经验和具体的检测来判定被报告的验证错误的实际发生位置(也称为根本原因(root cause))。但是由于验证错误的数量可能较多,如果每一次发现验证错误后都经由工程师(用户)判断再进行定位的话在时间上和人工成本上都过于浪费。并且在大量的错误报告中,还可能存在大量的相同或相似的验证错误。这些验证错误很可能是由于相同的根本原因造成。对这些错误的重复判定也增加了不必要的工作量,导致了对逻辑系统设计进行验证错误的过程中效率下降的问题。
因此,如何根据多个验证错误的报错来快速确定实际上出错的位置是一个亟待解决的问题。
发明内容
本申请的第一方面提供一种在逻辑系统设计中定位验证错误的方法,包括:接收所述逻辑系统设计在验证环境中产生的多个验证错误,所述多个验证错误包括多个第一验证错误和第二验证错误;在所述多个验证错误中,确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系;基于所述逻辑系统设计、所述验证环境以及所述映射关系生成所述错误定位模型;以及使用所述错误定位模型确定第二验证错误的第二错误位置。
本申请的第二方面提供一种电子设备。该电子设备包括存储器,用于存储一组指令;以及至少一个处理器,配置为执行该组指令以使得所述电子设备执行如第一方面所述的方法。
本申请的第三方面提供一种非暂态计算机可读存储介质,所述非暂态计算机可读存储介质存储计算机的一组指令,该组指令用于在被执行时使所述计算机执行如第一方面所述的方法。
附图说明
为了更清楚地说明本申请或相关技术中的技术方案,下面将对实施例或相关技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本申请的实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1示出了根据本申请实施例的主机的示意图。
图2A示出了根据本申请实施例的仿真工具和调试工具的示意图。
图2B示出了根据本申请实施例的一种示例性验证系统的示意图。
图3A示出了根据本申请实施例的生成错误定位模型的示意图。
图3B示出了根据本申请实施例的使用错误定位模型确定错误位置的示意图。
图4示出了根据本申请实施例的一种在逻辑系统设计中定位验证错误的方法的流程图。
具体实施方式
为使本申请的目的、技术方案和优点更加清楚明白,以下结合具体实施例,并参照附图,对本申请进一步详细说明。
需要说明的是,除非另外定义,本申请使用的技术术语或者科学术语应当为本申请所属领域内具有一般技能的人士所理解的通常意义。本申请中使用的“第一”、“第二”以及类似的词语并不表示任何顺序、数量或者重要性,而只是用来区分不同的组成部分。“包括”等类似的词语意指出现该词前面的元件或者物件涵盖出现在该词后面列举的元件或者物件及其等同,而不排除其他元件或者物件。“连接”等类似的词语并非限定于物理的或者机械的连接,而是可以包括电性的连接,不管是直接的还是间接的。
仿真测试是在运行仿真测试系统的主机上对逻辑系统设计施加各种激励以检测逻辑系统设计是否可以实现预定的功能。
图1示出了根据本申请实施例的主机100的示意图。主机100可以是运行仿真系统的电子设备。如图1所示,主机100可以包括:处理器102、存储器104、网络接口106、外围接口108和总线110。其中,处理器102、存储器104、网络接口106和外围接口108通过总线110实现彼此之间在主机内部的通信连接。
处理器102可以是中央处理器(Central Processing Unit,CPU)、图像处理器、神经网络处理器(NPU)、微控制器(MCU)、可编程逻辑器件、数字信号处理器(DSP)、应用专用集成电路(Application Specific Integrated Circuit,ASIC)、或者一个或多个集成电路。处理器102可以用于执行与本申请描述的技术相关的功能。在一些实施例中,处理器102还可以包括集成为单一逻辑组件的多个处理器。如图1所示,处理器102可以包括多个处理器103A、103B和102c。
存储器104可以配置为存储数据(例如,指令集、计算机代码、中间数据等)。在一些实施例中,用于仿真测试设计的仿真测试系统可以是存储器104中存储的计算机程序。如图1所示,存储器存储的数据可以包括程序指令(例如,用于实现本申请的定位错误的方法的程序指令)以及要处理的数据(例如,存储器可以存储在编译过程产生的临时代码)。处理器102也可以访问存储器存储的程序指令和数据,并且执行程序指令以对要处理的数据进行操作。存储器104可以包括易失性存储装置或非易失性存储装置。在一些实施例中,存储器104可以包括随机访问存储器(RAM)、只读存储器(ROM)、光盘、磁盘、硬盘、固态硬盘(SSD)、闪存、存储棒等。
网络接口106可以配置为经由网络向主机100提供与其他外部设备的通信。该网络可以是能够传输和接收数据的任何有线或无线的网络。例如,该网络可以是有线网络、本地无线网络(例如,蓝牙、WiFi、近场通信(NFC)等)、蜂窝网络、因特网、或上述的组合。可以理解的是,网络的类型不限于上述具体示例。在一些实施例中,网络接口106可以包括任意数量的网络接口控制器(NIC)、射频模块、接收发器、调制解调器、路由器、网关、适配器、蜂窝网络芯片等的任意组合。
外围接口108可以配置为将主机100与一个或多个外围装置连接,以实现信息输入及输出。例如,外围装置可以包括键盘、鼠标、触摸板、触摸屏、麦克风、各类传感器等输入设备以及显示器、扬声器、振动器、指示灯等输出设备。
总线110可以被配置为在主机100的各个组件(例如处理器102、存储器104、网络接口106和外围接口108)之间传输信息,诸如内部总线(例如,处理器-存储器总线)、外部总线(USB端口、PCI-E总线)等。
需要说明的是,尽管上述主机架构仅示出了处理器102、存储器104、网络接口106、外围接口108和总线110,但是在具体实施过程中,该主机架构还可以包括实现正常运行所必需的其他组件。此外,本领域的技术人员可以理解的是,上述主机架构中也可以仅包含实现本申请实施例方案所必需的组件,而不必包含图中所示的全部组件。
图2A示出了根据本申请实施例的仿真工具202和调试工具200的示意图。仿真工具202和调试工具200可以是运行在主机100上的计算机程序。
在芯片设计领域,通常可以利用仿真工具对一个设计进行仿真。仿真工具例如可以是芯华章科技股份有限公司出品的GalaxSim仿真工具。图2A示出的示例性仿真工具202可以包括编译器120和仿真器220。编译器120可以将设计(例如,验证系统210)编译为目标代码204,仿真器220可以根据目标代码204进行仿真,并将仿真结果206输出。例如,仿真工具304可以将仿真结果(例如,仿真波形图)经由图1的外围接口108输出到输出设备上(例如,显示在显示器上)。
调试工具200也可以读取仿真结果206。调试工具200例如可以是芯华章科技股份有限公司出品的Fusion Debug调试工具。例如,调试工具200可以读取以波形文件存储的仿真结果206,并且生成相应的仿真波形用于调试。调试工具200还可以读取验证系统210的描述(通常是SystemVerilog和Verilog代码),并且显示给用户。调试工具200还可以生成各种图形化界面(例如:调试窗口)以方便用户的调试工作。用户可以向调试工具200发出调试命令(例如,运行验证系统210到某个时刻),调试工具200则将该调试命令施加到仿真工具202以相应地执行。调试工具200还可以读取日志文件。日志文件中可以包括仿真过程的各种信息,包括验证错误的信息、报错的行号、验证错误发生的时间等。
可以理解的是,除了与仿真工具202连接,调试工具200还可以与硬件仿真器(emulator)连接。
通过上述方式,本申请构建了用于验证逻辑系统设计的验证环境,通过验证环境对逻辑系统设计进行验证。在以往的验证过程中,当验证环境对逻辑系统设计进行验证时,将会产生大量的验证错误,工程师(用户)将会根据自己的技术以及经验对这些验证错误进行判断并确定其所发生的位置。但是,由于在对逻辑系统设计的验证过程中所产生的验证错误的数量可能是非常庞大的,在此基础上经由人工(工程师)对其进行定位的话,将会极大地增加工程师(用户)的时间成本。
基于此,本申请在此基础上进一步提出了一种在逻辑系统设计中定位验证错误的方法。通过本申请所提供的方法可以在多个验证错误中,确定多个验证错误以及与多个验证错误对应的多个错误位置之间的映射关系,基于逻辑系统设计、验证环境以及映射关系生成错误定位模型,并通过此错误定位模型对验证得到的错误进行错误定位,找到错误的发生位置。在一些实施例中,本申请提供的错误定位模型还可以进行持续地更新,通过对错误定位模型的更新,可以更加精确地定位到错误的发生位置。
接下来,本申请将对如何设计此错误定位模型和如何对此错误定位模型进行更新做更进一步地说明讲解。
图2B示出了根据本申请实施例的一种示例性验证系统210的示意图。验证系统210可以包括逻辑系统设计和验证环境。验证环境可以是由Verilog、SystemVerilog、SystemC等编程语言写的,并且用于向待测设备(即,被测试的逻辑系统设计2102)提供激励信号以及接收待测设备的反馈以检测待测设备是否按设计预期运行。
在一些实施例中,如图2B所示,验证环境与逻辑系统设计2102间通过成千上万的接口相连接,并且通过这些接口上的信号传输对逻辑系统设计2102进行验证。可以理解的是,验证环境可以包括多个测试组件210A和210B。
当验证环境对逻辑系统设计2102进行验证后可以产生多个验证错误2104(如图中的a、b、c、d)。此时,验证环境会对这些多个验证错误2104进行汇总并生成报告。此报告是关于多个验证错误2104(如图中的a、b、c、d)的集合显示。可以理解的是,在实际的测试过程中可以产生大量的验证错误,本实施例中仅以多个第一验证错误a、b、c、d为例进行说明。
在一些实施例中,当验证环境通过对逻辑系统设计2102进行验证后产生并获取多个验证错误2104后,验证环境将对多个验证错误2104整合到日志文件中,其中,日志文件可以包括错误报告。利用多个验证错误以及验证环境和逻辑系统测试2102,调试工具200可以生成错误定位模型。接下来,本申请将对如何生成错误定位模型进行进一步地说明。
图3A示出了根据本申请实施例的生成错误定位模型的示意图。
在一些实施例中,调试工具200可以从验证系统210获取多个验证错误302。这些验证错误302可以从日志文件中提取。
用户可以在使用调试工具200的过程中确定验证错误302(例如,多个验证错误2104中的一个或多个验证错误)的错误位置304。在一些实施例中,错误位置304可以由用户输入到调试工具200。在另一些实施例中,错误位置304可以由调试工具200在用户的调试过程中自动检测到。例如,当用户选定或更改错误位置304时,调试工具200可以检测到该错误位置304。
调试工具200还可以获取逻辑系统设计308和验证环境306。可以理解,多个验证错误302是在验证环境306下由逻辑系统设计308运行多个测试用例得到的。
错误位置304可以是验证错误302在逻辑系统设计308内的位置,例如,一个Verilog文件的某一行、一个设计范围(也称为模块)、或者一个错误实例。错误位置304也可以是位于逻辑系统设计308与验证环境306的边界的一个接口。该接口可以是逻辑系统设计308的一个接口。通过确定具体的接口,调试设备200可以进一步确定验证错误302在逻辑系统设计308内的具体位置(例如,错误的实例)。
根据多个验证错误302、与多个验证错误302对应的从用户获取的错误位置304,调试工具200可以建立多个验证错误302和错误位置304的映射关系310。
在一些实施例中,调试工具200可以响应于用户的请求建立调试窗口。用户可以经由调试工具200将多个验证错误302和多个错误位置304输入至该调试窗口,从而利用该调试窗口建立映射关系310。
在映射关系310的基础上,调试工具200可以进一步根据映射关系310、逻辑系统设计308和验证环境306生成错误定位模型312。通过该错误定位模型312可以快速确定一个验证错误的错误位置。
错误定位模型312可以是一个机器学习模型。如上所述,该机器学习模型可以根据多个验证错误302、与多个验证错误302对应的从用户获取的错误位置304、逻辑系统设计308和验证环境306通过训练得到。可以理解,错误定位模型312可以选择任意适合的机器学习模型来构建,例如,神经网络模型、卷积神经网络模型,等等。在此不做具体限定。
图3B示出了根据本申请实施例的使用错误定位模型确定错误位置的示意图。
如图3B所示,调试工具200可以获取一个新的验证错误322。该验证错误322可以是多个验证错误2104中的一个。利用错误定位模型312,调试工具200可以根据验证错误322、逻辑系统设计308和验证环境306确定验证错误322的错误位置324。如上所述,错误位置324可以逻辑系统设计308内的位置,也可以是逻辑系统设计边界的位置(例如,与验证错误322对应的一个候选接口)。当错误位置324是一个候选接口时,调试工具200可以进一步根据错误位置324和逻辑系统设计308确定该逻辑系统设计308的错误实例作为错误位置。
在一些实施例中,调试工具200利用映射关系310确定的错误位置324可能与验证错误322的实际错误位置不同。用户可以在调试过程中向调试工具200提供修改的实际错误位置。这样,调试工具200还可以根据从用户处获取的实际错误位置来调整映射关系310,从而提高预测的精确度。例如,调试工具200可以接收修改错误位置324的指令。这样,根据修改的错误位置和原错误位置324可以调整并更新映射关系310,并相应地根据逻辑系统设计308、验证环境306和更新的映射关系310更新错误定位模型312。可以理解的是,利用用户修正的实际错误位置来调整错误定位模型312的流程类似于图3A的流程图,在此不再赘述。
图4示出了根据本申请实施例的一种在逻辑系统设计中定位验证错误的方法400的流程图。方法400可以由图1所示的主机100执行。更具体地,方法400可以由在主机100上运行的调试工具200执行。方法400可以包括如下步骤。
在步骤402,调试工具200可以接收所述逻辑系统设计(例如,图3A的逻辑系统设计308)在验证环境(例如,图3A的验证环境306)中产生的多个验证错误(例如,图2B的多个验证错误2104)。例如,调试工具200可以读取调试日志来获取所述多个验证错误。所述多个验证错误可以包括多个第一验证错误(例如,图3A的验证错误302)和第二验证错误(例如,图3B的验证错误322)。
在步骤404,在所述多个验证错误中,调试工具200可以确定多个第一验证错误(例如,图3A的验证错误302)以及与所述多个第一验证错误对应的多个第一错误位置(例如,图3A的错误位置304)之间的映射关系(例如,图3A的映射关系310)。例如,所述第一错误位置是所述逻辑系统设计中与所述第一验证错误对应的错误实例。第一错误位置还可以是所述逻辑系统设计中与所述第一验证错误对应的接口。
在一些实施例中,为了确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系,调试工具200可以接收所述多个第一验证错误;由用户确定所述多个第一验证错误在所述逻辑系统设计中的第一错误位置;确定所述多个第一验证错误和所述多个第一错误位置之间的映射关系。
在一些实施例中,调试工具200还可以通过调试工具建立调试窗口;将所述多个第一验证错误和所述多个第一错误位置输入至所述调试窗口;以及通过所述调试窗口建立所述映射关系。
在步骤406,调试工具200可以基于所述逻辑系统设计、所述验证环境以及所述映射关系生成所述错误定位模型(例如,图3A的错误定位模型312)。生成所述错误定位模型的过程可以是利用机器模型进行训练的过程。
在步骤408,调试工具200可以使用所述错误定位模型确定第二验证错误的第二错误位置(例如,图3B的错误位置324)。在一些实施例中,如上所述,调试工具200可以使用所述错误定位模型确定所述第二验证错误的候选接口;以及根据所述候选接口和所述逻辑系统设计确定所述逻辑系统设计的错误实例作为第二错误位置。
在一些实施例中,第二错误位置可能不够准确。因此,调试工具200还可以接收用户修改所述第二错误位置的指令;根据所述第二验证错误和所述修改的第二错误位置更新所述映射关系;以及根据所述逻辑系统设计、所述验证环境以及所述更新的映射关系更新所述错误定位模型。
本申请实施例还提供一种电子设备。该电子设备可以是图1的主机100。该电子设备可以包括存储器,用于存储一组指令;以及至少一个处理器,配置为执行该组指令以使得所述电子设备执行方法400。
本申请实施例还提供一种非暂态计算机可读存储介质。所述非暂态计算机可读存储介质存储计算机的一组指令,该组指令用于在被执行时使所述计算机执行方法400。
上述对本申请的一些实施例进行了描述。其他实施例在所附权利要求书的范围内。在一些情况下,在权利要求书中记载的动作或步骤可以按照不同于实施例中的顺序来执行并且仍然可以实现期望的结果。另外,在附图中描绘的过程不一定要求示出的特定顺序或者连续顺序才能实现期望的结果。在某些实施方式中,多任务处理和并行处理也是可以的或者可能是有利的。
所属领域的普通技术人员应当理解:以上任何实施例的讨论仅为示例性的,并非旨在暗示本申请的范围(包括权利要求)被限于这些例子;在本申请的思路下,以上实施例或者不同实施例中的技术特征之间也可以进行组合,步骤可以以任意顺序实现,并存在如上所述的本申请的不同方面的许多其它变化,为了简明它们没有在细节中提供。
尽管已经结合了本申请的具体实施例对本申请进行了描述,但是根据前面的描述,这些实施例的很多替换、修改和变型对本领域普通技术人员来说将是显而易见的。例如,其它存储器架构(例如,动态RAM(DRAM))可以使用所讨论的实施例。
本申请旨在涵盖落入所附权利要求的宽泛范围之内的所有这样的替换、修改和变型。因此,凡在本申请的精神和原则之内,所做的任何省略、修改、等同替换、改进等,均应包含在本申请的保护范围之内。
Claims (9)
1.一种在逻辑系统设计中定位验证错误的方法,包括:
接收所述逻辑系统设计在验证环境中产生的多个验证错误,所述多个验证错误包括多个第一验证错误和第二验证错误;
在所述多个验证错误中,确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系;
基于所述逻辑系统设计、所述验证环境以及所述映射关系生成所述错误定位模型;以及
使用所述错误定位模型确定所述第二验证错误的第二错误位置。
2.如权利要求1所述的方法,其中,确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系进一步包括:
接收所述多个第一验证错误;
由用户确定所述多个第一验证错误在所述逻辑系统设计中的第一错误位置;以及
确定所述多个第一验证错误和所述多个第一错误位置之间的映射关系。
3.如权利要求1所述的方法,其中,所述第一错误位置是所述逻辑系统设计中与所述第一验证错误对应的接口。
4.如权利要求3所述的方法,其中,使用所述错误定位模型确定所述第二验证错误的第二错误位置进一步包括:
使用所述错误定位模型确定所述第二验证错误的候选接口;以及
根据所述候选接口和所述逻辑系统设计确定所述逻辑系统设计的错误实例作为所述第二错误位置。
5.如权利要求1所述的方法,其中,所述第一错误位置是所述逻辑系统设计中与所述第一验证错误对应的错误实例。
6.如权利要求1所述的方法,进一步包括:
接收用户修改所述第二错误位置的指令;
根据所述第二验证错误和修改的第二错误位置更新所述映射关系;以及
根据所述逻辑系统设计、所述验证环境以及更新的映射关系更新所述错误定位模型。
7.如权利要求2所述的方法,其中,确定所述多个第一验证错误和所述多个第一错误位置之间的映射关系,进一步包括:
通过调试工具建立调试窗口;
将所述多个第一验证错误和所述多个第一错误位置输入至所述调试窗口;以及
通过所述调试窗口建立所述映射关系。
8.一种电子设备,包括
存储器,用于存储一组指令;以及
至少一个处理器,配置为执行该组指令以使得所述电子设备执行如权利要求1至7的任一项所述的方法。
9.一种非暂态计算机可读存储介质,所述非暂态计算机可读存储介质存储计算机的一组指令,该组指令用于在被执行时使所述计算机执行如权利要求1至7的任一项所述的方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202211060639.XA CN115510782B (zh) | 2022-08-31 | 2022-08-31 | 定位验证错误的方法、电子设备和存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202211060639.XA CN115510782B (zh) | 2022-08-31 | 2022-08-31 | 定位验证错误的方法、电子设备和存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN115510782A true CN115510782A (zh) | 2022-12-23 |
CN115510782B CN115510782B (zh) | 2024-04-26 |
Family
ID=84502772
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202211060639.XA Active CN115510782B (zh) | 2022-08-31 | 2022-08-31 | 定位验证错误的方法、电子设备和存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN115510782B (zh) |
Citations (20)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2006309576A (ja) * | 2005-04-28 | 2006-11-09 | Canon Inc | 論理システムの検証装置及び検証方法、記憶媒体及びコンピュータプログラム |
JP2007058431A (ja) * | 2005-08-23 | 2007-03-08 | Canon Inc | シミュレーションモデル、及びシミュレーション方法 |
US20130159964A1 (en) * | 2011-12-15 | 2013-06-20 | The Mathworks, Inc. | System and method for systematic error injection in generated code |
CN103198016A (zh) * | 2013-03-26 | 2013-07-10 | 哈尔滨工业大学 | 基于联合依赖概率建模的软件错误定位方法 |
CN103294837A (zh) * | 2012-02-23 | 2013-09-11 | 安凯(广州)微电子技术有限公司 | 一种集成电路的验证调试方法及系统 |
US20140075245A1 (en) * | 2012-09-07 | 2014-03-13 | Samsung Electronics Co., Ltd. | Apparatus and method for detecting location of source code error in mixed-mode program |
US20140089899A1 (en) * | 2011-06-08 | 2014-03-27 | Universität Bremen | Method for the computer-assisted analysis of buggy source code in a hardware description language |
CN105589993A (zh) * | 2015-12-18 | 2016-05-18 | 中国科学院微电子研究所 | 微处理器功能验证设备及微处理器功能验证方法 |
CN105677572A (zh) * | 2016-02-04 | 2016-06-15 | 华中科技大学 | 基于自组织映射模型云软件性能异常错误诊断方法与系统 |
CN105893256A (zh) * | 2016-03-30 | 2016-08-24 | 西北工业大学 | 基于机器学习算法的软件故障定位方法 |
CN106886490A (zh) * | 2016-12-30 | 2017-06-23 | 浙江理工大学 | 一种基于失效轨迹的程序错误定位方法 |
CN111090582A (zh) * | 2019-11-22 | 2020-05-01 | 东软集团股份有限公司 | 错误代码定位方法、装置、存储介质及电子设备 |
CN111324355A (zh) * | 2020-02-11 | 2020-06-23 | 苏州浪潮智能科技有限公司 | 一种调试众核代码的方法及系统 |
CN111581086A (zh) * | 2020-04-28 | 2020-08-25 | 清华大学深圳国际研究生院 | 一种基于RankNet的混合软件错误定位方法及系统 |
CN111983429A (zh) * | 2020-08-19 | 2020-11-24 | Oppo广东移动通信有限公司 | 芯片验证系统、芯片验证方法、终端及存储介质 |
CN112015665A (zh) * | 2020-09-30 | 2020-12-01 | 北京百度网讯科技有限公司 | 测试验证的回溯方法、装置、电子设备及存储介质 |
CN112965897A (zh) * | 2021-02-19 | 2021-06-15 | 浙江理工大学 | 一种基于mRMR算法挑选可疑度公式的程序错误定位方法 |
CN113392977A (zh) * | 2020-03-12 | 2021-09-14 | 中国电信股份有限公司 | 用于对建模错误进行定位的方法、装置以及存储介质 |
CN114239453A (zh) * | 2021-12-17 | 2022-03-25 | 海光信息技术股份有限公司 | 仿真验证平台构建方法、仿真验证方法、装置及设备 |
CN114662427A (zh) * | 2022-03-08 | 2022-06-24 | 芯华章科技股份有限公司 | 一种逻辑系统设计的调试方法及设备 |
-
2022
- 2022-08-31 CN CN202211060639.XA patent/CN115510782B/zh active Active
Patent Citations (20)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2006309576A (ja) * | 2005-04-28 | 2006-11-09 | Canon Inc | 論理システムの検証装置及び検証方法、記憶媒体及びコンピュータプログラム |
JP2007058431A (ja) * | 2005-08-23 | 2007-03-08 | Canon Inc | シミュレーションモデル、及びシミュレーション方法 |
US20140089899A1 (en) * | 2011-06-08 | 2014-03-27 | Universität Bremen | Method for the computer-assisted analysis of buggy source code in a hardware description language |
US20130159964A1 (en) * | 2011-12-15 | 2013-06-20 | The Mathworks, Inc. | System and method for systematic error injection in generated code |
CN103294837A (zh) * | 2012-02-23 | 2013-09-11 | 安凯(广州)微电子技术有限公司 | 一种集成电路的验证调试方法及系统 |
US20140075245A1 (en) * | 2012-09-07 | 2014-03-13 | Samsung Electronics Co., Ltd. | Apparatus and method for detecting location of source code error in mixed-mode program |
CN103198016A (zh) * | 2013-03-26 | 2013-07-10 | 哈尔滨工业大学 | 基于联合依赖概率建模的软件错误定位方法 |
CN105589993A (zh) * | 2015-12-18 | 2016-05-18 | 中国科学院微电子研究所 | 微处理器功能验证设备及微处理器功能验证方法 |
CN105677572A (zh) * | 2016-02-04 | 2016-06-15 | 华中科技大学 | 基于自组织映射模型云软件性能异常错误诊断方法与系统 |
CN105893256A (zh) * | 2016-03-30 | 2016-08-24 | 西北工业大学 | 基于机器学习算法的软件故障定位方法 |
CN106886490A (zh) * | 2016-12-30 | 2017-06-23 | 浙江理工大学 | 一种基于失效轨迹的程序错误定位方法 |
CN111090582A (zh) * | 2019-11-22 | 2020-05-01 | 东软集团股份有限公司 | 错误代码定位方法、装置、存储介质及电子设备 |
CN111324355A (zh) * | 2020-02-11 | 2020-06-23 | 苏州浪潮智能科技有限公司 | 一种调试众核代码的方法及系统 |
CN113392977A (zh) * | 2020-03-12 | 2021-09-14 | 中国电信股份有限公司 | 用于对建模错误进行定位的方法、装置以及存储介质 |
CN111581086A (zh) * | 2020-04-28 | 2020-08-25 | 清华大学深圳国际研究生院 | 一种基于RankNet的混合软件错误定位方法及系统 |
CN111983429A (zh) * | 2020-08-19 | 2020-11-24 | Oppo广东移动通信有限公司 | 芯片验证系统、芯片验证方法、终端及存储介质 |
CN112015665A (zh) * | 2020-09-30 | 2020-12-01 | 北京百度网讯科技有限公司 | 测试验证的回溯方法、装置、电子设备及存储介质 |
CN112965897A (zh) * | 2021-02-19 | 2021-06-15 | 浙江理工大学 | 一种基于mRMR算法挑选可疑度公式的程序错误定位方法 |
CN114239453A (zh) * | 2021-12-17 | 2022-03-25 | 海光信息技术股份有限公司 | 仿真验证平台构建方法、仿真验证方法、装置及设备 |
CN114662427A (zh) * | 2022-03-08 | 2022-06-24 | 芯华章科技股份有限公司 | 一种逻辑系统设计的调试方法及设备 |
Non-Patent Citations (5)
Title |
---|
A. KHAN, R. N. PITTMAN AND A. FORIN: "gNOSIS: A Board-Level Debugging and Verification Tool", 《2010 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS》, pages 43 - 48 * |
刘萌;冯海洲;李康;马佩军;史江一;: "基于SystemVerilog的网络处理器验证平台设计", 电子器件, no. 03, pages 320 - 323 * |
刘誉臻;孙文辉;张震宇;石琼;: "程序覆盖进行错误自动定位方法的在线实验平台", 小型微型计算机系统, no. 11, pages 2397 - 2401 * |
宋慧静;赵天磊;吴虎成;张民选;: "基于多模拟器协同模拟的微处理器验证技术研究", 小型微型计算机系统, no. 09, pages 2130 - 2134 * |
李皓;李险峰;庞九凤;黄侃;郑衍松;佟冬;程旭;: "基于固件的系统芯片协同验证平台", 计算机辅助设计与图形学学报, no. 09, pages 1593 - 1602 * |
Also Published As
Publication number | Publication date |
---|---|
CN115510782B (zh) | 2024-04-26 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2022537620A (ja) | 人工知能チップ検証 | |
CN114662427B (zh) | 一种逻辑系统设计的调试方法及设备 | |
US8271252B2 (en) | Automatic verification of device models | |
CN112286750A (zh) | 一种gpio验证方法、装置、电子设备和介质 | |
CN116663462A (zh) | 断言验证方法、断言验证平台、电子设备及可读存储介质 | |
CN113742221A (zh) | 生成测试用例的方法、电子设备及存储介质 | |
CN114548027A (zh) | 在验证系统中追踪信号的方法、电子设备及存储介质 | |
CN111624475B (zh) | 大规模集成电路的测试方法及系统 | |
CN115470125B (zh) | 基于日志文件的调试方法、设备以及存储介质 | |
CN115510782B (zh) | 定位验证错误的方法、电子设备和存储介质 | |
US20230055523A1 (en) | Method, apparatus, and storage medium for generating test cases | |
CN115827636A (zh) | 存储及从波形数据库读取逻辑系统设计的仿真数据的方法 | |
CN114519332B (zh) | 一种基于断言的处理器验证方法、装置及电子设备 | |
CN117332733A (zh) | 一种定位逻辑系统设计的错误的方法、设备以及存储介质 | |
CN117313596A (zh) | 一种定位逻辑系统设计的错误的方法、设备以及存储介质 | |
CN116069629B (zh) | 测试设计的方法、电子设备及存储介质 | |
CN116594830B (zh) | 硬件仿真工具、调试方法和存储介质 | |
El-Kharashy et al. | A novel assertions-based code coverage automatic cad tool | |
CN107679266A (zh) | 闪存电路的仿真方法及仿真装置 | |
CN112989736B (zh) | 用于检测修改设计的错误实例的方法、设备及存储介质 | |
CN117313650B (zh) | 一种芯片测试验证方法及其应用装置 | |
US20030233504A1 (en) | Method for detecting bus contention from RTL description | |
CN117933155B (zh) | 一种多进程联合仿真系统及方法、电子设备和存储介质 | |
CN116861829B (zh) | 用于定位逻辑系统设计中错误的方法、电子设备 | |
CN115168190A (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 |