CN114239453A - 仿真验证平台构建方法、仿真验证方法、装置及设备 - Google Patents

仿真验证平台构建方法、仿真验证方法、装置及设备 Download PDF

Info

Publication number
CN114239453A
CN114239453A CN202111553714.1A CN202111553714A CN114239453A CN 114239453 A CN114239453 A CN 114239453A CN 202111553714 A CN202111553714 A CN 202111553714A CN 114239453 A CN114239453 A CN 114239453A
Authority
CN
China
Prior art keywords
subsystems
tested
verification
subsystem
simulation
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.)
Pending
Application number
CN202111553714.1A
Other languages
English (en)
Inventor
王周陆
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Haiguang Information Technology Co Ltd
Original Assignee
Haiguang Information Technology Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Haiguang Information Technology Co Ltd filed Critical Haiguang Information Technology Co Ltd
Priority to CN202111553714.1A priority Critical patent/CN114239453A/zh
Publication of CN114239453A publication Critical patent/CN114239453A/zh
Pending legal-status Critical Current

Links

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
    • G06F30/331—Design verification, e.g. functional simulation or model checking using simulation with hardware acceleration, e.g. by using field programmable gate array [FPGA] or emulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2115/00—Details relating to the type of the circuit
    • G06F2115/02—System on chip [SoC] design

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)
  • Debugging And Monitoring (AREA)

Abstract

本发明实施例提供一种仿真验证平台构建方法、仿真验证方法、装置及设备，所述仿真验证平台构建方法包括：确定多个待测子系统之间的冲突信息；将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用，从而可以避免多个待测子系统进行仿真验证时出现错误调用，实现对多个子系统芯片进行系统级的联合验证。

Description

仿真验证平台构建方法、仿真验证方法、装置及设备
技术领域
本发明实施例涉及芯片技术领域，具体涉及一种仿真验证平台构建方法、仿真验证方法、装置及设备。
背景技术
芯片验证，用于在芯片生产之前基于相应的验证环境，验证芯片设计是否符合芯片定义的需求规格，是否包含设计缺陷，并在发现缺陷后及时更正。
随着集成电路产业的快速发展，芯片规模大大增加，由此使得芯片的仿真验证工作越来越复杂且难以实现。为此，针对超大规模的系统级芯片，通常将其分成多个子系统芯片分别验证，而在各个子系统芯片验证完成后，则仅能通过硬件平台对子系统芯片进行简单的系统级联合调试。
如何提供一种仿真验证平台，以实现多个子系统芯片在系统级的联合验证，成为本领域亟待解决的技术问题。
发明内容
有鉴于此，本发明实施例提供一种仿真验证平台构建方法、仿真验证方法、装置及设备，以实现多个子系统芯片在系统级的联合验证。
为实现上述目的，本发明实施例提供如下技术方案。
第一方面，本发明实施例提供一种仿真验证平台构建方法，包括：
确定多个待测子系统之间的冲突信息；
将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；
构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
可选的，所述构建联合仿真环境，具体为，基于仿真配置文件，构建联合仿真环境；其中，所述仿真配置文件定义顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，并约束对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
可选的，所述确定多个待测子系统之间的冲突信息，包括：
对多个待测子系统进行同名分析，确定所述多个待测子系统中的同名文件；其中，所述同名文件为在任2个待测子系统中具有同一名称的文件；
确定所述同名文件的内容是否一致；
若是，则以所述同名文件为公用文件；若否，则将所述同名文件命名信息作为冲突信息。
可选的，所述确定多个待测子系统之间的冲突信息之后，所述构建联合仿真环境之前，还包括：
编译所述多个待测子系统中的公用文件，并配置至公共库目录；其中，所述公用文件为同时包含在至少2个待测子系统中的文件；
所述构建联合仿真环境的步骤中，所述公共库目录中的文件允许所述多个实例子系统调用。
可选的，所述构建联合仿真环境之后，还包括：
验证所述联合仿真环境中，多个实例子系统间的互联关系。
可选的，所述验证所述联合仿真环境中，多个实例子系统间的互联关系，包括：
建立所述多个实例子系统间的互联关系；
以所述多个实例子系统中的一个实例子系统为目标子系统，将其他实例子系统替换为验证模型子系统，验证所述目标子系统的互联关系；所述验证模型子系统为简化的用于互联验证的验证模型；
选取其他实例子系统中的一个实例子系统为目标子系统进行互联关系验证，直至所述多个实例子系统的互联关系均被验证。
可选的，所述构建联合仿真环境之后，还包括：
构建联合验证环境，所述联合验证环境包括顶层验证环境，以及，包含在所述顶层验证环境下的多个验证子系统，所述多个验证子系统用于验证所述多个待测子系统，且所述多个验证子系统与所述多个待测子系统一一对应。
可选的，所述构建联合仿真环境之前，还包括：采用与所述多个待测子系统一一对应的验证系统，分别验证所述多个待测子系统中的各个待测子系统；
所述构建联合验证环境的步骤中，所述验证子系统复用与所述多个待测子系统一一对应的验证系统。
可选的，所述构建联合验证环境之后，还包括：
在所述联合验证环境下，初始化所述多个实例子系统。
可选的，所述初始化所述多个实例子系统，包括：
并行执行所述多个实例子系统的初始化；
初始化所述多个实例子系统的互联关系，使所述多个实例子系统间建立链接关系。
可选的，所述初始化所述多个实例子系统之后，还包括：
在所述联合验证环境下，对所述多个实例子系统中的各个实例子系统进行验证。
第二方面，本发明实施例提供一种仿真验证方法，包括：
基于联合仿真环境，对所述多个待测子系统进行系统级的联合验证；其中，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于多个待测子系统实例化得到；其中，多个待测子系统之间的冲突信息对应的模块分别编译并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并且，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
可选的，所述基于联合仿真环境，对所述多个待测子系统的进行系统级的联合验证之前，还包括：
确定多个待测子系统之间的冲突信息；
将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库。。
第三方面，本发明实施例提供一种仿真验证平台构建装置，包括：
信息确定模块，用于确定多个待测子系统之间的冲突信息；
编译模块，用于将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；
仿真环境构建模块，用于构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
第四方面，本发明实施例提供一种仿真验证装置，包括：
联合验证模块，用于基于联合仿真环境，对所述多个待测子系统进行系统级的联合验证；其中，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于多个待测子系统实例化得到；其中，多个待测子系统之间的冲突信息对应的模块分别编译并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并且，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
第五方面，本发明实施例提供一种仿真验证平台，所述仿真验证平台基于本发明实施例提供的仿真验证平台构建方法构建得到，用于执行本发明实施例提供的仿真验证方法。
第六方面，本发明实施例提供一种仿真验证设备，包括：至少一个存储器和至少一个处理器；所述存储器存储一条或多条计算机可执行指令，所述处理器调用所述一条或多条计算机可执行指令，以执行本发明实施例提供的仿真验证平台构建方法，或者，执行本发明实施例提供的仿真验证方法。
第七方面，本发明实施例提供一种存储介质，所述存储介质存储一条或多条可执行指令，所述一条或多条可执行指令用于执行本发明实施例提供的仿真验证平台构建方法，或者，执行本发明实施例提供的仿真验证方法。
本发明实施例提供的仿真验证平台构建方法、仿真验证方法、装置及设备，所述方法，包括：确定多个待测子系统之间的冲突信息；将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
可以看出，本发明实施例中的仿真验证平台构建方案，将多个待测子系统中，具有冲突信息的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并进一步在构建的联合仿真环境下，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用，可以避免多个待测子系统进行仿真验证时出现错误调用，从而实现对多个子系统芯片进行系统级的联合验证。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据提供的附图获得其他的附图。
图1为本发明实施例提供的仿真验证平台构建方法的可选流程图；
图2为本发明实施例提供的步骤S10的可选流程图；
图3为本发明实施例提供的仿真验证平台构建方法的另一可选流程图；
图4为本发明实施例提供的步骤S16的可选流程图；
图5为本发明实施例提供的验证2个实例子系统间的互联关系的可选示例图；
图6为本发明实施例提供的验证2个实例子系统间的互联关系的另一可选示例图；
图7为本发明实施例提供的步骤S20的可选流程图；
图8为本发明实施例提供的仿真验证方法的可选流程图；
图9为本发明实施例提供的仿真验证平台构建装置的一可选框图；
图10为本发明实施例提供的仿真验证装置的一可选框图。
具体实施方式
下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
如背景技术所述，针对超大规模的系统级芯片，通常将其分成多个子系统芯片分别验证，例如，将一个整体的服务器芯片系统分成中央处理器DIE(即芯片)和外部设备DIE，并将这两个DIE作为独立的子系统芯片进行验证。其中，中央处理器DIE是高性能服务器芯片中的CPU(central processing unit，中央处理器)部分，由中央处理器核心、内存控制器和芯片互联接口等组件组成；外部设备DIE是高性能服务器芯片中的IO(输入输出)部分，由北桥、南桥和系统管理单元等组件组成。
然而，由于在硬件平台中测试用例的局限性，将整体系统分成多个子系统芯片分别验证，再通过硬件平台对两个子系统芯片进行系统级联合调试的方式，难以对整体系统进行充分验证，导致多个子系统芯片组合后的整体系统容易出现系统间属性定义不一致、各系统设计者对功能和参数理解不一致等问题。
因此，对多个子系统芯片进行系统级的联合验证十分必要。
发明人发现，在一个整体系统中，不同子系统芯片之间可能存在大量冲突IP(intellectual property core，芯片设计中的IP核，简称“IP”，通常指应用在系统芯片中，且具有特定功能的可复用的电路模块)，这些冲突IP可能代码内容不同，但却具有相同的文件名、模块名、参数或宏定义等。因此，把多个子系统芯片中的大量IP整合到一起进行仿真验证时，极易出现错误调用，从而导致系统级的联合验证难以实现。
基于此，本发明实施例提供了一种仿真验证平台构建方法、仿真验证方法、装置及设备，所述仿真验证平台构建方法包括：确定多个待测子系统之间的冲突信息；将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
可以看出，将多个待测子系统中，具有冲突信息的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并进一步在构建的联合仿真环境下，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用，可以避免多个待测子系统进行仿真验证时出现错误调用，从而实现对多个子系统芯片进行系统级的联合验证。
下面将对本申请实施例提供的仿真验证平台构建方案进行详细介绍。
在一种可选实现中，图1示例性的示出了本发明实施例提供的仿真验证平台构建方法的可选流程图，参考图1，所述方法包括：
步骤S10：确定多个待测子系统之间的冲突信息；
所述待测子系统可以理解为子系统芯片，作为整体系统的一部分，用于实现预设的功能。其中，需要说明的是，所述子系统芯片和所述整体系统均为需验证的设计方案(也称为待测设计)，例如可以为RTL(Register Transfer Level，寄存器转换级)代码构成的设计，而非实体的芯片。
所述多个待测子系统可以为组成整体系统芯片的所有子系统，也可以为组成整体系统的部分子系统，并且，所述多个待测子系统可以相同，也可以不同，本发明在此不做具体的限定。
可以理解的是，待测子系统由多个模块构成，不同模块用于实现不同的功能，在定义模块时，可能需要定义模块的文件名、模块名、参数或宏定义等，若不同待测子系统间，两模块定义的文件名、模块名、参数或宏定义等相同，运行在同一系统下时，则会基于相同的信息产生冲突，进而无法确定调用的模块，从而产生模块的调用错误。
在本发明实施例中，所述冲突信息可以理解为会导致模块调用产生冲突的信息，这些冲突信息的确定，用于为后续方案避免冲突的产生提供基础。
在多个待测子系统中，冲突信息可以理解为在任2个待测子系统中，导致模块调用产生冲突的信息；其中，在包含2个待测子系统的方案中，冲突信息可以为两个待测子系统间会导致模块调用产生冲突的信息。
步骤S12：将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；
在确定所述冲突信息后，可以进行将冲突信息对应的模块进行处理，以避免可能出现的调用错误。
其中，与冲突信息对应的模块可以为包含有冲突信息的模块。将与所述冲突信息对应的模块分别编译并配置至不同的编译库，且同一待测子系统中的模块对应配置至同一编译库，用于区分不同待测子系统中的冲突信息对应的模块，用于为后续待测子系统的编译过程中，基于不同的编译库执行调用提供基础。
在一个可选的示例中，可以针对一待测子系统，基于冲突信息，在一待测子系统中，确定与冲突信息对应的模块，并将所确定的模块编译并配置至与该待测子系统对应的编译库。通过对多个待测子系统，逐一执行上述流程，即可实现本步骤。
可以理解的是，冲突信息的产生，表明多个待测子系统中，至少2个待测子系统中具有对应的模块，也就是说，在多个待测子系统的数量大于2个时，对应某一冲突信息的模块，并不一定在所有待测子系统中存在。因此，在多个待测子系统的数量大于2个时，一待测子系统中若未发现与某一冲突信息对应的模块是允许的。
步骤S14：构建联合仿真环境；
所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
通过设置顶层仿真环境，并使得基于所述多个待测子系统实例化得到的多个实例子系统包含在所述顶层仿真环境下，并进一步约束实例子系统与待测子系统的编译库的对应关系，从而可以从不同的代码层结构上区分不同待测子系统，避免编译阶段或仿真阶段出现调用错误，进而使得对多个待测子系统的联合验证得以实现。
在一个可选的示例中，可以基于提前设定的仿真配置文件，构建联合仿真环境。其中，所述仿真配置文件可以定义顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，并约束对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
例如，针对2个待测子系统DIE1和DIE2的仿真，仿真配置文件中，可以声明针对DIE1和DIE2的编译库lib_die1和lib_die2，并将lib_die1关联至DIE1中需要单独编译的RTL文件存放路径$DIE1_PATH/src，将lib_die2关联至DIE2中需要单独编译的RTL文件存放路径$DIE1_PATH/src。
进一步的，仿真配置文件中，还可以配置顶层文件为soc_all，该顶层文件中可以声明验证环境的顶层仿真环境是tb，顶层仿真环境tb下包含两个实例化的芯片子系统tb.soc_die1和tb.soc_die2，其中，tb.soc_die1由DIE1的RTL代码实例化得到，tb.soc_die2由DIE2的RTL代码实例化得到。
并且，仿真配置文件中，还进一步约束DIE1的编译库lib_die1只能由tb.soc_die1这个层次下的模块调用，DIE2的编译库只能由tb.soc_die2这个层次下的模块调用。例如，如果联合仿真环境中存在tb.soc_die1.ip1和tb.soc_die2.ip1这两个RTL代码层次，这两个层次中都包含ip1这个IP，IP中存在一些重复定义内容，通过以上配置文件的约束，可以使得tb.soc_die1.ip1中存在冲突的内容都从$DIE1_PATH/src/*这个目录下调用，且，tb.soc_die2.ip1中存在冲突的内容都从$DIE2_PATH/src/*这个目录下调用，从而对各个模块调用的文件来源进行精确的控制，确保不会出现调用错误的问题。
在使用仿真工具进行编译时，可以使用libmap参数指定所述仿真配置文件，同时指定验证环境顶层为配置文件config的名称soc_all，如–vcs_comp_opts‘–libmaplibmap.v-top soc_all’。
在一个可选的实现中，步骤S10确定多个待测子系统之间的冲突信息，可以通过信息的比对进行确定，并在比对确定后，区分冲突信息和非冲突信息，并分别进行不同的处理。具体的，图2示例性的示出了本发明实施例提供的步骤S10的可选流程图，步骤S10可以包括：
步骤S101：对多个待测子系统进行同名分析，确定所述多个待测子系统中的同名文件；
其中，同名分析用于比对所述多个待测子系统中具有同一名称的文件，所述文件的类型可以为模块、参数或宏定义等，通过对多个待测子系统进行同名分析，以确定所述多个待测子系统中的同名文件。
需要说明的是，在多个待测子系统中，所述同名文件为在任2个待测子系统中具有同一名称的文件，进而确定同名文件是否为冲突信息。
步骤S102：确定同名文件的内容是否一致；
若是，则以同名文件为公用文件，若否，则将所述同名文件命名信息作为冲突信息。
可以理解的是，若同名文件的内容不一致，表明该同名文件命名相同但内容不同，从而容易引起调用错误，进而，将该内容不一致的同名文件的命名信息作为冲突信息；若同名文件的内容一致，则表明该同名文件不会导致调用冲突，在本示例中，可以将内容一致的同名文件进一步定义为公用文件，进而可以编译至公共库目录，以提高编译效率。
在将所述同名文件命名信息作为冲突信息时，执行步骤S12；在确定同名文件为公用文件时，执行步骤S13。
需要说明的是，在步骤S12中，与所述冲突信息对应的模块可以为对应的同名文件，也可以为包含对应的同名文件的文件。
步骤S13：编译所述多个待测子系统中的公用文件，并配置至公共库目录；
其中，所述公用文件为包含在至少2个待测子系统中的文件；所述构建联合仿真环境的步骤中，所述公共库目录中的文件允许所述多个实例子系统调用。
需要说明的是，所述步骤S12和步骤S13并不是择一执行的，在多组同名文件的前提下，可能有的同名文件内容一致，有的同名文件内容不一致，此时，可以同时执行步骤S12和步骤S13，并在执行完步骤S12和步骤S13之后，执行步骤S14。
可以理解的是，将公用文件编译至公共库目录，使得各个待测子系统可以从公共库目录中直接调用公用文件，进而使得公用文件只编译一次即可被多次调用，从而节省大量编译时间，提高编译效率。
在一个可选的实现中，参考图3示出的本发明实施例提供的仿真验证平台构建方法的另一可选流程图，为验证联合仿真环境的可行性，还进一步执行步骤S16：验证所述联合仿真环境中，多个实例子系统间的互联关系；具体的，图4示例性的示出了本发明实施例提供的步骤S16的可选流程图，步骤S16，包括：
步骤S161：建立所述多个实例子系统间的互联关系；
其中，所述多个实例子系统间的互联关系应当尽量真实，因此，可以采用真实的PCS(物理编码子层)、PHY(物理层)和数据总线设置，建立多个实例子系统之间的互联关系。
步骤S162：以所述多个实例子系统中的一个实例子系统为目标子系统，将其他实例子系统中的至少部分模块替换为验证模型，验证所述目标子系统的互联关系；
其中，所述验证模型可以理解为简化的用于互联验证的模型；可以理解的是，在进行目标子系统的互联关系的验证过程中，其他实例子系统中并不需要过于复杂的模块设置，将其他示例子系统中的复杂模块替换为验证模型，以提高验证效率。
在验证所述目标子系统的互联关系的过程中，可以基于前述配置信息进行分块编译和仿真，并基于设计的测试用例进行测试验证。
需要说明的是，在构建联合仿真环境之前，可以对待测子系统进行分别验证，具体的，参考图3，可以执行步骤S01：采用与所述多个待测子系统一一对应的验证系统，分别验证所述多个待测子系统中的各个待测子系统，该步骤可以如背景技术所述的方式执行。而在本步骤中，则可以基于各个待测子系统分别验证中已经建立的验证模型进行所述实例子系统的部分模块的替换，从而可以进一步提高验证效率。
继续参考图4，步骤S163：选取其他实例子系统中的一个实例子系统为目标子系统进行互联关系验证，直至所述多个实例子系统的互联关系均被验证；
在步骤S162中的目标子系统验证通过后，可以进一步选取其他实例子系统中的一个实例子系统为目标子系统，并再次执行步骤S162进行互联关系验证，并在验证通过后，再次选取目标子系统，直至所述多个实例子系统的互联关系均被验证。
例如，参考图5示出的验证2个实例子系统间的互联关系的可选示例图，针对2个待测子系统DIE1和DIE2的联合仿真环境，针对DIE2的互联验证，可以将DIE1对应的实例子系统中的部分模块替换为DIE1在步骤S01过程中已经建立的验证模型，例如，将DIE1中的CPU替换为CPU模型，DDR替换为DDR模型(图中将替换后的DIE1标记为“简化的DIE1”)，DIE2则为完整的实例子系统，包含有多个IP模块，如IP1、IP2、IP3等，同时，使DIE1和DIE2的互联关系保持真实，即采用真实的PCS、PHY和数据总线设置；同样的，参考图6示出的2个实例子系统间的互联关系的另一可选示例图，针对DIE1的互联验证，可以将DIE2对应的实例子系统替换为DIE2在分别验证过程中已经建立的验证模型，例如，将DIE2中的IP模块替换为外部设备模型(图中将替换后的DIE2标记为“简化的DIE2”)，DIE1则为完整的实例子系统，包含有多个CPU模块，如CPU0、CPU1等，以及DDR模块(图中标记为DDR)，同时，使DIE1和DIE2的互联关系保持真实，即采用真实的PCS、PHY和数据总线设置。
通过对多个实例子系统间的互联关系进行验证，为验证联合仿真环境的可行性提供基础，以及早发现问题并给予更正，避免后续验证错误。同时，基于各个待测子系统分别验证流程中已经建立的验证模型进行复用，充分利用已有资源，减少人力成本，提高了验证的效率。
在创建联合仿真环境之后，参考图3示出的本发明实施例提供的仿真验证平台构建方法的另一可选流程图，本发明实施例还可以进一步执行步骤S18：构建联合验证环境。具体的，在构建联合验证环境时，可以使所述联合验证环境包括顶层验证环境，以及，包含在所述顶层验证环境下的多个验证子系统，所述多个验证子系统用于验证所述多个待测子系统，所述多个验证子系统与所述多个待测子系统一一对应。可以看出，所述联合验证环境的层次结构与联合仿真环境相对应，而通过构建与联合仿真环境具有对应层次的验证环境，以匹配联合仿真环境，便于实现对待测子系统的验证。
可以理解的是，在构建联合仿真环境之前，已经执行步骤S01：采用与所述多个待测子系统一一对应的验证系统，分别验证所述多个待测子系统中的各个待测子系统，该步骤可以如背景技术所述的方式执行。而在本流程中，所述多个验证子系统，可以复用与所述多个待测子系统一一对应的验证系统，从而可以实现对多个待测子系统的高效验证。
例如，针对2个待测子系统DIE1和DIE2的联合验证环境的构建，可以首先构建联合验证环境的顶层soc_env，并在soc_env下进一步构建针对DIE1的die1env和针对DIE2的die2 env两个验证子系统，并将多个待测子系统在分别验证过程中的验证系统的UVM(Universal Verification Methodology，通用验证方法学)component(组件)实例化到soc_env中。参考表1列出的验证组件，各个验证子系统中可以包括验证系统中的IP1_sub_env、IP2_sub_env、IP3_sub_env…以及IPn_sub_env等验证组件。通过将这些验证组件实例化至联合验证环境中，可以根据需求产生灵活的测试激励，同时还可以实时对系统中关键信号和状态进行监测，如寄存器、状态机、总线信号、信号组合的变化是否符合预期等，从而在提高验证效率的同时，提高验证过程的实时监测能力。显然，这些仿真中激励产生和检查机制在功能调试过程中的优势是硬件调试平台无法比拟的。
表1：各验证子系统中的验证组件
Figure BDA0003417932050000141
在一个可选的示例中，参考图3示出的本发明实施例提供的仿真验证平台构建方法的另一可选流程图，在构建联合验证环境之后，还进一步执行步骤S20：在所述联合验证环境下，初始化所述多个实例子系统。
具体的，参考图7示出的步骤S20的可选流程图，所述步骤S20可以包括：
步骤S201：并行执行所述多个实例子系统的初始化；
在本示例中，基于缩短进程时间的考虑，可以使多个实例子系统的初始化进程并行执行。例如，针对2个待测子系统DIE1和DIE2的联合验证环境，DIE1和DIE2中的初始化程序均可独立并行运行，以降低运行时长，提高运行效率。具体的，参考表2列出的初始化流程，在初始化程序中，可以采用fork join的并行运行机制，使得多个系统同时开始初始化，分别执行bootcode程序，执行时钟复位clk-reset、fuse等初始化，以及系统内各个IP的初始化等。
步骤S202：初始化所述多个实例子系统的互联关系，使所述多个实例子系统间建立链接关系。
在多个实例子系统初始化完成后，可以继续初始化所述多个实例子系统的互联关系，使所述多个实例子系统间建立链接关系。
具体的，同样可以采用fork join机制，通过pcs和phy的初始化，实现两个子系统的链接握手完成。
表2：初始化流程
Figure BDA0003417932050000151
在一个可选的示例中，在初始化所述多个实例子系统之后，还进一步执行步骤S22：在所述联合验证环境下，对所述多个实例子系统中的各个实例子系统进行验证。具体的，对各个实例子系统进行验证可以采用步骤S01中，用于分别验证所述多个待测子系统中的各个待测子系统的测试用例，进行各个实例子系统的验证。需要说明的是，在原有测试用例中，以验证模型产生测试激励的方案，均替换为各实例子系统的真实RTL代码产生，以充分验证所述多个实例子系统。
在一种可选实现中，图8示例性的示出了本发明实施例提供仿真验证方法的可选流程图，该方法可以基于前述仿真验证平台构建方法构建的仿真验证平台实现，具体的，参考图8，所述方法包括：
步骤S40：基于联合仿真环境，对所述多个待测子系统系统级的联合验证；
其中，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，多个待测子系统之间的冲突信息对应的模块分别编译并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并且，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
需要说明的是，在进行系统级的联合验证时，所述联合仿真环境中的各实例子系统、以及可能涉及的外部设备等，均由真实RTL代码编译，以还原各实例子系统运行的真实场景，提高联合仿真环境的准确度。
可以理解的是，在仿真验证平台的构建过程中，可能会出现对待测子系统的代码的修改，为保证验证过程调用模块的准确度，参考图8，本发明实施例在进行所述系统级的联合验证之前，还包括：
步骤S30：确定多个待测子系统之间的冲突信息；
步骤S32：将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；
其中，步骤S30和步骤S32的执行过程可以参考步骤S10和步骤S12的描述，在此不再赘述。
可以看出，将多个待测子系统中，具有冲突信息的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并进一步在构建的联合仿真环境下，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用，可以避免多个待测子系统进行仿真验证时出现错误调用，从而实现对多个子系统芯片进行系统级的联合验证。
下面对本发明实施例提供的仿真验证平台构建装置进行介绍，下文描述的装置内容可以认为是仿真验证设备或者计算机设备，为实现本发明实施例提供的仿真验证平台构建方法所需设置的功能模块。下文描述的装置内容可与上文描述的方法内容相互对应参照。
图9示出了本发明实施例提供的仿真验证平台构建装置的一可选框图。如图9所示，该装置可以包括：
信息确定模块100，用于确定多个待测子系统之间的冲突信息；
编译模块110，用于将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；
仿真环境构建模块120，用于构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
可选的，所述仿真环境构建模块120，用于构建联合仿真环境，具体为，基于仿真配置文件，构建联合仿真环境；其中，所述仿真配置文件定义顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，并约束对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
可选的，所述信息确定模块100，用于确定多个待测子系统之间的冲突信息，包括：
对多个待测子系统进行同名分析，确定所述多个待测子系统中的同名文件；其中，所述同名文件为在任2个待测子系统中具有同一名称的文件；
确定所述同名文件的内容是否一致；
若是，则以所述同名文件为公用文件；若否，则将所述同名文件命名信息作为冲突信息。
可选的，所述编译模块110，还用于：
编译所述多个待测子系统中的公用文件，并配置至公共库目录；其中，所述公用文件为同时包含在至少2个待测子系统中的文件；
所述仿真环境构建模块120，用于构建联合仿真环境的步骤中，所述公共库目录中的文件允许所述多个实例子系统调用。
可选的，所述仿真验证平台构建装置，还包括：
互联验证模块130，用于验证所述联合仿真环境中，多个实例子系统间的互联关系。
可选的，所述互联验证模块130，用于验证所述联合仿真环境中，多个实例子系统间的互联关系，包括：
建立所述多个实例子系统间的互联关系；
以所述多个实例子系统中的一个实例子系统为目标子系统，将其他实例子系统替换为验证模型子系统，验证所述目标子系统的互联关系；所述验证模型子系统为简化的用于互联验证的验证模型；
选取其他实例子系统中的一个实例子系统为目标子系统进行互联关系验证，直至所述多个实例子系统的互联关系均被验证。
可选的，所述仿真验证平台构建装置，还包括：
验证环境构建模块140，用于构建联合验证环境，所述联合验证环境包括顶层验证环境，以及，包含在所述顶层验证环境下的多个验证子系统，所述多个验证子系统用于验证所述多个待测子系统，且所述多个验证子系统与所述多个待测子系统一一对应。
可选的，所述仿真验证平台构建装置，还包括：子系统验证模块150，用于采用与所述多个待测子系统一一对应的验证系统，分别验证所述多个待测子系统中的各个待测子系统；
所述验证环境构建模块140，用于构建联合验证环境的步骤中，所述验证子系统复用与所述多个待测子系统一一对应的验证系统。
可选的，所述仿真验证平台构建装置，还包括：
初始化模块160，用于在所述联合验证环境下，初始化所述多个实例子系统。
可选的，所述初始化模块160，用于初始化所述多个实例子系统，包括：
并行执行所述多个实例子系统的初始化；
初始化所述多个实例子系统的互联关系，使所述多个实例子系统间建立链接关系。
可选的，所述仿真验证平台构建装置，还包括：
实例验证模块170，用于在所述联合验证环境下，对所述多个实例子系统中的各个实例子系统进行验证。
下面对本发明实施例提供的仿真验证装置进行介绍，下文描述的装置内容可以认为是仿真验证设备或者计算机设备，为实现本发明实施例提供的仿真验证方法所需设置的功能模块。下文描述的装置内容可与上文描述的方法内容相互对应参照。
图10示出了本发明实施例提供的仿真验证装置的一可选框图。如图10所示，该装置可以包括：
联合验证模块200，用于基于联合仿真环境，对所述多个待测子系统进行系统级的联合验证；其中，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于多个待测子系统实例化得到；其中，多个待测子系统之间的冲突信息对应的模块分别编译并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并且，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
可选的，所述仿真验证装置，还包括：
信息确定模块210，用于确定多个待测子系统之间的冲突信息；
编译模块220，用于将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库。
本发明实施例还提供一种仿真验证平台，该仿真验证平台可以基于本发明实施例中的仿真验证平台构建方法构建得到，用于本发明实施例中的仿真验证方法。
本发明实施例还提供一种计算机设备，该计算机设备可以包括：至少一个存储器和至少一个处理器；所述存储器存储一条或多条计算机可执行指令，所述处理器调用所述一条或多条计算机可执行指令，以执行本发明实施例提供的仿真验证平台构建方法，或者，执行本发明实施例提供的仿真验证方法。
本发明实施例提供一种存储介质，所述存储介质存储一条或多条可执行指令，所述一条或多条可执行指令用于执行本发明实施例提供的仿真验证平台构建方法，或者，执行本发明实施例提供的仿真验证方法。
上文描述了本发明实施例提供的多个实施例方案，各实施例方案介绍的各可选方式可在不冲突的情况下相互结合、交叉引用，从而延伸出多种可能的实施例方案，这些均可认为是本发明实施例披露、公开的实施例方案。
虽然本发明实施例披露如上，但本发明并非限定于此。任何本领域技术人员，在不脱离本发明的精神和范围内，均可作各种更动与修改，因此本发明的保护范围应当以权利要求所限定的范围为准。

Claims (18)

1.一种仿真验证平台构建方法，其特征在于，包括：
确定多个待测子系统之间的冲突信息；
将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；
构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
2.根据权利要求1所述的方法，其特征在于，所述构建联合仿真环境，具体为，基于仿真配置文件，构建联合仿真环境；其中，所述仿真配置文件定义顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，并约束对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
3.根据权利要求1所述的方法，其特征在于，所述确定多个待测子系统之间的冲突信息，包括：
对多个待测子系统进行同名分析，确定所述多个待测子系统中的同名文件；其中，所述同名文件为在任2个待测子系统中具有同一名称的文件；
确定所述同名文件的内容是否一致；
若是，则以所述同名文件为公用文件；若否，则将所述同名文件命名信息作为冲突信息。
4.根据权利要求1～3任一项所述的方法，其特征在于，所述确定多个待测子系统之间的冲突信息之后，所述构建联合仿真环境之前，还包括：
编译所述多个待测子系统中的公用文件，并配置至公共库目录；其中，所述公用文件为同时包含在至少2个待测子系统中的文件；
所述构建联合仿真环境的步骤中，所述公共库目录中的文件允许所述多个实例子系统调用。
5.根据权利要求1或2所述的方法，其特征在于，所述构建联合仿真环境之后，还包括：
验证所述联合仿真环境中，多个实例子系统间的互联关系。
6.根据权利要求5所述的方法，其特征在于，所述验证所述联合仿真环境中，多个实例子系统间的互联关系，包括：
建立所述多个实例子系统间的互联关系；
以所述多个实例子系统中的一个实例子系统为目标子系统，将其他实例子系统替换为验证模型子系统，验证所述目标子系统的互联关系；所述验证模型子系统为简化的用于互联验证的验证模型；
选取其他实例子系统中的一个实例子系统为目标子系统进行互联关系验证，直至所述多个实例子系统的互联关系均被验证。
7.根据权利要求1或2所述的方法，其特征在于，所述构建联合仿真环境之后，还包括：
构建联合验证环境，所述联合验证环境包括顶层验证环境，以及，包含在所述顶层验证环境下的多个验证子系统，所述多个验证子系统用于验证所述多个待测子系统，且所述多个验证子系统与所述多个待测子系统一一对应。
8.根据权利要求7所述的方法，其特征在于，所述构建联合仿真环境之前，还包括：采用与所述多个待测子系统一一对应的验证系统，分别验证所述多个待测子系统中的各个待测子系统；
所述构建联合验证环境的步骤中，所述验证子系统复用与所述多个待测子系统一一对应的验证系统。
9.根据权利要求7所述的方法，其特征在于，所述构建联合验证环境之后，还包括：
在所述联合验证环境下，初始化所述多个实例子系统。
10.根据权利要求9所述的方法，其特征在于，所述初始化所述多个实例子系统，包括：
并行执行所述多个实例子系统的初始化；
初始化所述多个实例子系统的互联关系，使所述多个实例子系统间建立链接关系。
11.根据权利要求9所述的方法，其特征在于，所述初始化所述多个实例子系统之后，还包括：
在所述联合验证环境下，对所述多个实例子系统中的各个实例子系统进行验证。
12.一种仿真验证方法，其特征在于，包括：
基于联合仿真环境，对所述多个待测子系统进行系统级的联合验证；其中，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于多个待测子系统实例化得到；其中，多个待测子系统之间的冲突信息对应的模块分别编译并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并且，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
13.根据权利要求12所述的方法，其特征在于，所述基于联合仿真环境，对所述多个待测子系统的进行系统级的联合验证之前，还包括：
确定多个待测子系统之间的冲突信息；
将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库。
14.一种仿真验证平台构建装置，其特征在于，包括：
信息确定模块，用于确定多个待测子系统之间的冲突信息；
编译模块，用于将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；
仿真环境构建模块，用于构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
15.一种仿真验证装置，其特征在于，包括：
联合验证模块，用于基于联合仿真环境，对所述多个待测子系统进行系统级的联合验证；其中，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于多个待测子系统实例化得到；其中，多个待测子系统之间的冲突信息对应的模块分别编译并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库，并且，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用。
16.一种仿真验证平台，其特征在于，所述仿真验证平台基于权利要求1～11任一项所述的仿真验证平台构建方法构建得到，用于执行权利要求12～13任一项所述的仿真验证方法。
17.一种仿真验证设备，其特征在于，包括：至少一个存储器和至少一个处理器；所述存储器存储一条或多条计算机可执行指令，所述处理器调用所述一条或多条计算机可执行指令，以执行如权利要求1-11任一项所述的仿真验证平台构建方法，或者，执行如权利要求12-13任一项所述的仿真验证方法。
18.一种存储介质，其特征在于，所述存储介质存储一条或多条可执行指令，所述一条或多条可执行指令用于执行如权利要求1-11任一项所述的仿真验证平台构建方法，或者，执行如权利要求12-13任一项所述的仿真验证方法。
CN202111553714.1A 2021-12-17 2021-12-17 仿真验证平台构建方法、仿真验证方法、装置及设备 Pending CN114239453A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202111553714.1A CN114239453A (zh) 2021-12-17 2021-12-17 仿真验证平台构建方法、仿真验证方法、装置及设备

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202111553714.1A CN114239453A (zh) 2021-12-17 2021-12-17 仿真验证平台构建方法、仿真验证方法、装置及设备

Publications (1)

Publication Number Publication Date
CN114239453A true CN114239453A (zh) 2022-03-25

Family

ID=80758257

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202111553714.1A Pending CN114239453A (zh) 2021-12-17 2021-12-17 仿真验证平台构建方法、仿真验证方法、装置及设备

Country Status (1)

Country Link
CN (1) CN114239453A (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115510782A (zh) * 2022-08-31 2022-12-23 芯华章科技股份有限公司 定位验证错误的方法、电子设备和存储介质
CN116821001A (zh) * 2023-08-30 2023-09-29 上海燧原智能科技有限公司 输入输出子系统的验证方法、装置、电子设备及介质
WO2024060593A1 (zh) * 2022-09-22 2024-03-28 济南新语软件科技有限公司 一种SoC芯片分布式仿真验证平台和方法

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115510782A (zh) * 2022-08-31 2022-12-23 芯华章科技股份有限公司 定位验证错误的方法、电子设备和存储介质
CN115510782B (zh) * 2022-08-31 2024-04-26 芯华章科技股份有限公司 定位验证错误的方法、电子设备和存储介质
WO2024060593A1 (zh) * 2022-09-22 2024-03-28 济南新语软件科技有限公司 一种SoC芯片分布式仿真验证平台和方法
CN116821001A (zh) * 2023-08-30 2023-09-29 上海燧原智能科技有限公司 输入输出子系统的验证方法、装置、电子设备及介质
CN116821001B (zh) * 2023-08-30 2023-11-21 上海燧原智能科技有限公司 输入输出子系统的验证方法、装置、电子设备及介质

Similar Documents

Publication Publication Date Title
CN114239453A (zh) 仿真验证平台构建方法、仿真验证方法、装置及设备
US7392169B2 (en) Method, system and program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language
US7194726B2 (en) Method for automatically decomposing dynamic system models into submodels
CN112417798B (zh) 一种时序测试方法、装置、电子设备及存储介质
CN113255258B (zh) 逻辑综合方法、装置、电子设备及存储介质
US8762907B2 (en) Hierarchical equivalence checking and efficient handling of equivalence checks when engineering change orders are in an unsharable register transfer level
US20160300009A1 (en) System and method for reactive initialization based formal verification of electronic logic design
Wang et al. Security-aware task scheduling using untrusted components in high-level synthesis
CN112417800B (zh) 集成电路处理方法、集成电路验证方法、装置及电子设备
JP6663801B2 (ja) 半導体ｌｓｉ設計装置および設計方法
JP2019091144A (ja) シミュレーション装置、シミュレーションシステム、シミュレーション方法及びシミュレーションプログラム
US7315803B1 (en) Verification environment creation infrastructure for bus-based systems and modules
CN115687108A (zh) 基于uvm与fpv相结合的验证方法、平台、终端及存储介质
CN117667655A (zh) 验证系统、验证方法、电子设备以及存储介质
Peñil et al. Automatic synthesis from UML/MARTE models using channel semantics
WO2006025412A1 (ja) 論理検証方法、論理モジュールデータ、デバイスデータおよび論理検証装置
CN113868046A (zh) 一种pad控制单元的功能验证方法、系统及相关组件
CN111400994A (zh) 网表形式验证方法、装置、计算机设备及存储介质
JP4390639B2 (ja) Ｌｓｉ設計システム、ｌｓｉ設計プログラム
CN111338761A (zh) 一种51单片机虚拟中断控制器及实现方法
US8769449B1 (en) System level circuit design
Thomas et al. Framework for development and distribution of hardware acceleration
CN117331565B (zh) 软件生成方法、装置、计算机设备及存储介质
TWI837026B (zh) 驗證系統、驗證方法、電子設備以及儲存媒體
CN117077616B (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