CN118364778B - 验证逻辑系统设计的方法、电子装置和存储介质 - Google Patents

Abstract

本申请提供一种在本地主机使用云计算验证逻辑系统设计的方法，包括：编译所述逻辑系统设计以生成编译文件和信号编码表，所述逻辑系统设计包括多个信号，所述信号编码表包括与所述多个信号分别对应的多个编码；将所述编译文件和所述信号编码表上传到云系统以生成与所述逻辑系统设计对应的波形数据库，所述波形数据库包括与所述多个信号对应的多个波形数据；接收读取目标信号的波形数据的第一请求；根据所述信号编码表确定所述目标信号的目标编码；向所述云系统发送读取所述目标编码的波形数据的第二请求；以及从所述云系统接收与所述目标编码对应的波形数据。

Description

验证逻辑系统设计的方法、电子装置和存储介质

技术领域

本申请涉及计算机领域，尤其涉及一种用于使用云计算验证逻辑系统设计的方法、电子装置和存储介质。

背景技术

近年来，伴随着芯片设计规模的增大，在验证过程中本地算力在一些情况下会捉襟见肘。此外，验证过程通常涉及多种工具，例如，软件仿真器、形式化验证工具、硬件仿真器(包括原型验证装置)。完整的芯片设计会涉及更多的工具。

因此，在芯片设计行业，一方面存在着部分工具在特定时段的计算资源紧缺，另一方面又存在着由于工具链过于长而导致部分工具无法充分利用计算资源的情况。

为此，将EDA工具上云作为云计算资源提供成了一种解决上述问题的可行方案。然而，EDA工具上云又引发了关于源代码的安全性的担忧。

发明内容

有鉴于此，本申请提出了一种使用云计算验证逻辑系统设计的方法、电子装置和存储介质。

本申请第一方面提供了一种在本地主机使用云计算验证逻辑系统设计的方法。所述方法包括：编译所述逻辑系统设计以生成编译文件和信号编码表，所述逻辑系统设计包括多个信号，所述信号编码表包括与所述多个信号分别对应的多个编码；将所述编译文件和所述信号编码表上传到云系统以生成与所述逻辑系统设计对应的波形数据库，所述波形数据库包括与所述多个信号对应的多个波形数据；接收读取目标信号的波形数据的第一请求；根据所述信号编码表确定所述目标信号的目标编码；向所述云系统发送读取与所述目标编码对应的波形数据的第二请求；以及从所述云系统接收与所述目标编码对应的波形数据。

本申请第一方面提供了一种云计算的方法。所述方法包括：从本地主机接收逻辑系统设计的编译文件和信号编码表，所述编译文件和信号编码表通过在本地主机编译所述逻辑系统设计来生成，所述逻辑系统设计包括多个信号，所述信号编码表包括与所述多个信号分别对应的多个编码；运行所述编译文件以生成与所述逻辑系统设计对应的波形数据库，所述波形数据库包括与所述多个信号对应的多个波形数据；从所述本地主机接收读取与目标编码对应的波形数据的第二请求；根据所述信号编码表确定与所述目标编码对应的目标信号；根据所述目标信号在所述波形数据库中提取与所述目标信号对应的波形数据；以及将所述波形数据与所述目标编码关联地发送到所述本地主机。

本申请第三方面提供了一种电子装置，包括：存储器，存储用于多个指令；以及至少一个处理器，用于执行所述多个指令以使得所述计算系统进行如第一方面或第二方面所述的方法。

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

附图说明

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

图1A示出了根据本申请实施例的一种电子装置的示意图。

图1B示出了根据本申请实施例的一种云系统的示意图。

图1C示出了根据本申请实施例的一种EDA计算系统的示意图。

图2A示出了使用云计算仿真逻辑系统设计的流程的示意图。

图2B示出了从云系统读取波形数据的流程的示意图。

图3示出了根据本申请实施例的一种在本地主机使用云计算验证逻辑系统设计的方法的流程图。

图4示出了根据本申请实施例的一种云计算的方法的流程图。

具体实施方式

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

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

使用云计算来运行EDA工具以完成逻辑系统设计的验证尽管可以加速逻辑系统设计的验证，但是，如同一切云计算都存在的问题，如何确保用户的逻辑系统设计的安全性是一个亟待解决的问题。和普通的云计算不同，EDA工具的云计算对于安全性的要求非常高。逻辑系统设计的源代码一旦泄露可以给用户造成高达若干亿人民币的损失。因此，为了确保用户的源代码的绝对安全，本申请实施例提出了一种用于使用云计算验证逻辑系统设计的方法、电子装置和存储介质。

图1A示出了根据本申请实施例的一种电子装置100的示意图。如图1A所示，电子装置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可以配置为存储数据(例如，指令、TCL对象的列表、计算机代码、对象的属性与属性的值等)。如图1A所示，存储器存储的数据可以包括程序指令(例如，用于实现本申请的使用云计算验证逻辑系统设计的方法的程序指令)以及要处理的数据(例如，存储器可以存储在编译过程产生的临时代码、对象的属性与属性的值等)。处理器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示出了根据本申请实施例的一种云系统120的示意图。

如图1B所示，云系统120可以包括多个云服务器(122、124)。这些云服务器例如可以是图1A所示的电子装置100或者由云计算服务器提供的计算机。云系统120可以用于提供云计算资源。因此，云系统120在本申请中也被称为云计算资源120。

图1C示出了根据本申请实施例的一种EDA计算系统130的示意图。

本申请的EDA计算系统130可以是一个本地的计算系统，并且可以包括本地主机132。在一些实施例中，计算系统130还可以包括本地计算资源134。

本地主机132可以是如图1A所示的电子装置100。可以理解的是，本地主机132可以包括一台或多台电子装置100。本地主机132可以向用户提供资源管理器，并提供连接到云系统120的接口和连接到计算资源134a和134b的接口。本地主机132还可以将不同的运算任务相应地分配到云端或本地。

在一些实施例中，本地计算资源134可以包括服务器134a或硬件验证工具134b的至少一种。多个EDA任务可以部分在云计算资源120上执行，可以部分在本地计算资源134上执行。可以理解的是，多个EDA任务也可以仅在云计算资源120上执行或者仅在本地计算资源134上执行。

服务器134a可以是如图1A所示的电子装置100。在一些实施例中，服务器134a可以运行至少一种EDA软件工具(例如，软件仿真器(simulator)、形式验证工具等)。服务器134a还可以作为硬件验证工具134b的主机，用于与硬件验证工具134b协同完成验证任务并读取验证结果。

硬件验证工具134b可以示例性地包括原型验证板、硬件仿真器(emulator)等硬件验证工具。

可以理解的是，云计算资源120也可以包括硬件验证工具，并作为一种计算资源向本地主机132提供。

尽管图1C中仅示出有限数量的本地计算资源134，但是本领域技术人员可以理解任意数量的本地计算资源134可以根据实际需要而提供。也就是说，可以存在多个服务器134a和多个硬件验证工具134b。服务器134a和硬件验证工具134b也不一定采用一一配对的形式来提供。例如，一台服务器134a可以与多台硬件验证工具对接。

图2A示出了使用云计算仿真逻辑系统设计的流程的示意图。

如图2A所示，用户可以在本地主机132将逻辑系统设计202(例如，逻辑系统设计202的源代码)编译为信号编码表204a和编译文件206a。逻辑系统设计202可以包括多个模块以及多个模块的多个信号。该多个信号可以以与多个模块的结构树对应的形式存储。

编译文件206a可以是代码形式上不同于源代码但是对应于源代码的文件，从而保护原始逻辑系统设计的安全。即使在进行云计算或者是与云计算的交互的过程中被截取，原始设计依然是安全的。例如，编译文件206a可以是可执行的二进制文件，也可以是某种经过加密的文件。可以理解的是，通常，二进制文件很难通过简单的反编译来获取原始的设计，因而，在本申请实施例中，以二进制文件作为编译文件206a的示例进行说明。

信号编码表204a可以包括逻辑系统设计202的多个信号以及与该多个信号对应的多个编码之间的对应关系。在一些实施例中，在编译逻辑系统设计202的过程中，本地的编译器可以根据逻辑系统设计202确定逻辑系统设计202的信号树，该信号树与逻辑系统设计202的多个模块的结构树对应。根据该信号树，本地主机132可以对多个信号进行编码，因此，作为一个可选实施例，信号编码表204a可以包括逻辑系统设计202的信号树。

然后，本地主机132可以将信号编码表204a和编译文件206a发送到云系统120。这里，为了区分，将位于云系统120的编译文件和信号编码表称为编译文件206b和信号编码表204b。

云系统120可以运行编译文件206b以获得仿真数据，并保存为波形数据库208。可以理解的是，编译文件206b在必要时可以先进行处理以得到可执行的文件，然后再运行该可执行的文件。

图2B示出了从云系统读取波形数据的流程的示意图。

如图2B所示，本地主机132可以接收读取目标信号216的波形数据的请求212。该请求212可以从用户处接收，也可以由本地主机132根据逻辑系统设计202的调试历史确定。例如，用户可以在调试工具上从逻辑系统设计202的多个信号中选定目标信号216。又例如，在本地主机132上运行的调试工具可以根据逻辑系统设计202的调试历史，确定用户在过去调试该逻辑系统设计202时主要调试哪些信号，并且将这些信号确定为目标信号216。该请求212可以包括目标信号216的波形数据的时间范围。例如，用户可以指定读取目标信号216在给定时间范围的波形数据。

可以理解的是，图2B中的本地主机132可以与图2A中的本地主机132不是物理上相同的主机，而是由同一个用户管理和操纵的主机。例如，用户可以使用一个云系统账号在主机A上完成编译和上传编译文件到云系统120，又在主机B上使用相同的云系统账户读取波形数据。此时，主机A和B都被认为是本地主机132。

在接收到请求212之后，本地主机132可以根据信号编码表204a将请求212中的目标信号216转换为目标编码。本地主机132可以根据信号编码表204a中信号与编码的对应关系来确定目标编码。

本地主机132可以根据信号编码表204a将请求212转换为读取目标编码的波形数据的请求214。这样，即使该请求214被截取，也无法知晓用户在调试哪些信号。

云系统120在接收到请求214之后，可以参考信号编码表204b确定目标信号216。可以理解的是，本地主机132的信号编码表204a和云系统120的信号编码表204b可以在形式上有所区别，即，它们可以不是完全相同的文件。只要信号编码表204a和信号编码表204b都具有逻辑系统设计202的多个信号和多个编码之间的对应关系，可以实现多个信号和多个编码之间的转换就可以了。

云系统120可以根据解码出来的目标信号216提取目标信号216的波形数据218，并且将该波形数据218发送回本地主机132。需要注意的是，波形数据218是与目标编码关联地被发送回本地主机132。在一些实施例中，波形数据218可以是从波形数据库208读取的原始波形数据。在一些实施例中，波形数据218可以是在原始波形数据的基础上进行处理后的数据。例如，云系统120可以将原始波形数据处理以形成与该原始波形数据对应的显示波形数据。又例如，云系统120可以将原始波形数据处理为图片格式的文件，或者对波形数据218进行加密，以确保数据安全。因此，此处的波形数据218可以具有多种形式，而不限于特定形式、或格式的波形数据。

本地主机132在接收到波形数据218后，可以处理波形数据218以生成波形图像220并且显示。本地主机132可以根据接收到的目标编码和波形数据218确定请求212已经得到执行。

由于用户在进行调试的时候通常仅涉及少量信号，因而，本申请实施例将完整的波形数据库208保留在云系统120，而仅根据用户的请求提取少量目标信号的波形数据，从而降低了云系统120和本地主机132之间的数据传输量。另一方面，用户的逻辑系统设计202的源代码从始至终没有离开本地主机132，保护了用户的源代码的安全。再一方面，在调取波形数据的过程中，利用信号编码表，使得云系统120和本地主机132之间调取波形数据的通信是加密的，进一步加强了安全性。

图3示出了根据本申请实施例的一种在本地主机使用云计算验证逻辑系统设计的方法300的流程图。方法300可以由例如图1C所示的本地主机132执行。方法300可以包括如下步骤。

在步骤302，本地主机132编译所述逻辑系统设计(例如，图2A的逻辑系统设计202)以生成编译文件(例如，编译文件206a)和信号编码表(例如，信号编码表204a)。所述逻辑系统设计可以包括多个信号，所述信号编码表可以包括与所述多个信号分别对应的多个编码。也就是说，所述信号编码表包括所述多个信号和所述多个编码之间的对应关系。

在步骤304，本地主机132将所述编译文件和所述信号编码表上传到云系统(例如，云系统120)以生成与所述逻辑系统设计对应的波形数据库(例如，波形数据库208)，所述波形数据库包括与所述多个信号对应的多个波形数据。

在步骤306，本地主机132接收读取目标信号(例如，图2B的目标信号216)的波形数据的第一请求(例如，请求212)。所述第一请求可以包括所述目标信号的波形数据的时间范围。可以理解，目标信号可以包括多个信号。在一些实施例中，接收读取所述目标信号的波形数据的第一请求进一步包括：根据所述逻辑系统设计的调试历史确定所述目标信号；以及生成读取所述目标信号的波形数据的第一请求，其中，所述调试历史包括对所述逻辑系统设计的在先调试所涉及的信号。

在步骤308，本地主机132根据所述信号编码表确定所述目标信号的目标编码。由于信号编码表包括目标信号和目标编码的对应关系，因此，本地主机132可以根据目标信号确定目标编码。

在步骤310，本地主机132向所述云系统发送读取所述目标编码的波形数据的第二请求。本地主机132可以将第一请求中的目标信号替换为目标编码，从而生成第二请求。所述第二请求使得所述云系统：根据所述信号编码表确定与所述目标编码对应的目标信号；根据所述目标信号在所述波形数据库中提取与所述目标信号对应的波形数据；以及将所述波形数据与所述目标编码关联地发送到所述本地主机。

在步骤312，本地主机132从所述云系统接收与所述目标编码对应的波形数据。所述与所述目标编码对应的波形数据是以图片格式存储的文件。从所述云系统接收与所述目标编码对应的波形数据进一步包括：根据所述信号编码表确定所述目标编码对应的目标信号；以及确定所述第一请求已经得到执行。

图4示出了根据本申请实施例的一种云计算的方法400的流程图。方法400可以由例如图1C所示的云系统120执行。方法400可以包括如下步骤。

在步骤402，云系统120从本地主机接收逻辑系统设计的编译文件(例如，图2A的编译文件206b)和信号编码表(例如，信号编码表204b)。所述编译文件和信号编码表通过在本地主机编译所述逻辑系统设计来生成，所述逻辑系统设计包括多个信号，所述信号编码表包括与所述多个信号分别对应的多个编码。

在步骤404，云系统120运行所述编译文件以生成与所述逻辑系统设计对应的波形数据库(例如，波形数据库208)，所述波形数据库包括与所述多个信号对应的多个波形数据。

在步骤406，云系统120从所述本地主机接收读取目标编码的波形数据的第二请求(例如，图2B的请求214)。

在步骤408，云系统120根据所述信号编码表确定与所述目标编码对应的目标信号(例如，目标信号216)。

在步骤410，云系统120根据所述目标信号在所述波形数据库中提取与所述目标信号对应的波形数据(例如，波形数据218)。

在步骤412，云系统120将所述波形数据与所述目标编码关联地发送到所述本地主机。将所述波形数据与所述目标编码关联地发送到所述本地主机进一步包括：将所述波形数据转换为以图片格式存储的文件。

由于用户在进行调试的时候通常仅涉及少量信号，因而，本申请实施例将完整的波形数据库208保留在云系统120，而仅根据用户的请求提取少量目标信号的波形数据，从而降低了云系统120和本地主机132之间的数据传输量。另一方面，用户的逻辑系统设计202的源代码从始至终没有离开本地主机132，保护了用户的源代码的安全。再一方面，在调取波形数据的过程中，利用信号编码表，使得云系统120和本地主机132之间调取波形数据的通信是加密的，进一步加强了安全性。

本申请实施例还提供一种电子装置(例如，图1的电子装置100)，包括：存储器，存储用于多个指令；以及至少一个处理器，用于执行所述多个指令以使得所述计算系统进行如上所述的方法300或方法400。

本申请实施例还提供一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储电子装置的一组指令，该组指令用于使所述电子装置执行如上所述的方法300或方法400。

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

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

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

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

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

Claims (9)

1.一种在本地主机使用云计算验证逻辑系统设计的方法，包括：

编译所述逻辑系统设计以生成编译文件和信号编码表，所述逻辑系统设计包括多个信号，所述信号编码表包括与所述多个信号分别对应的多个编码；

将所述编译文件和所述信号编码表上传到云系统以使所述云系统生成与所述逻辑系统设计对应的波形数据库，所述波形数据库包括与所述多个信号对应的多个波形数据；

接收读取目标信号的波形数据的第一请求；

根据所述信号编码表确定所述目标信号的目标编码；

向所述云系统发送读取与所述目标编码对应的波形数据的第二请求；以及

从所述云系统接收与所述目标编码对应的波形数据；

其中，所述第二请求使得所述云系统：

根据所述信号编码表确定与所述目标编码对应的目标信号；

根据所述目标信号在所述波形数据库中提取与所述目标信号对应的波形数据；以及

将所述波形数据与所述目标编码关联地发送到所述本地主机。

2.如权利要求1所述的方法，其中，所述第一请求包括所述目标信号的波形数据的时间范围。

3.如权利要求1所述的方法，其中，所述与所述目标编码对应的波形数据是以图片格式存储的文件。

4.如权利要求1所述的方法，其中，接收读取所述目标信号的波形数据的第一请求进一步包括：

根据所述逻辑系统设计的调试历史确定所述目标信号；以及

生成读取所述目标信号的波形数据的第一请求，其中，所述调试历史包括对所述逻辑系统设计的在先调试所涉及的信号。

5.如权利要求1所述的方法，其中，从所述云系统接收与所述目标编码对应的波形数据进一步包括：

根据所述信号编码表确定所述目标编码对应的目标信号；以及

确定所述第一请求已经得到执行。

6.一种云计算的方法，包括：

从本地主机接收逻辑系统设计的编译文件和信号编码表，所述编译文件和信号编码表通过在本地主机编译所述逻辑系统设计来生成，所述逻辑系统设计包括多个信号，所述信号编码表包括与所述多个信号分别对应的多个编码；

运行所述编译文件以生成与所述逻辑系统设计对应的波形数据库，所述波形数据库包括与所述多个信号对应的多个波形数据；

从所述本地主机接收读取与目标编码对应的波形数据的第二请求；

根据所述信号编码表确定与所述目标编码对应的目标信号；

根据所述目标信号在所述波形数据库中提取与所述目标信号对应的波形数据；以及

将所述波形数据与所述目标编码关联地发送到所述本地主机。

7.如权利要求6所述的方法，其中，将所述波形数据与所述目标编码关联地发送到所述本地主机进一步包括：

将所述波形数据转换为以图片格式存储的文件。

8.一种电子装置，包括：

存储器，存储用于多个指令；以及

至少一个处理器，用于执行所述多个指令以使得计算系统进行如权利要求1-7的任一项所述的方法。

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