识别数字电路反馈线快速算法.pdfVIP

第 20卷 第 2期 复 旦 学 报 (自然科学版) Vol 鹳 N0．2 1989 ￡ 6 Jout-nalof ’udanUuiversity (Naturalso ∞1 Junf~1989 识别数字电路反馈线的快速算法 孙 肖 凌燮亭 (电 子 工 程 系) 提 要 提出了一种新的快速识别数字 电路反馈线的判据，证明了此判据的有效性， 而且所切割的反馈线组为极小组．利用此判据构成 了一种识别数字 电路反馈线 的快速算法，其时空矍杂性均为 0(E )【，l l为有 向圉G(N， )的边数 关键词：反馈线，有 向圉，有 向树 ，数字 电路 ，故障诊断 ． 在数字 电路的逻辑模拟 、故障模拟、耐试生成和可测试设计 中，如何有效地识别和切 割反馈线是一个重要 问题 ．由于识别最小反馈顶点集在解稀疏线性 、非线性系统和 动态系统的稳定性分析中所 占的重要地他，国外已发表 了不少关于寻找最小反馈顶点集 的文章 ．但寻找最小反馈顶点集是一个 NP-C 问题 ，故对规模较大的图，文献[4] 的方法不适用．因此一些学者给出了寻找极小反馈顶 点集的算法 ． 文献[6]的算法是寻找极小反馈顶点集方法 中较为有效 的一种 ，而且它能保证切割 反馈线后 的电路 中每一模块到原始输出端至少有一条通路．此算法先在一个表示数字 电 路 的有 向图上构成一个带生成次序标号的内向森林 ，并将所有 内向树 的余树枝作为潜在 反馈线，然后根据 回路的定义检查 由哪些潜在反馈线和 内向树构成心路．在有 向图上构 ● 成内向森林的计算复杂性为 0(1 1)，从潜在反馈线中找到反馈线的计 算 复杂 性 为 0 f，∑ 、) 、 ‘ … ． 文献[6]的总的计算复杂 为0l‘ll+…， )，其中ll为有向图边的总数， 0 为潜在反馈线数， 为第 个基本回路的长度．下面将指出：在某些情况下，∑ k= E ． 本文在文献[6]所生成的带生成次序标号 ()的内向森林上再加一圆溯标号 s(nD 以代替文献 [6]中节点处理过的标记 』()，( ∈N， (N， ))．这样 由 “n．、和 s() 可直接在生成 内向森林的同时判别出哪些是真正所 需切割 的反馈线 ，因而文献L6]中从 潜在反馈线中检查反馈线的过程可省去．算法的时间复杂性变为 0(1E1)．从本质上说， 本文所提出的判据使得切割有 向图反馈线不需附加过程，只要用改进的 DFS算法就 能 本文 1987年 1O月 28 日收到 ． 1985级硕士研究生 ． 第 2期 孙 肖、陵燮亭：识别数字电路反馈线的快速算法 189 从 回路中区分有 向回路和半回路 ]． 本算法简称为 FCL算法． 一 、 FCL算法 将 电路表示为有 向图 辞(Ⅳ，曰)，其中 Ⅳ={n，，“叠…，％一)是节点集合， = ( ， ，))是 (从 指 向 边的集合 ．原始输入 、输 出节 点分别记为 n{，n7． 倒 1．图 1(口)是个 JK 触发器 电路，图 l(6)是它的有 向图表示．伽}=“。， 。，n。， 凡．‘ )， )= 。，％。，“． n。)． 节点 ’E‘的右邻节点集合用 R(n)·={ I( ， ∈j口来表示，显然 R(no)； ． (a)鼍路 (b)有 向图表示