逻辑未知PLD的安全性漏洞检测方法

摘要

针对逻辑未知PLD的孤立状态检测,对黑箱检测法进行研究.通过分析PLD的I/O结构,阐述检测过程中引脚属性判别的原理,对比分析3类判别算法的性能.针对状态驱动问题,阐明现有驱动算法的实现思想,分析现有驱动算法的空间复杂度,并且针对状态搜索和转移路径长度,定性地分析时间复杂度,提出下一步研究的重点.