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

Data Collecting Algorithm for Reverse Analysis of Synchronous Logic PLD

作　　者：李清宝[1] 张平[1] 赵荣彩[1] 曾光裕[1] 

机构地区：[1]解放军信息工程大学信息工程学院,郑州450002

出　　处：《计算机工程》2008年第16期10-12,21,共4页Computer Engineering

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

摘　　要：采用逻辑分析法实现加密可编程逻辑器件(PLD)逆向分析的关键是为逻辑综合提供有效、完备的数据集,特别是对时序型PLD,在未知状态图的情况下,如何高效地采集到所有有效状态下的数据,是逆向分析研究的核心问题之一。该文在理论分析同步时序型PLD逆向分析可行性的基础上,提出一种适合多状态、复杂同步时序型PLD的高效数据采集算法,以动态建立非完全状态图为基础,求解状态驱动的最短路径,使得数据采集算法具有理想的时空开销。The key problem in the reverse analysis of encrypted Programmable Logic Devices（PLD） using logic analysis techniques is to collect effective and self-contained data set, especially for timing PLD. An efficient data collecting algorithm is presented whichs＇ suit for large scale and multi-state synchronous PLDs. The algorithm builds non-complete state graph and finds the shortest path for state migration form initial state to each effect state. The algorithm has ideal time and space cost and has been used in the PLD reverse engineering system.

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

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构]