定位验证错误的方法、电子设备和存储介质技术

本申请提供一种在逻辑系统设计中定位验证错误的方法，包括：接收所述逻辑系统设计在验证环境中产生的多个验证错误，所述多个验证错误包括多个第一验证错误和第二验证错误；在所述多个验证错误中，确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系；基于所述逻辑系统设计、所述验证环境以及所述映射关系生成所述错误定位模型；以及使用所述错误定位模型确定第二验证错误的第二错误位置。二验证错误的第二错误位置。二验证错误的第二错误位置。

【技术实现步骤摘要】
定位验证错误的方法、电子设备和存储介质


[0001]本申请实施例涉及芯片验证
，尤其涉及一种在逻辑系统设计中定位错误的方法、电子设备及存储介质。

技术介绍

[0002]在集成电路的验证领域，为了验证逻辑系统设计是否正确，需要设计验证环境用于验证逻辑系统设计。验证环境在编译之后可以在计算机或硬件仿真设备上运行，以对逻辑系统设计的各种功能进行仿真测试，从而验证逻辑系统设计是否正确。
[0003]验证环境通过成千上万的接口与逻辑系统设计相连接。当验证环境对逻辑系统设计进行验证时，验证环境会对验证过程中发现的验证错误进行报告。但是由于验证环境与逻辑系统设计间的接口数量太过庞大，导致验证环境无法直接定位到验证错误的实际发生位置。实际操作过程中，通常由工程师(用户)经过经验和具体的检测来判定被报告的验证错误的实际发生位置(也称为根本原因(root cause))。但是由于验证错误的数量可能较多，如果每一次发现验证错误后都经由工程师(用户)判断再进行定位的话在时间上和人工成本上都过于浪费。并且在大量的错误报告中，还可能存在大量的相同或相似的验证错误。这些验证错误很可能是由于相同的根本原因造成。对这些错误的重复判定也增加了不必要的工作量，导致了对逻辑系统设计进行验证错误的过程中效率下降的问题。
[0004]因此，如何根据多个验证错误的报错来快速确定实际上出错的位置是一个亟待解决的问题。

技术实现思路

[0005]本申请的第一方面提供一种在逻辑系统设计中定位验证错误的方法，包括：接收所述逻辑系统设计在验证环境中产生的多个验证错误，所述多个验证错误包括多个第一验证错误和第二验证错误；在所述多个验证错误中，确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系；基于所述逻辑系统设计、所述验证环境以及所述映射关系生成所述错误定位模型；以及使用所述错误定位模型确定第二验证错误的第二错误位置。
[0006]本申请的第二方面提供一种电子设备。该电子设备包括存储器，用于存储一组指令；以及至少一个处理器，配置为执行该组指令以使得所述电子设备执行如第一方面所述的方法。
[0007]本申请的第三方面提供一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储计算机的一组指令，该组指令用于在被执行时使所述计算机执行如第一方面所述的方法。
附图说明
[0008]为了更清楚地说明本申请或相关技术中的技术方案，下面将对实施例或相关技术
描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本申请的实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
[0009]图1示出了根据本申请实施例的主机的示意图。
[0010]图2A示出了根据本申请实施例的仿真工具和调试工具的示意图。
[0011]图2B示出了根据本申请实施例的一种示例性验证系统的示意图。
[0012]图3A示出了根据本申请实施例的生成错误定位模型的示意图。
[0013]图3B示出了根据本申请实施例的使用错误定位模型确定错误位置的示意图。
[0014]图4示出了根据本申请实施例的一种在逻辑系统设计中定位验证错误的方法的流程图。
具体实施方式
[0015]为使本申请的目的、技术方案和优点更加清楚明白，以下结合具体实施例，并参照附图，对本申请进一步详细说明。
[0016]需要说明的是，除非另外定义，本申请使用的技术术语或者科学术语应当为本申请所属领域内具有一般技能的人士所理解的通常意义。本申请中使用的“第一”、“第二”以及类似的词语并不表示任何顺序、数量或者重要性，而只是用来区分不同的组成部分。“包括”等类似的词语意指出现该词前面的元件或者物件涵盖出现在该词后面列举的元件或者物件及其等同，而不排除其他元件或者物件。“连接”等类似的词语并非限定于物理的或者机械的连接，而是可以包括电性的连接，不管是直接的还是间接的。
[0017]仿真测试是在运行仿真测试系统的主机上对逻辑系统设计施加各种激励以检测逻辑系统设计是否可以实现预定的功能。
[0018]图1示出了根据本申请实施例的主机100的示意图。主机100可以是运行仿真系统的电子设备。如图1所示，主机100可以包括：处理器102、存储器104、网络接口106、外围接口108和总线110。其中，处理器102、存储器104、网络接口106和外围接口108通过总线110实现彼此之间在主机内部的通信连接。
[0019]处理器102可以是中央处理器(Central Processing Unit，CPU)、图像处理器、神经网络处理器(NPU)、微控制器(MCU)、可编程逻辑器件、数字信号处理器(DSP)、应用专用集成电路(Application Specific Integrated Circuit，ASIC)、或者一个或多个集成电路。处理器102可以用于执行与本申请描述的技术相关的功能。在一些实施例中，处理器102还可以包括集成为单一逻辑组件的多个处理器。如图1所示，处理器102可以包括多个处理器103A、103B和102c。
[0020]存储器104可以配置为存储数据(例如，指令集、计算机代码、中间数据等)。在一些实施例中，用于仿真测试设计的仿真测试系统可以是存储器104中存储的计算机程序。如图1所示，存储器存储的数据可以包括程序指令(例如，用于实现本申请的定位错误的方法的程序指令)以及要处理的数据(例如，存储器可以存储在编译过程产生的临时代码)。处理器102也可以访问存储器存储的程序指令和数据，并且执行程序指令以对要处理的数据进行操作。存储器104可以包括易失性存储装置或非易失性存储装置。在一些实施例中，存储器104可以包括随机访问存储器(RAM)、只读存储器(ROM)、光盘、磁盘、硬盘、固态硬盘(SSD)、
闪存、存储棒等。
[0021]网络接口106可以配置为经由网络向主机100提供与其他外部设备的通信。该网络可以是能够传输和接收数据的任何有线或无线的网络。例如，该网络可以是有线网络、本地无线网络(例如，蓝牙、WiFi、近场通信(NFC)等)、蜂窝网络、因特网、或上述的组合。可以理解的是，网络的类型不限于上述具体示例。在一些实施例中，网络接口106可以包括任意数量的网络接口控制器(NIC)、射频模块、接收发器、调制解调器、路由器、网关、适配器、蜂窝网络芯片等的任意组合。
[0022]外围接口108可以配置为将主机100与一个或多个外围装置连接，以实现信息输入及输出。例如，外围装置可以包括键盘、鼠标、触摸板、触摸屏、麦克风、各类传感器等输入设备以及显示器、扬声器、振动器、指示灯等输出设备。
[0023]总线110可以被配置为在主机100的各个组件(例如处理器102、存储器104、网络接口106和外围接口108)之间传输信息，诸如内部总线(例如，处理器
‑
存储器总线)、外部总线(U本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种在逻辑系统设计中定位验证错误的方法，包括：接收所述逻辑系统设计在验证环境中产生的多个验证错误，所述多个验证错误包括多个第一验证错误和第二验证错误；在所述多个验证错误中，确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系；基于所述逻辑系统设计、所述验证环境以及所述映射关系生成所述错误定位模型；以及使用所述错误定位模型确定所述第二验证错误的第二错误位置。2.如权利要求1所述的方法，其中，确定多个第一验证错误以及与所述多个第一验证错误对应的多个第一错误位置之间的映射关系进一步包括：接收所述多个第一验证错误；由用户确定所述多个第一验证错误在所述逻辑系统设计中的第一错误位置；以及确定所述多个第一验证错误和所述多个第一错误位置之间的映射关系。3.如权利要求1所述的方法，其中，所述第一错误位置是所述逻辑系统设计中与所述第一验证错误对应的接口。4.如权利要求3所述的方法，其中，使用所述错误定位模型确定所述第二验证错误的第二错误位置进一步包括：使用所述错误定位模型确定所述第二验证错误的候选接口；以及根据所述候...

【专利技术属性】
技术研发人员：黄世杰，
申请(专利权)人：芯华章科技股份有限公司，
类型：发明
国别省市：