论文部分内容阅读
可测性分析用于指导数字系统的计算机辅助测试与设计.本文用面向对象程序设计语言构造描述集成电路的数据结构,论文详细介绍了数字电路的描述方法,给出了可测性分析算法,并将有向图的拓扑排序引入可测性分析程序设计,提高了可测性分析的计算速度.理论分析和试验结果表明,用改进后的算法计算可控性可观性是行之有效的.