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