CN115034164A - 验证方法、电子设备及存储介质 - Google Patents

Abstract

本申请提供了一种对逻辑系统设计进行验证的方法、电子设备及存储介质。该方法包括：接收用户的验证目标；根据所述验证目标，经由整合工具的调用接口来分别调用多个验证工具；基于所述验证目标和所述多个验证工具生成多工具验证流程；以及根据所述多工具验证流程调用所述多个验证工具以实现所述验证目标。

Description

验证方法、电子设备及存储介质

技术领域

本申请涉及计算机软件技术领域，尤其涉及一种对逻辑系统设计进行验证的方法、电子设备及存储介质。

背景技术

在集成电路的验证领域，仿真一般是指将设计进行编译之后在计算机上运行，以对逻辑系统设计的各种功能进行仿真测试。逻辑系统设计可以是，例如，用于供专门应用的集成电路(Application Specific Integrated Circuit，简称ASIC)或者片上系统芯片(System-On-Chip，简称SOC)的设计。因此，在仿真中被测试或验证的设计又可以称为待测设备(Device Under Test，简称DUT)。

伴随着芯片设计规模的扩大，验证逻辑系统设计所需的验证工具数量越来越多。但是，目前各种验证工具之间缺乏协同。用户无法方便地调用多个验证工具进行协同验证。

发明内容

有鉴于此，本申请提出了一种验证方法、电子设备及存储介质。

本申请的第一方面提供了一种对逻辑系统设计进行验证的方法。该方法包括：接收用户的验证目标；根据所述验证目标，经由整合工具的调用接口来分别调用多个验证工具；基于所述验证目标和所述多个验证工具生成多工具验证流程；以及根据所述多工具验证流程调用所述多个验证工具以实现所述验证目标。

本申请的第二方面提供了一种电子设备。该电子设备包括：存储器，用于存储一组指令；以及至少一个处理器，配置为执行该组指令以进行如第一方面所述的方法。

本申请的第三方面提供了一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储电子装置的一组指令，该组指令用于使所述电子装置执行如第一方面所述的方法。

本申请提供的验证方法、电子设备及存储介质，通过经由整合工具对多个验证工具的能力进行整合和进一步编辑，使得用户可以灵活地设计自己所需的验证功能，提高了用户对逻辑系统设计进行验证的效率。此外，在用户本地暂时缺乏个别验证工具的情况下，本申请实施例提供的整合工具还可以从云端调用该个别验证工具来满足用户的临时需求。

附图说明

为了更清楚地说明本申请或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本申请，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。

图1A示出了根据本申请实施例的一种示例性电子设备的结构示意图。

图1B示出了根据本申请实施例的示例性验证工具的集合。

图2示出了根据本申请实施例的一种整合工具的示意图。

图3示出了根据本申请实施例的云端的验证工具的示意图。

图4示出了根据本申请实施例的实现验证目标的流程的示意图。

图5示出了根据本申请实施例的一种对逻辑系统设计进行验证的方法的流程图。

具体实施方式

为使本申请的目的、技术方案和优点更加清楚明白，以下结合具体实施例，并参照附图，对本申请进一步详细说明。

需要说明的是，除非另外定义，本申请使用的技术术语或者科学术语应当为本申请所属领域内具有一般技能的人士所理解的通常意义。本申请中使用的“第一”、“第二”以及类似的词语并不表示任何顺序、数量或者重要性，而只是用来区分不同的组成部分。“包括”或者“包含”等类似的词语意指出现该词前面的元件或者物件涵盖出现在该词后面列举的元件或者物件及其等同，而不排除其他元件或者物件。“连接”或者“相连”等类似的词语并非限定于物理的或者机械的连接，而是可以包括电性的连接，不管是直接的还是间接的。

图1A示出了根据本申请实施例的一种电子设备100的结构示意图。电子设备100例如可以是计算机主机。该电子设备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还可以包括集成为单一逻辑组件的多个处理器。如图1A所示，处理器102可以包括多个处理器102a、102b和102c。

存储器104可以配置为存储数据(例如，指令集、计算机代码、中间数据等)。例如，如图1A所示，存储的数据可以包括程序指令(例如，用于实现本申请的技术方案的程序指令)以及要处理的数据(例如，存储器104可以存储在编译过程产生的临时代码)。处理器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，但是在具体实施过程中，该设备还可以包括实现正常运行所必需的其他组件。此外，本领域的技术人员可以理解的是，上述设备中也可以仅包含实现本申请实施例方案所必需的组件，而不必包含图中所示的全部组件。

图1B示出了根据本申请实施例的示例性验证工具的集合。

如图1B所示，在逻辑系统设计(例如，芯片设计)的验证过程中，可能涉及多种验证工具，诸如仿真工具、形式验证工具、PSS(Portable Stimulus Standard，可移植激励标准)工具、波形工具、调试工具、等效验证工具之类。在现有技术中，这些验证工具都只能单独的运行，而无法实现整合调用。

然而，在实际的逻辑系统设计(例如，芯片设计)的验证过程中，经常需要多种工具协作来实现高效率的验证。

为了解决上述问题，本申请的实施例提供一种验证方法、电子设备和存储介质，以高效率的整合多种验证工具，方便验证用户实现自己期望实现的自定义功能。

图2示出了根据本申请实施例的一种整合工具200的示意图。

整合工具200可以包括一个调用接口202。该整合工具200可以经由该调用接口202与多个验证工具的接口进行连接。例如，整合工具200的调用接口202可以分别通信地连接到验证工具212、214和216的接口2122、2142以及2162，用于调用验证工具212、214和216。可以理解的是，本申请中的一个调用接口202可以包括多个子接口。换而言之，调用接口202可以单次调用多个验证工具。

验证工具212、214、216可以是软件仿真工具、形式化验证工具、硬件仿真工具、调试工具等多种验证工具。其中，软件仿真的核心单元可以是以CPU为核心的计算机主机，硬件仿真的核心单元可以是FPGA芯片或专用芯片及其电路系统。每种验证工具都有对应的软硬件资源数量。整合工具200可以通过调用接口202连接到验证工具212、214、216的接口2122、2142以及2162，以收集各验证工具的当前相关软硬件可用资源数量，以便给后继的验证流程和验证任务调度提供支持信息。

接口2122、2142以及2162可以是应用编程接口(Application ProgrammingInterface，API)或命令行调用接口，用于向经由该接口发起调用请求的工具提供验证工具212、214和216的能力。

在一些实施例中，当接口2122、2142以及2162是API时，整合工具200可以经由调用接口202来调用API，进而调用对应的验证工具212、214或216。

在一些实施例中，当接口2122、2142以及2162是命令行调用接口时，整合工具200可以利用脚本来向接口2122、2142以及2162输入命令并进而调用对应的验证工具212、214或216。

图3示出了根据本申请实施例的云端的验证工具302的示意图。如图3所示，整合工具200经由调用接口202通信地连接到云端的验证工具302，从而可以远程的调用验证工具302的能力。

在一些实施例中，用户使用整合工具200调用某个验证工具时，该验证工具可能并未安装到电子设备100上。该尚未安装的验证工具可能是一个用户平时不大常用的工具。整合工具200也可以经由网络从云端调用由EDA工具厂家通过云服务提供的工具。也就是说，整合工具200可以经由调用接口202调用云端的工具。

在一些实施例中，为了调用多个验证工具，整合工具200可以接收用户的验证目标，并且根据验证目标来分别调用多个验证工具。

图4示出了根据本申请实施例的实现验证目标的流程400的示意图。

如图4所示，整合工具200可以从用户(未示出)接收验证目标402。验证目标402例如可以是检测一个芯片设计是否可以在动态验证中在达到行覆盖率90％以上的情况下通过全部的测试用例并且通过静态验证。

根据验证目标402，整合工具200可以经由调用接口202来分别调用多个验证工具(例如，验证工具212、214、216或302等)。在一些实施例中，整合工具200可以分析验证目标402以确定与验证目标402关联的多个验证任务40 4(例如，验证任务4041-4043)以及多个验证任务404的执行顺序(如验证任务4041-4043之间的箭头所示)。

例如，上述验证目标402可以由整合工具200分解为由软件仿真工具进行动态验证(验证任务4041)，由形式化验证工具进行静态验证(验证任务4042)，将动态验证和静态验证的失败断言/测试用例发送到调试工具(验证任务4043)。初始的执行顺序可以是顺序执行。可以理解的是，验证任务可以包括执行该任务所需的全部输入(例如，芯片设计源代码、断言、测试台(TB)、测试用例等)。

除了多个验证任务以及执行顺序之外，整合工具200还可以相应生成命令406，用于操作对应的调试工具。

在一些实施例中，多工具验证流程可以包括上述多个验证任务404、执行顺序以及命令406。因此，整合工具200可以基于验证目标和多个验证工具来生成多工具验证流程。

在一些实施例中，验证工具212、214、216或302可以是作为基础计算资源被共享的，甚至验证工具212、214、216或302可以是云计算资源。这意味着验证工具212、214、216或302并不一定在收到验证目标402的时刻就是可用的。

因此，整合工具200还可以确定多个验证工具212、214、216或302的状态。验证工具的状态可以例如包括运行状态、占用状态等。运行状态可以包括运行中或未运行。对于运行中的验证工具，其占用状态可以进一步包括预计的可用时间等。

根据多个验证工具的状态，整合工具200可以调整上述多工具验证流程。例如，根据整合工具200和多个验证工具的通信，整合工具200发现软件仿真工具和形式化验证工具在当前以及未来一段时间都处于空闲状态，整合工具200可以调整多工具验证流程，以将验证任务4041和4042从初始的顺序执行修改为并行执行。又例如，验证目标可以是具有优先级的。当一个具有更高优先级的验证目标请求调用例如调试工具时，整合工具200可以调整多工具验证流程以暂时挂起验证任务4043。

在一些实施例中，整合工具200可以根据当前已执行的验证任务的结果调整多工具验证流程。例如，当验证任务4041执行完毕，整合工具200可以获取验证任务4041的结果。然而，该结果显示覆盖率严重低于预期，此时，整合工具200可以调整测试用例的生成策略，重新生成新的测试用例并重新执行新的验证任务以达到符合要求的覆盖率。

可以理解的是，在上述过程中，用户可以直接下达用户指令/命令来介入和改变多工具验证流程的执行。

因此，整合工具200可以根据验证任务、用户指令、可用的软硬件资源以及内建的自动化智能逻辑来综合决定何时调用何种验证工具，以实现一个动态优化调度验证流程。

整合工具200还可以提供一些预设的库、图形用户界面(Graphical UserInterface，GUI)模板等，允许用于通过输入脚本、命令行或配置文件的形式来调用这些库和GUI，从而将从验证工具212、214和216调用的验证能力构建为自定义的验证功能及顺序。在一些实施例中，不同的用户有对自身设计项目验证的不同流程，比如具体的验证目标用指定验证的验证工具完成，或设计项目的不同模块有验证的前后顺序关系，或指定验证工具根据验证结果输出采取不同的跟进步骤(比如对验证出错的验证用例打开调试工具进行调试)，这些不同的用户流程可以通过整合工具200的自定义功能来实现。

可以理解的是，该整合工具200以及验证工具212、214和216可以都运行在电子设备100上。在一些实施例中，验证工具302可以运行在云端。

在验证工具212、214和216被调用后，可以产生相应的验证结果。验证结果可以以波形数据等数据形式来呈现。整合工具200还可以被配置为分别收集验证工具212、214和216的子验证数据，并整合为统一的验证数据。因为验证目标通常由功能点覆盖和代码覆盖作为指标来衡量，整合工具200可以根据统一的验证数据结果，决定下一步的验证调用流程。在这个流程中，已经由某个验证工具(212、214、216)实现验证目标(即该验证所覆盖的验证功能点或代码)，就不需要在其它验证工具中重复验证。通过这样的流程，可以有效减少单个验证工具所需要进行的验证工作。

更进一步地，整合工具200还可以根据验证目标的特点及当前各验证工具的可用资源(如软件许可证数量或硬件资源数量)，智能化选择最匹配的验证工具来完成当前提交给整合工具200的验证任务，以实现综合验证效率的最大化。

本申请的实施例还提供一种对逻辑系统设计进行验证的方法。

图5示出了根据本申请实施例的一种对逻辑系统设计进行验证的方法500的流程图。该方法500可以由图1的电子设备100执行，更具体地，由在电子设备100上运行的整合工具(例如，图2的整合工具200)执行。该方法500可以包括如下步骤。

在步骤502，电子设备100可以接收用户的验证目标(例如，图4的验证目标402)。该验证目标可以是芯片设计的检测目标。可以理解的是，芯片设计可以在验证过程中不断修改以最终达到验证目标。

在步骤504，根据该验证目标，电子设备100可以经由整合工具200的调用接口(例如，图2和3的接口202)来分别调用多个验证工具(例如，图2和3的验证工具212、214、216或302)。在一些实施例中，该多个验证工具中的第一验证工具是在云端远程提供的工具(例如，图3的验证工具302)。

在一些实施例中，该多个验证工具可以分别具有用于由该整合工具调用该多个验证工具的接口(例如，图2或3的接口2122、2142、2162)。该接口可以是应用编程接口或命令行调用接口。

在一些实施例中，为了分别调用多个验证工具，电子设备100可以分析该验证目标以确定与该验证目标关联的多个验证任务(例如，图4的验证任务4041-4043)以及该多个验证任务的执行顺序(如图4的箭头所示)；以及根据该多个验证任务以及执行顺序来确定要调用的多个验证工具。

在步骤506，电子设备100可以基于该验证目标和该多个验证工具生成多工具验证流程。

在一些实施例中，为了生成多工具验证流程，电子设备100可以确定该多个验证工具的状态；并且根据当前已执行的验证任务的结果和该多个验证工具的状态，调整该多工具验证流程。

如上所述，根据验证工具反馈的状态(例如，某个工具暂时被优先级更高的验证任务占用)，整合工具200可以适应性地调整多工具验证流程。相应地，该验证目标可以具有特定的优先级。验证工具的状态可以包括运行状态、占用状态等。运行状态可以包括运行中或未运行。对于运行中的验证工具，其占用状态可以进一步包括预计的可用时间(例如，何时可以使用、以及可用时间段等)等。

在步骤508，电子设备100可以根据该多工具验证流程调用该多个验证工具以实现该验证目标。

验证工具还可以将已执行的验证任务的结果返回到整合工具。在一些实施例中，已执行的验证任务的结果可能并不符合要求，整合工具200可以自动地或邀请用户手动对多工具验证流程进行修改。

在一些实施例中，整合工具200还可以分别收集多个验证工具的子验证数据；以及可以整合该多个验证工具的子验证数据为统一的验证数据。

整合工具还可以根据该多个验证工具的状态和该当前已执行的验证任务的结果生成图形用户界面。

通过经由整合工具对多个验证工具的能力进行整合和进一步编辑，使得用户可以灵活地设计自己所需的验证功能，提高了用户对逻辑系统设计进行验证的效率。此外，在用户本地暂时缺乏个别验证工具的情况下，本申请实施例提供的整合工具还可以从云端调用该个别验证工具来满足用户的临时需求。可以理解的是，在一些实施例中，全部的验证工具都可以是从云端提供的。此外，整合工具本身也可以是在云端提供的。

需要说明的是，本申请的方法可以由单个设备执行，例如一台计算机或服务器等。本实施例的方法也可以应用于分布式场景下，由多台设备相互配合来完成。在这种分布式场景的情况下，这多台设备中的一台设备可以只执行本申请的方法中的某一个或多个步骤，这多台设备相互之间会进行交互以完成所述的方法。

本申请的实施例还提供一种电子设备。该电子设备包括：存储器，用于存储一组指令；以及至少一个处理器，配置为执行该组指令以进行如上所述的方法。

本实施例的计算机可读介质包括永久性和非永久性的存储介质，用于存储在执行时可以实现上述方法的计算机指令。计算机的存储介质的例子包括，但不限于相变内存(PRAM)、静态随机存取存储器(SRAM)、动态随机存取存储器(DRAM)、其他类型的随机存取存储器(RAM)、只读存储器(ROM)、电可擦除可编程只读存储器(EEPROM)、快闪记忆体或其他内存技术、只读光盘只读存储器(CD-ROM)、数字多功能光盘(DVD)或其他光学存储、磁盒式磁带，磁带磁磁盘存储或其他磁性存储设备或任何其他非传输介质，可用于存储可以被计算设备访问的信息。

上述对本申请特定实施例进行了描述。其他实施例在所附权利要求书的范围内。在一些情况下，在权利要求书中记载的动作或步骤可以按照不同于实施例中的顺序来执行并且仍然可以实现期望的结果。另外，在附图中描绘的过程不一定要求示出的特定顺序或者连续顺序才能实现期望的结果。在某些实施方式中，多任务处理和并行处理也是可以的或者可能是有利的。

所属领域的普通技术人员应当理解：以上任何实施例的讨论仅为示例性的，并非旨在暗示本申请的范围(包括权利要求)被限于这些例子；在本申请的思路下，以上实施例或者不同实施例中的技术特征之间也可以进行组合，步骤可以以任意顺序实现，并存在如上所述的本申请的不同方面的许多其它变化，为了简明它们没有在细节中提供。

另外，为简化说明和讨论，并且为了不会使本申请难以理解，在所提供的附图中可以示出或可以不示出与集成电路(IC)芯片和其它部件的公知的电源/接地连接。此外，可以以框图的形式示出装置，以便避免使本申请难以理解，并且这也考虑了以下事实，即关于这些框图装置的实施方式的细节是高度取决于将要实施本申请的平台的(即，这些细节应当完全处于本领域技术人员的理解范围内)。在阐述了具体细节(例如，电路)以描述本申请的示例性实施例的情况下，对本领域技术人员来说显而易见的是，可以在没有这些具体细节的情况下或者这些具体细节有变化的情况下实施本申请。因此，这些描述应被认为是说明性的而不是限制性的。

尽管已经结合了本申请的具体实施例对本申请进行了描述，但是根据前面的描述，这些实施例的很多替换、修改和变型对本领域普通技术人员来说将是显而易见的。例如，其它存储器架构(例如，动态RAM(DRAM))可以使用所讨论的实施例。

本申请旨在涵盖落入所附权利要求的宽泛范围之内的所有这样的替换、修改和变型。因此，凡在本申请的精神和原则之内，所做的任何省略、修改、等同替换、改进等，均应包含在本申请的保护范围之内。

Claims (10)

1.一种对逻辑系统设计进行验证的方法，包括：

接收用户的验证目标；

根据所述验证目标，经由整合工具的调用接口来分别调用多个验证工具；

基于所述验证目标和所述多个验证工具生成多工具验证流程；以及

根据所述多工具验证流程调用所述多个验证工具以实现所述验证目标。

2.如权利要求1所述的方法，其中，根据所述验证目标，经由整合工具的调用接口来分别调用多个验证工具进一步包括：

分析所述验证目标以确定与所述验证目标关联的多个验证任务以及所述多个验证任务的执行顺序；

根据所述多个验证任务以及执行顺序来确定要调用的所述多个验证工具。

3.如权利要求2所述的方法，其中，基于所述验证目标和所述多个验证工具生成多工具验证流程：

确定所述多个验证工具的状态；

根据当前已执行的验证任务的结果和所述多个验证工具的状态，调整所述多工具验证流程。

4.如权利要求3所述的方法，进一步包括：

根据所述多个验证工具的状态和所述当前已执行的验证任务的结果生成图形用户界面。

5.如权利要求1所述的方法，其中，所述多个验证工具中的第一验证工具是在云端远程提供的工具。

6.如权利要求1所述的方法，其中，

所述多个验证工具分别具有用于由所述整合工具调用所述多个验证工具的接口。

7.如权利要求1所述的方法，进一步包括：

经由所述整合工具分别收集所述多个验证工具的子验证数据；以及

整合所述多个验证工具的子验证数据为统一的验证数据。

8.如权利要求1所述的方法，其中，所述验证目标具有特定的优先级。

9.一种电子设备，包括：

存储器，用于存储一组指令；以及

至少一个处理器，配置为执行该组指令以进行如权利要求1至8任意一项所述的方法。

10.一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储电子装置的一组指令，所述一组指令用于使所述电子装置执行权利要求1至8任一项所述的方法。

Images