发明名称 一种基于最大流方法的FPGA测试方法
摘要 本发明涉及FPGA的应用测试技术,具体公开一种基于最大流方法的FPGA测试方法;它包括适用于方法的基本FPGA建模方法,基于带有预测机制的深度优先搜索算法的最大流方法,并针对FPGA结构特点的约束检查;本方法能够自动生成测试配置,且不依赖具体某一FPGA器件的结构,具有普适性,能够被广泛的推广;本方法不刻意区分配置中涉及的资源类型,做到了资源全覆盖的一次性测试配置自动生成。
申请公布号 CN102116839A 申请公布日期 2011.07.06
申请号 CN200910248933.1 申请日期 2009.12.30
申请人 中国科学院沈阳自动化研究所 发明人 杨志家;吕岩;马继开;谢闯;张超;赵雪峰
分类号 G01R31/3185(2006.01)I 主分类号 G01R31/3185(2006.01)I
代理机构 沈阳科苑专利商标代理有限公司 21002 代理人 许宗富
主权项 一种基于最大流方法的FPGA测试方法,其特征在于:该测试方法包括如下步骤:步骤1)根据FPGA结构建立有向图模型;将FPGA化分为配置单元结构和互连线结构;所述配置单元结构包括逻辑单元、输入输出单元及互联单元中的配置开关形成的互联开关矩阵;所述互连线结构为各配置单元结构间的引线;步骤2)将FPGA建立有向图模型时,所述逻辑单元的基本组成结构对应有向图模型中的一个顶点,所述互联开关矩阵的每个端口对应有向图模型一个顶点;所述互连线对应有向图模型的一个边;步骤3)在步骤1中有向图模型的基础上增加“源S”顶点和“汇T”顶点;所述“源S”与输入输出单元的输入端口顶点相连,“汇T”与输出单元输出端口的顶点相连;通过所述“源S”顶点及“汇T”顶点将数据路径转化为从起点“源S”到终点“汇T”路径的集合。步骤4)FPGA测试配置自动生成采用求最大流方法,该方法第一、定义每个边容量;第二、增流过程中采用路径搜索算法;第三、在流生成过程中对有向图的实时检测动态调整;步骤5)当步骤4)中达到某一最大流时,将最大流中所有路径的集合映射到FPGA中构成一个测试配置,记录测试配置后,模型重新初始化;步骤6)重复步骤准4)中最大流测试,当连续两次求最大流操作的结果相同时,将统计所有的顶点和边在已有测试配置中的使用情况;将始终没有出现在测试配置中的顶点和边(不包括双向连线抽象出的两条边有一条未出现的情况)为起点分别向“源S”和“汇T”路径搜索,最终将所有的顶点和边都被包含在测试配置中,输出自动匹配结果。
地址 110016 辽宁省沈阳市东陵区南塔街114号