本发明公开了一种基于流图的HDL信号二值分析系统和方法，包括依次连接的流图生成模块、静态分析模块和结果输出模块，流图生成模块用于将原始设计的AST表示转为流图表示，并为设计中的每个信号生成专属数据流图；静态分析模块用于遍历每个信号的专属...

本发明公开了一种基于AST的时钟信号提取方法和系统，包括获取原始设计文件，进行词法、语法分析，得到抽象语法树AST；在AST上遍历所有被always控制的事件控制语句，保留不包含电平敏感的事件控制语句，提取每一事件控制语句敏感列表中的所...

本发明公开了一种基于交换架构的外设接口调度方法及系统，预设若干个FPGA开发板和FPGA外设板，将若干个FPGA开发板与FPGA外设板通过交换网络连接，将若干个FPGA开发板、若干个FPGA外设板以及交换网络分别与控制服务器连接；根据工...

本发明公开了一种基于流图划分的FPGA资源划分方法，将多个设计模块及其连接关系抽象成多个RLM和多条信号边并分组，得到多个RLM分组节点和多组分组后的信号边，多个RLM分组节点和多组分组后的信号边构成流图；将FPGA的容积分割成若干个存...

本发明公开了一种多模混合互连架构的多FPGA原型验证平台硬件体系结构，包括高速交换网络、多个电路板板卡和多路高速串行收发器，每个电路板板卡内放置多个FPGA，同一个电路板板卡内的多个FPGA利用LVDS接口进行板内直连，不同电路板板卡之...

本发明公开了一种基于图表的FPGA触发条件配置方法，初始化项目代码，根据初始化后的项目代码得到信号数据，从信号数据中选择探针信号并配置探针类型；将探针类型配置为触发的探针信号作为采样信号；设置触发条件的构成要素，根据触发条件构成要素中的...

本发明公开了一种应用于Java污点分析的依赖补全方法和系统，包括获取Java源代码，根据Java源代码获取单类型导入列表、按需类型导入列表；遍历缺失依赖的语法树节点，当语法树节点为类实例创建或函数调用类型时，获取函数名，并结合单类型导入...

本发明公开了一种仿真主频驱动的信号自动映射方法，包括读取FPGA分割之后的设计，将分割后的设计用孤岛子图表示，每个孤岛子图中包含多个SLICE；将SLICE按照预设的拓扑结构进行放置，每个SLICE对应单独的FPGA；对SLICE的边界...

本发明公开了一种基于RLM流图的硬件原型仿真自动分割方法，包括将ASIC设计分割为多个RLM；获取每个RLM的信号流向，根据RLM之间的信号流向，构建由多个RLM组成的数据流图，得到RLM流图；对RLM流图的逻辑资源进行预估；将RLM流...

本发明公开了一种基于多FPGA原型验证云平台的外设分配方法和系统，包括接收用户提交的资源申请，通过专用交换结构获取云平台中所有的空闲FPGA资源、外设资源和物理机资源，并分配对应的硬件资源给用户；调度计算资源，按照用户设定的分割粒度和模...

本发明公开了一种基于FPGA的海量波形数据采集与处理方法，首先设计数据库表，数据库表的数量和采样信号的数量一致；然后对多个采样信号进行排序，以预设采样时长采集多个采样信号的原始波形数据并处理，得到多个采样信号中的每一个采样信号在预设采样...

本发明涉及编译优化技术领域，具体为一种基于图的HDL编译优化方法，包括如下步骤：步骤S1、获取或者构建HDL文件；步骤S2、对HDL文件进行词法、语法分析，并通过词法、语法分析结果构建抽象语法树；步骤S3、依据抽象语法树构建图；步骤S4...

本发明公开了一种基于光交换的多FPGA原型验证系统，包括光交换机、多个电路板板卡和多路高速串行收发器，每个电路板板卡内放置多个FPGA，同一个电路板板卡内的多个FPGA通过电缆或电路板板卡内走线通过LVDS接口进行板内直连，不同电路板板...

本发明公开了一种基于多FPGA验证公有云平台的远程验证方法和系统，包括用户从云平台提供的多种候选资源配置模板中选择对应的资源配置模块，接收用户通过加密通道上传的设计源文件，执行逻辑综合、探针插入、划分、映射和顶部模块生成操作，完成仿真配...

本发明公开了一种基于RTL网表的有限状态自动机识别及提取方法，包括获取HDL代码，使用HDL代码生成的抽象语法树和RTL网表作为输入，遍历抽象语法树中声明的所有寄存器，检查每一个寄存器是否存在逻辑上的反馈，并收集存在反馈的寄存器作为待确...

本发明公开了一种基于FPGA的芯片仿真加速方法和系统，包括主机利用预设的综合工具将用户设计的逻辑电路综合为RTL级表示文件；通过编写处理逻辑，将RTL级表示文件映射为带有特定功能的调试和控制用途的模块，并存储为预设格式的表示文件；获取用...

本发明涉及集成电路设计技术领域，具体为一种基于web的波形绘制展示方法，包括如下步骤：1、打开文件，将文件内容解析成波形数据，并对波形数据进行封装；2、对波形数据进行预处理，初始化全局实例waveGraph以及画布；3、分别绘制信号展示...

本发明公开了一种基于FPGA云平台的硬仿验证流程实现的方法，客户端获取用户设计的源码文件，编译综合源码文件，生成实例树和资源占用情况；指定全局实例，将用户设计的实例拆分成小的实例模块；根据拆分的实例模块，生成不同模块之间的信号流图；用户...

本发明公开了一种基于多FPGA原型验证混合云平台的加密方法和系统，包括用户通过私有云平台进行设计分割和调试信号选定等操作，输出多个FPGA位流文件；用户根据需求在多FPGA验证公有云平台选择对应的配置资源；将FPGA位流文件以及预设的调...

本发明公开了一种基于FPGA云平台的硬仿验证流程实现的方法，客户端采用加密方式将用户设计的源码文件上传至云平台；云平台编译综合源码文件，生成实例树和资源占用情况；在客户端指定全局实例，将用户设计的实例拆分成小的实例模块；云平台根据拆分的...