一种基于多FPGA验证公有云平台的远程验证方法和系统技术方案

本发明专利技术公开了一种基于多FPGA验证公有云平台的远程验证方法和系统，包括用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模块，接收用户通过加密通道上传的设计源文件，执行逻辑综合、探针插入、划分、映射和顶部模块生成操作，完成仿真配置；从计算集群中获取并调用计算资源，根据仿真配置生成位流文件；根据仿真配置从资源池中分配对应的资源，配置交换架构路由表，将仿真配置对应的资源连接起来，构建硬仿执行环境；将生成的位流文件加载到分配给用户的FPGA芯片，配置外设接口板，将调试机连接到外设并使其就绪；用户通过虚拟网络计算协议远程登录调试机执行仿真和调试操作得到波形数据，完成远程验证。完成远程验证。完成远程验证。

【技术实现步骤摘要】
一种基于多FPGA验证公有云平台的远程验证方法和系统


[0001]本专利技术属于电子设计自动化
，特别是涉及一种基于多FPGA验证公有云平台的远程验证方法和系统。

技术介绍

[0002]目前，针对大规模硬件设计的全局验证，往往采用多个高性能FPGA(现场可编程门阵列)协同共同完成验证。具备一般技术能力的芯片设计机构一般会选择根据自身需求，自建FPGA验证平台。但采取这种建设方式往往价格不菲，而且建设周期较长，最重要的是对设计和验证团队的技术要求极高。
[0003]因此，亟需一种方案来解决以上问题。

技术实现思路

[0004]针对以上技术问题，本专利技术提供一种基于多FPGA验证公有云平台的远程验证方法和系统。
[0005]本专利技术解决其技术问题采用的技术方案是：
[0006]一种基于多FPGA验证公有云平台的远程验证方法，方法包括以下步骤：
[0007]S100：用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模块，接收用户通过加密通道上传的设计源文件，并针对设计源文件执行逻辑综合、探针插入、划分、映射和顶部模块生成操作，完成仿真配置；其中，仿真配置包括FPGA芯片、外设接口板、外设和调试机；
[0008]S200：云平台从计算集群中获取并调用计算资源，根据仿真配置生成位流文件；
[0009]S300：云平台根据仿真配置从资源池中分配对应的资源，配置交换架构路由表，将仿真配置对应的资源连接起来，构建硬仿执行环境；
[0010]S400：云平台将生成的位流文件分别烧写到分配给用户的FPGA芯片，配置外设接口板，将调试机连接到外设并使其就绪；
[0011]S500：用户进入硬仿执行环境，通过虚拟网络计算协议远程登录调试机，调用应用程序及底层驱动程序执行仿真和调试操作得到波形数据，完成远程验证。
[0012]优选地，S100包括：
[0013]S110：用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模板；接收用户通过加密通道上传的设计源文件，用户通过云平台指定原始设计的顶部模块，并将预设的设计源文件添加到文件列表中，接收用户的综合启动指令对文件列表启动逻辑综合过程得到综合结果；
[0014]S120：用户从综合结果中得到实例和信号树，并通过多FPGA原型验证云平台选择调试信号；
[0015]S130：用户按照电路设计模块之间的逻辑关系以及预期的可用FPGA资源，通过云平台对电路设计进行分割和端口映射，得到划分和映射结果；
[0016]S140：云平台根据调试信号、划分和映射结果生成新的顶部模块，在新的顶部模块中插入调试模块和时钟模块，完成仿真配置；其中，仿真配置包括FPGA芯片、外设接口板、外设和调试机。
[0017]优选地，S110之后还包括：
[0018]当用户未能找到对应的资源配置模板时，用户通过云平台通知云平台服务商扩展资源，新增资源配置模板。
[0019]优选地，云平台针对新增资源配置模板中涉及的资源需求，配置对应资源；其中，配置对应资源包括新增调试机操作系统类型和版本和新增外设并适配外设接口板。
[0020]优选地，S200还包括：将位流文件上传至存储集群，和/或删除用户设计源文件，回收计算资源。
[0021]优选地，S100还包括：
[0022]云平台针对预设的多个硬仿验证场景分别预设一组配置，并为每种配置分配一组资源池，包括计算资源、FPGA芯片、外设接口板、外设和调试机；其中，多个硬仿验证场景包括第一预设尺寸单芯片、第二预设尺寸单板四芯片和第三预设尺寸多板多芯片；其中，第一预设尺寸小于第二预设尺寸，第二预设尺寸小于第三预设尺寸。
[0023]优选地，S500之后还包括：
[0024]S600：将波形数据保存至存储集群，退出硬仿执行环境，结束仿真。
[0025]优选地，S600之后还包括：
[0026]云平台回收FPGA资源，重置交换架构路由配置，重置调试机系统。
[0027]一种基于多FPGA验证公有云平台的远程验证系统，包括用于执行上述方法的多FPGA验证公有云平台。
[0028]优选地，多FPGA验证公有云平台包括API网关、连接API网关的计算集群、连接计算集群的FPGA集群和存储集群。
[0029]上述一种基于多FPGA验证公有云平台的远程验证方法和系统，基于交换架构实现了FPGA资源虚拟化及池化管理，满足了多FPGA原型验证场景下对FPGA拓扑结构灵活性的要求，同时通过支持交换架构的外设接口板实现了外设与FPGA芯片、调试机的自由连接，最终实现了通过远程方式为用户的大规模设计提供基于多FPGA的原型验证服务。
附图说明
[0030]图1为本专利技术一实施例中提供的一种基于多FPGA验证公有云平台的远程验证方法流程图；
[0031]图2为本专利技术一实施例中多FPGA验证公有云平台的结构示意图。
具体实施方式
[0032]为了使本
的人员更好地理解本专利技术的技术方案，下面结合附图对本专利技术作进一步的详细说明。
[0033]在一个实施例中，如图1所示，一种基于多FPGA验证公有云平台的远程验证方法，方法包括以下步骤：
[0034]S100：用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模块，
接收用户通过加密通道上传的设计源文件，并针对设计源文件执行逻辑综合、探针插入、划分、映射和顶部模块生成操作，完成仿真配置；其中，仿真配置包括FPGA芯片、外设接口板、外设和调试机；
[0035]S200：云平台从计算集群中获取并调用计算资源，根据仿真配置生成位流文件；
[0036]S300：云平台根据仿真配置从资源池中分配对应的资源，配置交换架构路由表，将仿真配置对应的资源连接起来，构建硬仿执行环境；
[0037]S400：云平台将生成的位流文件分别烧写到分配给用户的FPGA芯片，配置外设接口板，将调试机连接到外设并使其就绪；
[0038]S500：用户进入硬仿执行环境，通过虚拟网络计算协议远程登录调试机，调用应用程序及底层驱动程序执行仿真和调试操作得到波形数据，完成远程验证。
[0039]具体地，通过多FPGA验证公有云提供开箱即用的远程原型验证服务，极大地降低了FPGA原型验证技术门槛；基于交换架构带来便利性，支持任意两个FPGA之间、FPGA芯片与外设之间动态建立连接，用户和云服务机构工作人员都不需要额外进行手工连线。
[0040]在一个实施例中，S100包括：
[0041]S110：用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模板；接收用户通过加密通道上传的设计源文件，用户通过云平台指定原始设计的顶部模块，并将预设的设计源文件添加到文件列表中，接收用户的综合启动指令对文件列表启动逻辑综合过程得到综合结果；
[0042]S120：用户从综合结果中得到实例本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于多FPGA验证公有云平台的远程验证方法，其特征在于，所述方法包括以下步骤：S100：用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模块，接收用户通过加密通道上传的设计源文件，并针对所述设计源文件执行逻辑综合、探针插入、划分、映射和顶部模块生成操作，完成仿真配置；其中，所述仿真配置包括FPGA芯片、外设接口板、外设和调试机；S200：所述云平台从计算集群中获取并调用计算资源，根据所述仿真配置生成位流文件；S300：所述云平台根据所述仿真配置从资源池中分配对应的资源，配置交换架构路由表，将所述仿真配置对应的资源连接起来，构建硬仿执行环境；S400：所述云平台将所述生成的位流文件分别烧写到分配给所述用户的FPGA芯片，配置外设接口板，将调试机连接到外设并使其就绪；S500：用户进入所述硬仿执行环境，通过虚拟网络计算协议远程登录调试机，调用应用程序及底层驱动程序执行仿真和调试操作得到波形数据，完成远程验证。2.根据权利要求1所述的方法，其特征在于，S100包括：S110：用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模板；接收用户通过加密通道上传的设计源文件，用户通过所述云平台指定原始设计的顶部模块，并将预设的设计源文件添加到文件列表中，接收用户的综合启动指令对所述文件列表启动逻辑综合过程得到综合结果；S120：用户从所述综合结果中得到实例和信号树，并通过所述多FPGA原型验证云平台选择调试信号；S130：用户按照电路设计模块之间的逻辑关系以及预期的可用FPGA资源，通过所述云平台对电路设计进行分割和端口映射，得到划分和映射结果；S140：所述云平台根据所述调试信号、所述划分和映射结果生成新的顶部模块，在所述新的顶部模块中插入调试模块和时钟模块，完...

【专利技术属性】
技术研发人员：杨明军，
申请(专利权)人：湖南泛联新安信息科技有限公司，
类型：发明
国别省市：