精华启发式算法与在线式解析.docVIP

启发式算法与在线式解析本文由0q8u0yzm1b贡献 pdf文档可能在WAP端浏览体验不佳。建议您优先选择TXT，或下载源文件到本机查看。 第 ４卷 第 ２期　 ２０ ０ ３年 ６月 　 信 息 工 程 大 学 学 报　 Ｊ ｕ ａ　 ｆＩ ｆｒ ｔｏ 　 ｇｎ ｅ ｎ 　 ｉｅｓｔ　 ｏ ｒ ｌｏ　ｎ ｏｍａｉｎ Ｅｎ ｉｅ ｒ ｇ Ｕｎ ｖ ｒｉｙ ｎ ｉ Ｖｏ ．　 １ ４ Ｎｏ． 　 ２ Ｊ ｎ．０ ３ ｕ ２０ 　 启 发 式 算 法 与在 线 式 解 析　 罗　 颖 ， 肖梓 祥　 （ 息 工 程 大学 信息 工 程 学 院 ， 南 郑 州 ，５０ ２　 信 河 ４００ ） 摘 要 ： 对在 线 式芯 片解析 方法 中数据 的特 点 ， 针 分析 了经 典逻 辑综 合算 法 的不适 用 性和启 发 式 　 算 法 的可行性 。 同 时， 对逻 辑综 合软 件 实现过 程 中要解 决 的问题进 行 了分 析。 　 关 键 词 ： 线 式解 析 ； 发 式算 法 ； 辑综 合软 件　 在 启 逻 中图 分类 号 ： Ｐ ３　 Ｔ３１ 文献 标识 码 ：　 Ａ 文 章编 号 ：６ １ ６ ３ ２０ ）２— ０ ６— ３ １７ —０ ７ （０ ３ ０ ０ ２ ０ 　 Ｈｅ ｒｓｉ　 ｇ ｒｔ 　 ｎ 　 ｎ ｉ ｅ Ｄｅ ｒ ｐ ｉｎ ｕ ｉｔ Ａｌｏ ｉｈｍ ａ ｄ Ｏ ｌ 　 ｃ ｙ ｔｏ 　 ｃ ｎ ＬＵ０　 ｎ Ｙｉ ｇ，ＸＩ ＡＯ　 ｉｘａ ｇ Ｚ — ｉｎ 　 （ｎｔｕｅｏ　ｎｏｍａｉ 　 ｇｎｅｉｇ Ｉｆｒ ａｉｎＥ ｇｎ ｅ ｎ 　 ｎｖｒｉ ， ｈｎ ｚｏ 　５ ０ ２， ｈｎ ） Ｉｓｔｔ ｆＩｆｒ ｔ ｎＥｎｉｅ ｒ ，ｎｏ ｔ 　 ｎ ｅ ｒ ｇ Ｕ ｉｅｓｔ Ｚ ｅｇｈ ｕ４ ０ ０ Ｃ ｉａ　 ｉ 　 ｏ ｎ ｍ ｏ ｉ ｉ ｙ Ａｂ ｔ ａ ｔ Ｔ ｉ　 ａ ｅ 　 ｎ ｌ ｚ ｓｔｅ ｉ ｒｃ ｉａ ｉ ｔ　 ｆｔｅ ｃａ ｓｃ 　ｏ ｉ　 ｙ ｔ ｅ ｉ　 ｇ ｒｔ ｍ　 ｎ 　ｈ 　 ｓｉ　 ｓ ｒ ｃ ： ｈ ｓｐ ｐ ｒａ ａｙｅ 　ｈ 　ｍｐ ａ ｔ ｂｌ ｙｏ 　ｈ 　ｌｓ ｉａ ｌｇｃ ｓ ｎ ｈ ｓｓａ ｏ ｉｈ ａ ｄ ｔｅ ｐ ｓ— ｃ ｉ ｌ ｌ ｅ ｂ ｌ ｙｏ 　 ｅ ｒｓｉ　 ｇ ｒｔ ｍ　 ｃ ｏ ｄｎ 　 ｏ ｔｅ ｆａ ｕ ｅ　 ｆ ｔ ｅ ｄ ｔ　ｃ ｌ ｃｅ 　ｎ ｏ ｌｎ 　 ｅ ｒｐ ｉｎ． ｔａｓ 　 ｉ ｔ　ｆ ｈ ｕ ｔｃ ａ ｏ ｈ ａ ｃ ｒ ｉｇ ｔ　 ｈ 　 ｅ ｔｒ ｓ ｏ 　ｈ 　 ａａ ｏｌ ｔｄ ｉ　 ｎ ｉｅ ｄ ｃｙ ｔｏ Ｉ　 ｏ ｉ ｉ ｌ ｉ ｅ ｌ ａ ａｙ ｅ　ｈ 　 ｒｂ ｅ 　 ｉｈ ｓ ｏ ｌ　 ｅ ｓ ｌｅ 　ｎ ｔ ｅ ｄ ｓｇ 　 ｆｔ ｅ ｌｇｃ ｓ ｎｈ ｓｓｓ ｆｗａｅ． ｎ ｓ ｓｔ ｅ ｐ ｏ ｌｍｓ ｗｈｃ 　 ｈ ｕｄ ｂ 　 ｏｖ ｄ ｉ　ｈ 　 ｅ ｉｎ ｏ 　ｈ 　ｏ ｉ　 ｙ ｔｅ ｉ　 ｏｔ ｒ 　 ｌ Ｋ ｅ 　 ｒ ｓ： ｎ ｉｅ ｄ ｃ ｙ ｔ ｎ； ｅ ｒｓｉ　 ｇ ｒｔｍ ；ｏ ｉａ　 ｙ ｔ ｅ ｉ　 ｏｔ ａ ｅ ｙ ｗｏ ｄ ｏ ｌ 　 ｅ ｒｐ ｉ ｈ ｕ ｔｃ ａ ｏ ｈ ｎ ｏ ｉ ｌ ｉ ｌｇ ｃ ｓ ｎｈ ｓｓｓ ｆｗ ｒ　 ｌ 和 启发式 算 法两类 。 　 １ 引 言　 　 在 线 式 解 析法 是 在 脱 机式 解 析 法遇 到 极 大 的　 困难 下提 出 的。在脱 机式 解析 法 中 ， 明芯 片需 从　 不 设 备上 取下 来插 到一 个专 门的硬件 平 台上 ， 输 入　 从 ２ １ 经典 逻辑 综合 算法 分析　 ． 经 典 的逻辑综 合算 法 是先 求 出质蕴 涵项 ， 再求　 最 小覆盖 。常用 的算 法有 ： 进 的 Ｑ Ｍ算 法 、 义　 改 ． 广 相 容算 法和 锐积 法等 。 以下结 合这 ３种算 法对 “ 在　 线 式” 集到 的数 据进 行逻 辑综 合处 理时 的适 用性　 采 做 简单 分析 。 　 ① 改进 的 Ｑ Ｍ 算 法 ． 　 端 施加 激励 ， 输 出端 收集 数 据 ， 集 到 的 数 据 与　 从 采 芯 片输 入 端 施 加 的激 励 相 关 ， 有 连 续 性 和 唯 一　 具 性， 而且是 芯片 的工 作全 集 。该方 法采 集 和处理 的　 数据 量随着 不 明芯 片 引脚数 的增 加而 成指 数增 长 。 　 该 算 法是