CN114925644B 在边缘系统验证逻辑系统设计的方法、边缘系统 （芯华章科技股份有限公司）

本公开涉及一种在边缘系统验证逻辑系统所述云服务器接收与所述验证任务对应的计算2驱动单元，配置为用于根据所述配置文件经由边缘系统的接口驱动所述硬件仿真工事件处理单元，配置为用于经由所述边缘系统的接口向所述硬将所述验证任务加入待执行队列。6.如权利要求1所述的方法，其特征在于，所述将所述描述信息载入所述计算容器镜将所述逻辑系统设计的描述信息所在的目录载入所述计算容器至少一个处理器，用于执行所述计算机指令以使得所述边缘系统实现如权利要求1-73云服务器，用于从用户主机处接收逻辑系统设计的验证4[0002]在电子产业中，由于半导体产业的规模日益扩大，EDA(Electronicdesignautomation)扮演越来越重要的角色。使用这项技术的厂商多是从事半导体器件制造的代说，需要使用自己的FPGA(FieldProgrammableGateArray)设备，但是每个公司对应的[0010]运行所述计算容器镜像，通过资源映射器连接所述计算容器镜像和硬件仿真工[0014]响应于所述边缘系统满足所述预估资源，向所述边缘系统发送所述计算容器镜5所述验证任务关联的第一信息以及经由所述边缘系统的接口从所述硬件仿真工具接收与存储；所述资源映射器还配置为用于将以第一格式存储的第一信息转换为所述第二格式，6[0050]原型验证(验证任务)：是SOC基于FPGA的一种验证方式，一般是在前端RTL(RegisterTransferLevel)设计和RTL仿真之后。FPGA和ASIC前端代码都是基于Verilog[0052]目前EDA上云通常针对的是传统的云计算平台，但是传统的云计算平台一般运行7台和终端会因为瞬时且高并发的业务处理请求出现响应缓慢的问题，进而影响用户的体边缘系统和云服务器之间的全新进行验证任务的方法，意图至少部分地解决上述多个问上还可以包括电子设计自动化时的其他任务，在本公开中不进行限制验证任务的具体类8[0064]需要说明的是，尽管上述电子设备100的构成架构仅示出了处理器102、存储器上述电子设备100的构成架构中也可以仅包含实现本公开实施例方案所必需的组件，而不及将验证任务发送至边缘系统130中。逻辑系统设计通常可以是利用电子设计自动化[0072]边缘主机134可以是如图1A所示的电子设备100。边缘主机134可以与硬件仿真工具134a连接以执行验证任务，并提供连接到云服务器120的接口和连接到硬件仿真工具[0073]尽管图1C中仅示出有限数量的边缘系统130，但是本领域技术人员可以理解任意[0075]控制台220可以配置为用户提供控制云服务器120的交互控制台220可以向用户(例如，芯片设计公司的雇员)提供一个命令行控制台/可视化界面，9务器120连接的一个或多个边缘系统130中是否存在满足所需预估资源的边缘系统130。若存在满足预估资源的边缘系统130，云服务器120可以占用该边缘系统130并指示该边缘系验证任务306。可以理解的是，上述提及的边缘系统130均是与云服务器120连接的边缘系按照加入待执行队列的时间倒序顺序或者正序顺序进行排列(通常情况下可以按照加入时间顺序倒序进行排列，进而可以保证先加入待执行队列的验证任务先执行，以保证优先级)。分析器2202继续确定与云服务器120连接的每个边缘系统130是否存在任意一个满足满足待执行队列中验证任务的预估资源的边缘系统130，占用该边缘系统130执行验证任服务器132连接的每个边缘系统130是否存在任意一个满足上述待执行队列中验证任务的包括：分析器2202可以确定边缘系统130执行所述验证任务所需的预估资源312、分析器2202可以确定边缘系统130是否满足所述预估资源314、响应于边缘系统130满足所述预估[0090]接收器204，可以配置为接收分发器2203发送的进行逻辑系统设计的描述信息的[0094]在一些实施例中，运行器206可以将逻辑系统设计的描述信息所在的目录挂载至计算容器镜像中。挂载可以是指由操作系统使一个存储设备(诸如硬盘、CD-ROM或共享资[0095]运行器206中还可以包括资源映射器，配置为连接计算容器镜像和硬件仿真工具[0098]配置文件解析单元1621，可以用于解析与所述硬件仿真工具134a关联的配置文[0099]驱动单元1623，可以用于根据配置文件中的配置信息并通过边缘系统130的接口[0100]事件处理单元1625，可以用于经过边缘系统130的接口2082向硬件仿真工具134a处理单元1625还可以经过边缘系统130的接口2082从硬件仿真工具134a接收与验证任务的边缘系统130中的与验证任务关联的第一信息在硬件仿真工具134a中识别不出的情况；也可能会存在硬件仿真工具134a进行验证任务后返回的第二信息在边缘系统130中识别不出格式存储的第一信息转换为第二格式，以及将以第二格式存储的第二信息转换为第一格[0102]在一些示例性的实施例中，资源映射器162可以通过Mapper系统130中均可以部署KubeEdge[0105]图4示出了根据本公开实施例提供的在边缘系统验证逻辑系统设计的方法400的边缘系统间的链路存在问题的时候，业务不受到影响。边缘系统可以部署KubeEdge中的以进行验证任务的边缘系统，将逻辑系统设计的验证任务发送至进行验证任务的边缘系算容器镜像，进一步包括：经由云服务器可以确定执行所述验证任务所需的预估资源(例如，图3B中的步骤312)；经由云服务器可以确定所述边缘系统是否满足所述预估资源(例中的资源映射器162)连接所述计算容器镜像和硬件仿真工具(例如，图1C或图2B中的硬件[0122]上述在边缘系统验证逻辑系统设计的方法中，云服务器和边缘系统中均部署述示例性方法之一(例如，图3A所示的方法300或图3B所示的方法310或图4所示的方法非易失性和易失性存储器中的至少一种。非易失性存储器可包括只读存储器(Read-Only(ReRAM)、磁变存储器(MagnetoresistiveRandomAccessMemory，MRAM)、铁电存储器(FerroelectricRandomAccessMemory，FRAM)、相变存储器(PhaseChangeMemory，PCM)、石墨烯存储器等。易失性存储器可包括随机存取存储器(RandomAccessMemory，库和非关系型数据库中至少一种。非关系型数据库可包