【摘 要】
：
该论文对多级逻辑优化中的一些关键问题进行了深入的研究,研究内容主要涉及以下四个部分：（1）OBDD的应用研究.（2）未知时间环境下的时序分析和验证问题.（3）工艺映射问题.（4）时序重排算法
论文部分内容阅读
该论文对多级逻辑优化中的一些关键问题进行了深入的研究,研究内容主要涉及以下四个部分：（1）OBDD的应用研究.（2）未知时间环境下的时序分析和验证问题.（3）工艺映射问题.（4）时序重排算法.其中,每个部分中所研究的具体问题以及通过对这些问题的研究所得到的一些基本结论如下所述：由于OBDD的变量序问题是OBDD应用中的一个"瓶颈"问题,我们在论文中对这个问题进行了研究,并且提出了一种基于动态计算可观测的变量序算法.与以前算法不同的是,我们是以可观测无关项中所含最小项的数目来作为原始输入变量的权植.对标准电路的实际结果表明,我们的算法是有效的.我们首次将OBDD应用于组合逻辑电路的测试问题中,从另外一个角度对组合逻辑电路的测试问题进行了研究.在对工艺映射问题进行研究时,我们主要是提出了一种新的基于二分图完美匹配的布尔匹配算法.由于时序重排算法在时序电路优化中具有重要的地位,因此我们对基本的时序重排算法进行了深入的研究.基于以上提出的一些算法,我们都在Sun3/260上用C语言编写了相应的源代码,并且将计算结果与以前的方法进行了对比和分析.
其他文献
条件性听觉恐惧训练是学习与记忆研究中的常用行为范式，其神经环路已被广泛地研究。本研究中，我们首次发现了小鼠大脑中从外侧杏仁核(LA)到听皮层(ACx)的投射通路。在听觉恐惧
该论文对SOI（Silicon on Insulator）应变SiGe沟道BiCMOS器件及应用电路进行了模拟和实验研究.SOI部分耗尽MOSFET相对于体硅MOSFET而言,具有许多优点：源漏结寄生电容小、工作速度
通信网络正向着高速宽带、多业务、智能化的方向发展.多协议标签交换(MPLS)作为下一代Internet骨干网的核心技术,为各种网络层协议和数据链路层协议提供了一种有效的多协议解
高温超导体的发现使该已非常低落的超导研究重新高涨起来.随着高温超导块材料性能不断提高,高温超导块在磁悬浮方面的应用表现出巨大的潜在优势.该文主要研究熔融法YBCO块材
针对目前睡眠监测新的发展要求,使用心电等生理参数替代脑电信号进行睡眠状态分析已经成为一个重要的研究领域。本设计所做设备需要为与之配套的睡眠治疗仪的调整提供必要的数据。设计中兼顾被测者的舒适性和测量的准确性,采用基于导电织物的非接触式测量这一全新的方式对人体心电信号进行提取、识别及分析,并论证其应用于睡眠分析的可行性。非接触式心电信号采集使用方便简单并可长时间测量,适合于家用测量系统以及社区医院使用