验证系统及在验证系统的多个FPGA之间同步时钟的方法与流程

验证系统及在验证系统的多个fpga之间同步时钟的方法
技术领域
1.本公开涉及芯片验证领域，尤其涉及一种验证系统及在验证系统的多个fpga之间同步时钟的方法，其中，该验证系统用于对芯片设计进行仿真和验证。


背景技术：

2.数字电路里的运行是由时钟驱动，并且在由时钟频率确定的周期内完成运行任务。
3.硬件仿真器利用fpga来模拟一个逻辑系统设计(例如，一个芯片设计)，并且可以根据用户给出的时钟频率来运行。通常，一个硬件仿真器(emulator)仅提供给单个用户(例如，一个验证工程师或者同一个验证团队)进行使用。在这种情况下，在执行验证仿真操作时，硬件仿真器中的所有fpga都运行在相同的时钟频率下。
4.而当硬件仿真器作为一种云计算资源去提供时，在单个用户执行验证仿真操作时，往往只需要占用全部硬件仿真器中的部分fpga。但是，如上所述，由于硬件仿真器中的所有fpga均被施加了相同频率的时钟，所以未被占用的fpga也无法被其他用户使用。也就是说，一个硬件仿真器不支持多个用户使用。
5.如何让一个硬件仿真器支持多用户使用，从而降低成本，为硬件仿真器上云提供便利是业界十分关注的问题。


技术实现要素：

6.有鉴于此，本公开提出了一种验证系统及在验证系统的多个fpga之间同步时钟的方法，其中，所述验证系统用于对芯片设计进行仿真和验证。
7.本公开第一方面，提供了一种用于对芯片设计进行仿真和验证的验证系统，包括一个验证板，所述验证板包括：接口，用于接收多个用户指令，所述多个用户指令包括第一用户指令和第二用户指令；多个fpga；时钟源，用于产生根时钟信号和同步信号；资源配置单元，用于根据所述第一用户指令将所述多个fpga中的第一部分配置为第一组fpga，以及根据所述第二用户指令将所述多个fpga中的第二部分配置为第二组fpga；多个时钟同步单元，连接到所述时钟源和所述资源配置单元，并且所述多个时钟同步单元包括连接到所述第一组fpga的第一时钟同步单元和连接到所述第二组fpga的第二时钟同步单元，所述第一时钟同步单元用于根据所述第一用户指令基于所述根时钟信号和所述同步信号生成施加到所述第一组fpga的第一时钟信号，所述第二时钟同步单元用于根据所述第二用户指令基于所述根时钟信号和所述同步信号生成施加到所述第二组fpga的第二时钟信号，其中，所述第一时钟同步单元和所述第二时钟同步单元还用于将所述同步信号分别施加到所述第一组fpga和所述第二组fpga。
8.本公开第二方面，提供了一种在验证系统的多个fpga之间同步时钟的方法，包括：接收第一用户指令和第二用户指令；根据所述第一用户指令将所述多个fpga中的第一部分配置为第一组fpga，以及根据所述第二用户指令将所述多个fpga中的第二部分配置为第二
组fpga；获取根时钟信号和同步信号；根据所述第一用户指令基于所述根时钟信号和所述同步信号生成施加到所述第一组fpga的第一时钟信号，以及根据所述第二用户指令基于所述根时钟信号和所述同步信号生成施加到所述第二组fpga的第二时钟信号；以及将所述同步信号分别施加到所述第一组fpga和所述第二组fpga。
9.本公开第三方面，提供了一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储验证系统的一组指令，该组指令用于使所述验证系统执行如第二方面所述的方法。
10.本公开提供的一种用于对芯片设计进行仿真和验证的验证系统及在验证系统的多个fpga之间同步时钟的方法，通过资源配置单元对验证系统中的fpga根据用户指令进行分组，时钟同步单元向不同组的fpga同步不同频率的时钟信号，以使得不同的用户可以对同一个验证系统中的fpga施加不同频率的时钟信号，从而满足多个用户使用的需求。fpga的分组情况也可以根据用户指令进行实时更新。本公开提供的方法实际上实现了验证系统的上云，提高了验证系统中fpga资源的利用率，降低了用户使用硬件仿真器的成本。
附图说明
11.为了更清楚地说明本公开或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本公开，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
12.图1示出了根据本公开实施例的示例性电子设备的结构示意图。
13.图2a示出了根据本公开实施例的示例性验证板的结构的示意图。
14.图2b示出了根据本公开实施例的示例性时钟同步单元的结构的示意图。
15.图2c示出了根据本公开实施例的又一示例性验证系统的结构的示意图。
16.图3示出了根据本公开实施例的示例性在多个fpga之间同步时钟的方法的流程图。
具体实施方式
17.为使本公开的目的、技术方案和优点更加清楚明白，以下结合具体实施例，并参照附图，对本公开进一步详细说明。
18.需要说明的是，除非另外定义，本公开使用的技术术语或者科学术语应当为本公开所属领域内具有一般技能的人士所理解的通常意义。本公开中使用的“第一”、“第二”以及类似的词语并不表示任何顺序、数量或者重要性，而只是用来区分不同的组成部分。“包括”或者“包含”等类似的词语意指出现该词前面的元件或者物件涵盖出现在该词后面列举的元件或者物件及其等同，而不排除其他元件或者物件。“连接”或者“相连”等类似的词语并非限定于物理的或者机械的连接，而是可以包括电性的连接，不管是直接的还是间接的。
19.图1示出了根据本公开实施例的示例性电子设备100的结构示意图。
20.电子设备100例如可以是主机计算机。电子设备100可以包括：处理器102、存储器104、网络接口106、外围接口108和总线110。其中处理器102、存储器104、网络接口106和外围接口108可以通过总线110实现彼此之间在电子设备100内部的通信连接。
21.处理器102可以是中央处理器(central processing unit，cpu)、图像处理器、神经网络处理器、微控制器、可编程逻辑器件、数字信号处理器、应用专用集成电路(application specific integrated circuit，asic)、或一个或多个集成电路。处理器102可以用于进行与本公开描述的技术相关的功能。在一些实施例中，处理器102还可以包括集成为单一逻辑组件的多个处理器。如图1所示，处理器102可以包括多个处理器102a、102b和102c。
22.存储器104可以配置为存储数据(例如，指令集、计算机代码、中间数据等)。例如，如图1所示，存储的数据可以包括程序指令(例如，用于实现本公开的技术的程序指令)以及待处理的数据(例如，存储器104可以存储在编译过程产生的临时代码)。处理器102也可以访问存储的程序指令和数据，并且执行程序指令以对待处理的数据进行操作。存储器104可以包括非暂态计算机可读存储介质，例如易失性存储装置或非易失性存储装置。在一些实施例中，存储器104可以包括随机访问存储器(ram)、只读存储器(rom)、光盘、磁盘、硬盘、固态硬盘(ssd)、闪存、存储棒等。
23.网络接口106可以配置为使电子设备100能够经由网络与一个或多个其他外部装置进行通信。该网络可以是能够传输和/或接收数据的任何有线或无线的网络。例如，该网络可以是有线网络、本地无线网络(例如，蓝牙、wifi、近场通信(nfc)等)、蜂窝网络、因特网、或上述的组合。可以理解的是，网络的类型不限于上述具体示例。在一些实施例中，网络接口106可以包括任意数量的网络接口控制器(nic)、射频模块、接收发器、调制解调器、路由器、网关、适配器、蜂窝网络芯片等的任意组合。
24.外围接口108可以配置为将电子设备100与一个或多个外围装置连接，以实现信息输入及输出。例如，外围装置可以包括键盘、鼠标、触摸板、触摸屏、麦克风、各类传感器等输入装置以及显示器、扬声器、振动器、指示灯等输出装置。
25.总线110可以被配置为在电子设备100的各个组件(例如，处理器102、存储器104、网络接口106和外围接口108)之间传输信息，并且例如可以是内部总线(例如，处理器-存储器总线)、外部总线(usb端口、pci-e总线)等。
26.在一些实施例中，除了图1所示出的以及上述所描述的处理器102、存储器104、网络接口106、外围接口108和总线110之外，电子设备100还可以包括实现正常运行所需的一个或多个其他组件和/或实现本公开的实施例的解决方案所必需的一个或多个其他组件。在一些实施例中，电子设备100可能不包含图1中所示的一个或多个组件。
27.需要说明的是，尽管上述电子设备100的构成架构仅示出了处理器102、存储器104、网络接口106、外围接口108和总线110，但是在具体实施过程中，该电子设备100的构成架构还可以包括实现正常运行所必需的其他组件。此外，本领域的技术人员可以理解的是，上述电子设备100的构成架构中也可以仅包含实现本公开实施例方案所必需的组件，而不必包含图中所示的全部组件。
28.如上所述，通常，一个硬件仿真器仅提供给单个用户进行使用，而不支持多个用户使用。在执行验证仿真操作时，硬件仿真器中的所有fpga都运行在相同的时钟频率下。
29.有鉴于此，本公开提供一种用于对芯片设计进行仿真和验证的验证系统及在验证系统的多个fpga之间同步时钟的方法，通过资源配置单元对验证系统中的fpga根据用户指令进行分组，时钟同步单元向不同组的fpga同步不同频率的时钟信号，以使得一个验证系
统可以满足多个用户使用的需求。fpga的分组情况也可以根据用户指令进行实时更新。本公开提供的方法实际上实现了验证系统的上云，提高了验证系统中fpga资源的利用率，降低了用户使用硬件仿真器的成本。
30.电子设备100可以与该验证系统连接，并指示该验证系统执行同步时钟的方法。该验证系统可以设置在硬件仿真器中。硬件仿真器例如可以是芯华章科技股份有限公司出品的桦捷(huapro-p1)仿真器。
31.本公开提供的一种用于对芯片设计进行仿真和验证的验证系统可以包括一个验证板。
32.图2a示出了根据本公开实施例的示例性验证板200的结构的示意图。
33.验证板200可以包括接口201、资源配置单元202、时钟源203、时钟同步单元2041和2042、以及fpga 2061-2068。其中，时钟源203到时钟同步单元2041和2042的传输路径可以是等长的。时钟同步单元2041到fpga 2061-2064以及时钟同步单元2042到fpga 2065-2068的传输路径也可以是等长的。
34.接口201可以配置为接收电子设备100发送的多个用户指令。这里的多个用户指令可以包括第一用户指令和第二用户指令。需要注意的是，验证板200可以不是同时接收第一用户指令和第二用户指令。也就是说，验证板200可以先接收第一用户指令，处理完第一用户指令之后再接收第二用户指令，或者在处理第一用户指令的过程中接收第二用户指令。多个用户指令之间可以是互相独立的。在一些实施例中，第一用户指令和第二用户指令可以是来自不同终端用户。例如，第一用户和第二用户可以是硬件仿真云的不同用户，他们在进行不同的验证项目，因而发出了不同的用户指令。
35.时钟源203可以配置为用于产生根时钟信号和同步信号。在一些实施例中，时钟源203可以是晶振。在另一些实施例中，时钟源203可以是从外部装置接收的根时钟信号和同步信号。
36.在一些实施例中，该多个用户指令的每一个可以包括根时钟信号的参数配置、同步信号的参数配置、验证板200上多个fpga的分组配置、或信号传输路径的参数配置中的至少一个。例如，根时钟信号的参数可以用于配置时钟源203所产生的根时钟的频率。同步信号的参数可以用于配置同步信号的产生和频率。多个fpga的分组配置可以用于将验证板200上的多个fpga根据用户的验证项目的需要进行分组，从而可以模拟用户要验证的逻辑系统设计。信号传输路径的参数则可以用于配置各种器件之间的连接关系。
37.资源配置单元202可以从接口201接收第一用户指令和第二用户指令，并配置为用于根据第一用户指令将多个fpga中的第一部分配置为第一组fpga，以及根据第二用户指令将多个fpga中的第二部分配置为第二组fpga。如图2a所示，为清晰地看出第一用户指令与第一组fpga的对应关系，将第一用户指令和第一组fpga使用了相同的背景颜色。资源配置单元202可以根据第一用户指令将fpga 2061、2062和2063配置为第一组fpga。第一组fpga可以使用相同的第一时钟信号。类似地，资源配置单元202可以根据第二用户指令将fpga 2064、2065和2066配置为第二组fpga。第二组fpga可以使用相同的第二时钟信号。其中，第一时钟信号和第二时钟信号可以是不同的。
38.时钟同步单元2041可以连接到时钟源203、资源配置单元202和fpga 2061-2064。时钟同步单元2041可以配置为接收时钟源203产生的根时钟信号和同步信号、从资源配置
单元202接收第一用户指令和第二用户指令、以及分别生成fpga 2061-2064所需要使用的时钟信号。时钟同步单元2041还可以配置为将同步信号施加到fpga 2061-2064。
39.图2b示出了根据本公开实施例的示例性时钟同步单元2041的结构的示意图。可以理解的是，时钟同步单元2042可以具有与时钟同步单元2041相同的结构。
40.在一些实施例中，时钟同步单元2041可以包括分频器20411-20414。分频器20411-20414可以分别与fpga 2061-2064对应连接。
41.当一个逻辑系统设计由多个fpga共同模拟时，需要多个fpga不仅运行在相同的频率，还要运行在相同的相位上，从而确保多个fpga是同步运行的。因此，当时钟同步单元2041从资源配置单元202接收到第一用户指令时，与第一组fpga(即，fpga 2061、2062和2063)对应连接的分频器20411、20412和20413可以基于同步信号在相同的时钟周期内进行复位，以具有相同的初始值，进而确保分频器20411、20412和20413基于根时钟信号分频所得到的第一时钟信号具有一致的相位。也就是说，经过复位，第一时钟信号的初始值可以是一致的，从而使得分频器20411、20412和20413分频所得到的第一时钟信号是一样的。
42.如上所述，时钟同步单元2041到fpga 2061、2062和2063的传输路径可以是等长的。因此，fpga 2061、2062和2063从分频器20411、20412和20413接收到的第一时钟信号也是一致的。这样，时钟同步单元2041可以对fpga 2061、2062和2063施加相同的第一时钟信号，而没有对其他fpga施加第一时钟信号。时钟同步单元2041还可以将同步信号分别施加到fpga 2061、2062和2063。
43.在一些实施例中，时钟源203产生的根时钟信号频率不够高，这会导致分频器20411、20412和20413进行分频操作时出现问题，例如无法分频出fpga工作所需要的时钟信号。时钟同步单元2041还可以包括与分频器20411、20412和20413连接的倍频器20415。倍频器20415可以配置为对接收到的根时钟信号进行倍频，再将倍频得到的信号传输至分频器20411、20412和20413进行分频。可以理解的是，倍频器20415可以与分频器20414连接，也可以不与分频器20414连接，这由时钟同步单元2041工作的实际情况决定。
44.回到图2a，资源配置单元202可以根据第二用户指令将fpga 2064、2065和2066配置为第二组fpga。fpga 2064与时钟同步单元2041连接，fpga 2065、2066与时钟同步单元2042连接。对于时钟同步单元2041来说，与fpga 2064连接的分频器20414会生成第二时钟信号。时钟同步单元2041还可以将同步信号施加到fpga 2064。时钟同步单元2042的结构可以与时钟同步单元2041的结构一致。类似地，时钟同步单元2042可以基于该第二用户指令基于根时钟信号和同步信号生成施加到fpga 2065、2066的第二时钟信号，并将同步信号施加到fpga 2065、2066。
45.如上所述，时钟源203到时钟同步单元2041和2042的传输路径可以是等长的。时钟同步单元2041到fpga 2064以及时钟同步单元2042到fpga 2065、2066的传输路径也可以是等长的。因此，fpga 2064从时钟同步单元2041接收到的第二时钟信号与fpga 2065、2066从时钟同步单元2042接收到的第二时钟信号是一致的。这样，时钟同步单元2041和2042可以对fpga 2064、2065和2066施加相同的第二时钟信号，而没有对其他fpga施加第二时钟信号。
46.当第一组fpga 2061-2063根据第一用户指令执行完验证操作后，fpga 2061-2063可以被释放出来。当验证板200接收到其他用户指令，例如第三用户指令时，验证板200可以
根据第三用户指令重新配置fpga的一部分为第三组fpga，第三组fpga中可以包括fpga 2061-2063。也就是说，fpga 2061-2063可以再次被使用，根据第三用户指令执行新的验证操作。这样，验证板200可以实现对fpga资源根据多个用户指令进行实时分组，提高fpga资源的利用率。
47.在一些实施例中，验证板200可以作为一个完整的验证系统对芯片设计进行仿真和验证。
48.图2c示出了根据本公开实施例的又一示例性验证系统210的结构的示意图。
49.在一些实施例中，验证系统210可以包括多个验证板。这多个验证板可以包括图2a中所示的验证板200(第一验证板)，以及另一个验证板211(第二验证板)。可以理解的是，验证板211的结构与验证板200的结构一样，但是时钟同步单元的数量和fpga的数量可以与验证板200不一样。验证板200和211可以从外部时钟源213接收根时钟信号和同步信号。此时，验证板200和211的时钟源可以是从外部时钟源213接收根时钟信号和同步信号。
50.验证板211可以包括时钟同步单元2141、资源配置单元212、以及fpga 2161-2164。其中，时钟同步单元2141的功能与时钟同步单元2041和2042一致；资源配置单元212的功能与资源配置单元202的功能一致。
51.由于时钟源213的时钟输出通道有限，当时钟同步单元的数量超过时钟源213的时钟输出通道数量时，在时钟源213和时钟同步单元之间还可以连接时钟路由214。时钟路由214可以配置为用于从时钟源213接收根时钟信号和同步信号并分发到时钟同步单元2041、2042和2141。时钟路由214可以根据第一用户指令和第二用户指令分别向时钟同步单元2041、2042和2141分发根时钟信号和同步信号。时钟路由214到时钟同步单元2041、2042和2141的传输路径可以是等长的。
52.此时，时钟源213和时钟路由214一起可以作为验证板200和211的外部时钟源，向验证板200和211分发根时钟信号和同步信号。
53.通过时钟源213和时钟路由214级联的方式可以拓展验证系统210的时钟输出通道，以满足多个验证板和大量fpga工作的情形。可以理解的是，虽然图2c中只示出了一个时钟路由214，但实际工作时，根据时钟同步单元或fpga数量的多少，可以在验证系统210中增加更多的时钟路由以满足实际需要。
54.可以理解的是，多个验证板(例如，验证板200和211)可以连接到作为主机的电子设备100，从而将验证数据集合到电子设备100并形成最终的验证结果。
55.如上所述，本公开提供了一种用于对芯片设计进行仿真和验证的验证系统，该验证系统可以包括一个验证板(例如，图2a所示的验证板200)。该验证板可以包括接口(例如，图2a中的接口201)、资源配置单元(例如，图2a中的资源配置单元202)、时钟源(例如，图2a中的时钟源203)、多个时钟同步单元(例如，图2a中的时钟同步单元2041和2042)、以及多个fpga(例如，图2a中的fpga 2061-2068)。
56.接口可以用于接收多个用户指令，该多个用户指令包括第一用户指令和第二用户指令(例如，图2a中的第一用户指令和第二用户指令)。在一些实施例中，该多个用户指令的每一个可以包括根时钟信号的参数配置、同步信号的参数配置、多个fpga的分组配置、或信号传输路径的参数配置中的至少一个。
57.时钟源可以用于产生根时钟信号和同步信号。
58.资源配置单元可以用于根据该第一用户指令将该多个fpga中的第一部分(例如，图2a中的fpga 2061、2062和2063)配置为第一组fpga，以及根据该第二用户指令将该多个fpga中的第二部分(例如，图2a中的fpga 2064、2065和2066)配置为第二组fpga。
59.多个时钟同步单元可以配置为连接到该时钟源和该资源配置单元，并且该多个时钟同步单元可以包括连接到该第一组fpga的第一时钟同步单元(例如，图2a中的时钟同步单元2041)和连接到该第二组fpga的第二时钟同步单元(例如，图2a中的时钟同步单元2041和2042)。值得注意的是，这里的第一时钟同步单元和第二时钟同步单元并不是指实际物理连接的时钟同步单元，例如，与第二组fpga连接的两个时钟同步单元(时钟同步单元2041和2042)在逻辑上都可以称为第二时钟同步单元。该第一时钟同步单元可以用于根据该第一用户指令基于该根时钟信号和该同步信号生成施加到该第一组fpga的第一时钟信号，该第二时钟同步单元可以用于根据该第二用户指令基于该根时钟信号和该同步信号生成施加到该第二组fpga的第二时钟信号，其中，该第一时钟同步单元和该第二时钟同步单元还用于将该同步信号分别施加到该第一组fpga和该第二组fpga。
60.在一些实施例中，该第一组fpga可以包括至少一个fpga，该第一时钟同步单元(例如，图2b的时钟同步单元2041)包括至少一个分频器(例如，图2b中的分频器20411-20414)，连接到该第一组fpga的至少一个fpga(例如，图2b中分频器20411-20413与fpga 2061-2063的连接关系)。
61.在一些实施例中，该第一时钟同步单元可以进一步包括与该至少一个分频器连接的倍频器(例如，图2b中的倍频器20415)。
62.在一些实施例中，该时钟源(例如，图2a中的时钟源203)到该多个时钟同步单元(例如，图2a中的时钟同步单元2041和2042)的传输路径等长。
63.在一些实施例中，该验证系统还可以包括连接在该时钟源(例如，图2c中的时钟源213)和该多个时钟同步单元之间(例如，图2c中的时钟同步单元2041、2042和2141)的时钟路由(例如，图2c中的时钟路由214)。该时钟路由可以用于从该时钟源接收该根时钟信号和该同步信号并分发到该多个时钟同步单元。可以理解的是，该时钟路由(例如，图2c中的时钟路由214)到该多个时钟同步单元(例如，图2c中的时钟同步单元2041、2042和2141)的传输路径可以是等长的。当该验证系统中存在多个时钟路由时，该时钟源到该多个时钟路由的传输路径可以是等长的，该多个时钟路由的每一个到与之连接的多个fpga的传输路径也可以是等长的。
64.在一些实施例中，验证系统可以包括多个验证板。多个验证板可以例如包括第一验证板(例如，图2c的验证板200)和第二验证板(例如，图2c的验证板211)。
65.这样，通过资源配置单元对验证系统中的fpga根据用户指令进行分组，时钟同步单元向不同组的fpga同步不同频率的时钟信号，以使得一个验证系统可以对fpga施加多种频率的时钟信号，从而可以满足多个用户使用的需求。fpga的分组情况也可以根据用户指令进行实时更新。
66.图3示出了根据本公开实施例的示例性在多个fpga之间同步时钟的方法300的流程图。方法300可以由验证系统(例如，图2a的验证板200或图2c的验证系统210)执行。方法300可以包括如下步骤。
67.在步骤s302，验证系统可以接收第一用户指令和第二用户指令(例如，图2a或图2c
中的第一用户指令和第二用户指令)。在一些实施例中，该第一用户指令和第二用户指令可以来自不同终端用户。该第一用户指令或第二用户指令可以包括根时钟信号的参数配置、同步信号的参数配置、多个fpga的分组配置、或信号传输路径的参数配置中的至少一个。
68.在步骤s304，验证系统可以根据该第一用户指令将该多个fpga中的第一部分(例如，图2a中的fpga 2061、2062和2063)配置为第一组fpga，以及根据该第二用户指令将该多个fpga中的第二部分(例如，图2a中的fpga 2064、2065和2066)配置为第二组fpga。该第一组fpga可以使用相同的第一时钟信号，该第二组fpga可以使用相同的第二时钟信号。该第一组fpga可以包括至少一个fpga。
69.在步骤s306，验证系统可以获取根时钟信号和同步信号。例如，图2a的验证板200可以从时钟源203处获得根时钟信号和同步信号。又例如，图2c的验证板200和211可以从验证板之外的时钟源213和时钟路由214处获得根时钟信号和同步信号。
70.在步骤s308，验证系统可以根据该第一用户指令基于该根时钟信号和该同步信号生成施加到该第一组fpga(例如，fpga 2061-2063)的第一时钟信号，以及根据该第二用户指令基于该根时钟信号和该同步信号生成施加到该第二组fpga(例如，fpga 2064-2066)的第二时钟信号。例如，图2b的时钟同步单元2041(即，对于第一组fpga来说的第一时钟同步单元)中的分频器20411-20413可以生成施加到fpga 2061-2063的第一时钟信号；图2b的时钟同步单元2041(即，对于第二组fpga来说的第二时钟同步单元)中的分频器20414可以生成施加到fpga 2064的第二时钟信号；图2a的时钟同步单元2042(即，对于第二组fpga来说的第二时钟同步单元)可以生成施加到fpga 2065和2066的第二时钟信号。第一时钟信号和第二时钟信号可以是不同的。
71.在一些实施例中，验证系统可以基于该同步信号复位该第一时钟信号和该第二时钟信号，以使得该第一时钟信号和该第二时钟信号的初始值一致。
72.在步骤s310，验证系统可以将该同步信号分别施加到该第一组fpga和该第二组fpga。例如，图2a中的时钟同步单元2041将同步信号施加到fpga 2061-2063；时钟同步单元2041将同步信号施加到fpga 2064，时钟同步单元2042将同步信号施加到fpga 2065和2066。
73.通过本公开提供的同步时钟的方法实际上可以实现验证系统的云化，提高了验证系统中fpga资源的利用率，降低了用户使用硬件仿真器的成本。
74.本公开还提供了一种非暂态计算机可读存储介质。非暂态计算机可读存储介质存储验证系统的一组指令。该组指令在被执行时，可以使得该验证系统实现与本公开一致的在验证系统的多个fpga之间同步时钟的方法，诸如上述示例性方法(例如，图3中所示的方法300)。此处不再赘述。
75.本实施例的计算机可读介质包括永久性和非永久性、可移动和非可移动媒体可以由任何方法或技术来实现信息存储。信息可以是计算机可读指令、数据结构、程序的模块或其他数据。计算机的存储介质的例子包括，但不限于相变内存(pram)、静态随机存取存储器(sram)、动态随机存取存储器(dram)、其他类型的随机存取存储器(ram)、只读存储器(rom)、电可擦除可编程只读存储器(eeprom)、快闪记忆体或其他内存技术、只读光盘只读存储器(cd-rom)、数字多功能光盘(dvd)或其他光学存储、磁盒式磁带，磁带磁磁盘存储或其他磁性存储设备或任何其他非传输介质，可用于存储可以被计算设备访问的信息。
76.上述对本公开特定实施例进行了描述。其他实施例在所附权利要求书的范围内。在一些情况下，在权利要求书中记载的动作或步骤可以按照不同于实施例中的顺序来执行并且仍然可以实现期望的结果。另外，在附图中描绘的过程不一定要求示出的特定顺序或者连续顺序才能实现期望的结果。在某些实施方式中，多任务处理和并行处理也是可以的或者可能是有利的。
77.所属领域的普通技术人员应当理解：以上任何实施例的讨论仅为示例性的，并非旨在暗示本公开的范围(包括权利要求)被限于这些例子；在本公开的思路下，以上实施例或者不同实施例中的技术特征之间也可以进行组合，步骤可以以任意顺序实现，并存在如上所述的本公开的不同方面的许多其它变化，为了简明它们没有在细节中提供。
78.另外，为简化说明和讨论，并且为了不会使本公开难以理解，在所提供的附图中可以示出或可以不示出与集成电路(ic)芯片和其它部件的公知的电源/接地连接。此外，可以以框图的形式示出装置，以便避免使本公开难以理解，并且这也考虑了以下事实，即关于这些框图装置的实施方式的细节是高度取决于将要实施本公开的平台的(即，这些细节应当完全处于本领域技术人员的理解范围内)。在阐述了具体细节(例如，电路)以描述本公开的示例性实施例的情况下，对本领域技术人员来说显而易见的是，可以在没有这些具体细节的情况下或者这些具体细节有变化的情况下实施本公开。因此，这些描述应被认为是说明性的而不是限制性的。
79.尽管已经结合了本公开的具体实施例对本公开进行了描述，但是根据前面的描述，这些实施例的很多替换、修改和变型对本领域普通技术人员来说将是显而易见的。例如，其它存储器架构(例如，动态ram(dram))可以使用所讨论的实施例。
80.本公开旨在涵盖落入所附权利要求的宽泛范围之内的所有这样的替换、修改和变型。因此，凡在本公开的精神和原则之内，所做的任何省略、修改、等同替换、改进等，均应包含在本公开的保护范围之内。