针对 SRAM型 FPGA 可编程互连资源可测性设计，采用图论中的 Ford -Fulkerson 算法开展双长线可测性建模与实现技术研究，研究如何实现可测性结构。在此研究基础上对双长线模型进行扩展，可解决四长线、六长线、八长线等其它复杂结构线段及开关的可测性问题。在 Xilinx公司 Virtex -II 系列 XC2V1000百万门 FPGA 上进行了验证。结果显示该方法可通过软件工具自动化开发测试图形，针对固定1和固定0两种故障模型，在较少的测试配置数量下即能获得较高的故障覆盖率。
SRAM型 FPGA 可测性设计 互连资源 图论 Ford-Fulkerson 算法 数学模型