启发式算法与在线式解析.pdfVIP

第4卷 第2期 信 息 工 程 大 学 学 报 Vo1．4No．2 2003年 6月 JournalofInformationEngineeringUniversity Jun．2003 启发式算法与在线式解析 罗 颖，肖梓祥 (信息工程大学 信息工程学院，河南 郑州，450002) 摘要 ：针对在线式芯片解析方法 中数据 的特点，分析 了经典逻辑综合算法的不适用性和启发式 算法的可行性。同时，对逻辑综合软件实现过程中要解决的问题进行 了分析。 关键词：在线式解析；启发式算法；逻辑综合软件 中图分类号：TP331 文献标识码 ：A 文章编号 ：1671—0673(2003)02—0026—03 HeuristicAlgorithm andOnlineDecryption LU0 Ying，XIAO Zi—xiang (InstituteofInformationEngineering，InfomrationEngineeringUniversity，Zhengzhou450002，China) Abstract：Thispaperanalyzestheimpracticabilityoftheclassical logicsynthesisalgorithm andthepessi— bilityofheuristicalgorithm accordingtothefeaturesofthedata collected in onlinedecryption．Italso analysestheproblemswhichshouldbesolvedinthedesignofthelogicsynthesissoftware． Keywords：onlinedecryption；heuristicalgorithm ；logical synthesissoftware 和启发式算法两类 。 1 引言 2．1 经典逻辑综合算法分析 经典的逻辑综合算法是先求出质蕴涵项 ，再求 在线式解析法是在脱机式解析法遇到极大的 最小覆盖 。常用的算法有 ：改进的 Q．M算法 、广义 困难下提出的。在脱机式解析法中，不明芯片需从 相容算法和锐积法等。以下结合这 3种算法对 “在 设备上取下来插到一个专 门的硬件平台上 ，从输入 线式”采集到的数据进行逻辑综合处理时的适用性 端施加激励 ，从输出端收集数据 ，采集到的数据与 做简单分析。 芯片输入端施加 的激励相关 ，具有连续性和唯一 ① 改进 的Q．M算法 性 ，而且是芯片的工作全集。该方法采集和处理的 该算法是将数值最小 的最小项和数值最大的 数据量随着不明芯片引脚数的增加而成指数增长。 最小项相合并 ，得到覆盖 函数最大的多维体 ，目的 在这种情况下，大规模引脚数的芯片解析几乎不可 是将尽可能多的ON(或 OFF)点与DC点相合并 ，从 能。在 “在线式”中，芯片不从设备上取下来 ，而是 而得到最简的质蕴涵项集合。 采用逻辑分析仪实时采集芯片在 目标系统 中的工 该算法不受数据离散性 的影响，但综合过程中 作数据 ，并且对其分析处理 ，数据采集过程与 目标 必须得到全部的ON点集合和 OFF点集合 ，即必须 系统的工作状态相关 ，采集到的数据是芯片的工作 是数据全集 ，否则综合出来 的质蕴涵项就会出错 。 集 ，具有随机性 、离散性和非全集等特点 。