Author(s): ZHOU Li, LI Qingbao, FAN Min, ZHAO Yan
Pages: 132-134
Year: 2010 Issue:  18
Journal: Computer Engineering
Keyword:  可编程逻辑器件; 漏洞检测; 引脚判别; 状态驱动;
Abstract: 针对逻辑未知PLD的孤立状态检测,对黑箱检测法进行研究.通过分析PLD的I/O结构,阐述检测过程中引脚属性判别的原理,对比分析3类判别算法的性能.针对状态驱动问题,阐明现有驱动算法的实现思想,分析现有驱动算法的空间复杂度,并且针对状态搜索和转移路径长度,定性地分析时间复杂度,提出下一步研究的重点.