- 专利标题 公开号/公告号 公开日期 摘要 专利状态
- 一种基于多FPGA验证公有云平台的远程验证方法和系统 CN202310231048.2 - 本发明公开了一种基于多FPGA验证公有云平台的远程验证方法和系统，包括用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模块，接收用户通过加密通道上传的设计源文件，执行逻辑综合、探针插入、划分、映射和顶部模块生成操作，完成仿真配置；从计算集群中获取并调用计算资源，根据仿真配置生成位流文件；根据仿真配置从资源池中分配对应的资源，配置交换架构路由表，将仿真配置对应的资源连接起来，构建硬仿执行环境；将生成的位流文件加载到分配给用户的FPGA芯片，配置外设接口板，将调试机连接到外设并使其就绪；用户通过虚拟网络计算协议远程登录调试机执行仿真和调试操作得到波形数据，完成远程验证。 实质审查
- 一种基于多FPGA原型验证云平台的外设分配方法和系统 CN202310240993.9 - 本发明公开了一种基于多FPGA原型验证云平台的外设分配方法和系统，包括接收用户提交的资源申请，通过专用交换结构获取云平台中所有的空闲FPGA资源、外设资源和物理机资源，并分配对应的硬件资源给用户；调度计算资源，按照用户设定的分割粒度和模块间的逻辑关系，对用户提交的设计源文件进行设计分割、调试信号选定，编译综合和硬件实现操作，输出多个FPGA位流文件，并通过以太网接口烧录至分配给用户的FPGA，配置专用交换结构连接指定的FPGA和外设板；接收用户的仿真指令开始仿真和调度，当满足预设的调试信号触发条件时，在指定时刻结束多个FPGA的数据采样进程，调试查看波形数据。提高了可扩展性，降低运维成本。 实质审查
- 一种基于web的波形绘制展示方法 CN202310198550.8 - 本发明涉及集成电路设计技术领域，具体为一种基于web的波形绘制展示方法，包括如下步骤：1、打开文件，将文件内容解析成波形数据，并对波形数据进行封装；2、对波形数据进行预处理，初始化全局实例waveGraph以及画布；3、分别绘制信号展示列表、绘制信号分组、绘制信号位、绘制信号总线、绘制时间刻度、绘制工具栏、绘制快捷菜单；4、分别绑定并监听信号操作事件以及工具栏事件；5、渲染展示，分层渲染已经添加的图形元素、当有数据变化时更新渲染。本发明基于web浏览器，不用安装客户端，波形通过画布绘制，图形由像素组成，在较小的表面或较大数量的节点对象上都能提供很好的性能，绘制后波形还支持图片快照导出。 实质审查
- 一种基于FPGA云平台的硬仿验证流程实现的方法 CN202310197578.X - 本发明公开了一种基于FPGA云平台的硬仿验证流程实现的方法，客户端获取用户设计的源码文件，编译综合源码文件，生成实例树和资源占用情况；指定全局实例，将用户设计的实例拆分成小的实例模块；根据拆分的实例模块，生成不同模块之间的信号流图；用户在遵循一定的原则下通过客户端操作将拆分的实例模块划分到不同的FPGA内；通过客户端指定不同FPGA之间信号的属性，配置连接端口，插入探针；生成FPGA子工程top文件，并编译生成子工程位流，进行加密后发送指云平台服务器；在客户端配置触发条件，云平台部署运行仿真程序，调试查看波形数据并发送至客户端显示。满足大型芯片设计的硬件仿真的验证需求，且保护了用户的知识产权。 实质审查
- 一种基于FPGA云平台的硬仿验证流程实现的方法 CN202310177204.1 2023-05-09 本发明公开了一种基于FPGA云平台的硬仿验证流程实现的方法，客户端采用加密方式将用户设计的源码文件上传至云平台；云平台编译综合源码文件，生成实例树和资源占用情况；在客户端指定全局实例，将用户设计的实例拆分成小的实例模块；云平台根据拆分的实例模块，生成不同模块之间的信号流图；用户在遵循一定的原则下通过客户端操作将拆分的实例模块划分到不同的FPGA内；通过客户端指定不同FPGA之间信号的属性，配置连接端口，插入探针；云平台服务器生成FPGA子工程top文件，并编译生成子工程的位流；在客户端配置触发条件，部署运行仿真程序，调试查看波形数据。以满足大型芯片设计的硬件仿真的验证需求，自动化程度高。 专利权的授权
- 一种基于RTL网表的时钟网络提取方法 CN202310162381.2 2023-05-09 本发明公开了一种基于RTL网表的时钟网络提取方法，以RTL网表为必须输入，时钟信号源为可选输入，从RTL网表中的时序逻辑器件回溯推导，获取输入信号源到时序逻辑器件的信号路径并过滤；再通过提供的时钟源信息正向推导，得到时钟信号源到第一层时序节点的信号路径，解决门控时钟带来的路径混淆问题。最后对过滤后的输入信号源到时序逻辑器件的信号路径和所述时钟信号源到第一层时序节点的信号路径进行合并得到一个完整的时钟网络。对设计中的时钟网络的分析和提取提供了一种高效的处理方法，能够方便地用于时钟相关分析方法和工具中，大幅提高传统人工分析方法的工作效率。 专利权的授权
- 一种基于RTL网表的有限状态自动机识别及提取方法 CN202310168225.7 - 本发明公开了一种基于RTL网表的有限状态自动机识别及提取方法，包括获取HDL代码，使用HDL代码生成的抽象语法树和RTL网表作为输入，遍历抽象语法树中声明的所有寄存器，检查每一个寄存器是否存在逻辑上的反馈，并收集存在反馈的寄存器作为待确定的状态寄存器；遍历RTL网表中所有待确定的状态寄存器，从所有待确定的状态寄存器为起始反向搜索，判断驱动对应待确定的状态寄存器的输入端口的网表结构是否符合有限状态自动机的状态转换逻辑的特征；若符合有限状态自动机的状态转换逻辑的特征，则根据识别出的有限状态自动机的网表结构，分析有限状态自动机的状态转换逻辑的驱动形式，输出有限状态自动机，构建状态转换图。提取高效便捷清晰。 实质审查
- 基于交换架构的多FPGA仿真验证云平台调度管理方法和系统 CN202211157446.6 - 本发明公开了基于交换架构的多FPGA仿真验证云平台调度管理方法和系统，包括获取平台资源信息，包括FPGA位置、互连关系、端口配置、带宽配置和FPGA内部资源信息；根据用户设计对资源的需求情况分配平台资源，得到用户资源分配情况；根据用户资源分配情况将用户设计映射到对应FPGA上，通过配置高速互连交换网络将给用户分配的FPGA之间的基于交换的通信端口配置为对应需求的通信带宽，而将给用户分配的FPGA与其他未分配给该用户的FPGA之间的通信端口的带宽配置为0。实现平台资源的可扩展，以及用户之间的逻辑隔离，根据用户设计映射后的通信需求配置端口之间的通信带宽，在满足用户需求的同时，优化了高速互连交换交换网络的带宽利用率。 实质审查
- 一种基于分割通信需求的多FPGA平台网络拓扑优化方法 CN202211157448.5 2023-11-17 本发明公开了一种基于分割通信需求的多FPGA平台网络拓扑优化方法，包括获取划分后划分块的数量和各划分块之间的连接关系；从预设的网络拓扑结构库中任意选择一种网络拓扑结构，并将划分后的设计映射到选择的网络拓扑结构中；判断各FPGA通信端口之间的通信带宽需求以及网络中各节点之间的传输总带宽是否分别满足预设的要求；若满足要求，根据映射后的网络拓扑结构得到各FPGA之间的所有通信链路，计算从源FPGA需要到达目的FPGA的跳数，并记录最大跳数；从预设的网络拓扑结构库中任意选择另外一种网络拓扑结构，并返回上述步骤，遍历所有网络拓扑结构之后，选择其中最大跳数最小的网络拓扑结构作为最优网络拓扑结构。大幅度提高多FPGA仿真验证平台效率。 专利权的授权
- 源代码自动编译方法、编译系统、电子设备及存储介质 CN202211150288.1 - 本发明具体公开了一种源代码自动编译方法、编译系统、电子设备及存储介质，所述方法包括以下步骤：S1、判断项目配置文件中是否存在指定编译选项，若不存在，则定位到项目配置文件中并自动抽取编译选项；S2、基于指定编译选项或自动抽取的编译选项执行项目源代码的编译；S3、对编译成功的编译结果进行数据校验，若校验无误，则将编译完成的数据进行打包并提交到指定位置，终止流程；若校验有误，则判断是否可以更换编译选项，若能则返回步骤S1，若不能则记录编译失败组件信息并终止流程。本发明可以自动批量的编译大量源代码，同时还能够自动识别编译需要的环境和组件并自动适配，极大的节约了编译时间，提高了编译效率。 实质审查