一种同步时序PLD逆向分析数据采集算法

摘要：

采用逻辑分析法实现加密可编程逻辑器件(PLD)逆向分析的关键是为逻辑综合提供有效、完备的数据集,特别是对时序型PLD,在未知状态图的情况下,如何高效地采集到所有有效状态下的数据,是逆向分析研究的核心问题之一.该文在理论分析同步时序型PLD逆向分析可行性的基础上,提出一种适合多状态、复杂同步时序型PLD的高效数据采集算法,以动态建立非完全状态图为基础,求解状态驱动的最短路径,使得数据采集算法具有理想的时空开销.

关键词：可编程逻辑器件、同步时序、非完全状态图、最短路径、数据采集

所属期刊栏目：34

分类号：TP309.7(计算技术、计算机技术)

资助基金：国家"863"计划基金资助项目"网络关键设备中核心芯片逆向分析与可控技术研究"2006AA01Z404

在线出版日期：2008-09-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：10-12,21