【摘 要】
:
该论文的作者进行了工作包括:对基于BDD的面向逻辑综合的化简和转换进行研究,提出了删除-移动-合并算法.该算法对ROBDD作了进一步的化简和变形,使ROBDD更加适合于进行逻辑综
论文部分内容阅读
该论文的作者进行了工作包括:对基于BDD的面向逻辑综合的化简和转换进行研究,提出了删除-移动-合并算法.该算法对ROBDD作了进一步的化简和变形,使ROBDD更加适合于进行逻辑综合工作.经过大量的实例测试说明,在许多情况下,删除-移动-合并算法能够比较有效地对ROBDD进行化简,拥有比较好的效果.此外,该系统能够完成逻辑综合工作,同进为将来的工作提供了良好的基础.
其他文献
该文研究面向对象建模的基本方法及其具体应用,主要探讨面向对象建模方法在业务信息系统的设计开发中的应用.首先,研究人员研究了几种经典的面向对象建模方法,并分析了业务信
在企业、事业单位中,设备管理的任务是连续、完整、准确、及时地反映和监督单位的设备运转情况,加强经营管理,提高经济效益.而要完成设备管理任务则必须有一套专门的方法.即:
研究人员针对XYZ系统特征提出了可视化软件体系结构描述语言XYZ/ADL,并以它作为XYZ系统的界面语言.XYZ/ADL是基于一种被称为组件(Component)的基本构件,实际上组件正是模块概
该论文主要探讨了有关计算机,技术、网络技术在金融领 域的运用问题,以及关于金融计算机系统的网上应用及其若干关键技术.在该论文中探讨了金融计算机系统的体系结构和网络
该论文研究的课题是16位微处理器80286的体系结构的研究与子系统设计,该型微处 理器是机载嵌入式MPU的典型代表.80286的体系结构分析是系统设计的关键.该论文在对80286体系结
该文在TIPS(Tsinghua Interactive Parallellizing)交互并行编译系统中实现了这一技术.TIPS是由作者所在的教研组,在Polaris并行编译系统中实现了这一技术.TIPS是由作者所在
该文从水泥生料配料的工作原理及总体方案分析出发首先论述了水泥生料配料控制系统中的系统硬件设施中的几大组成部分(压力传感器、A/D、D/O、放大板、固态继电器等) 的工作
该论文介绍了如何在异构操作系统平台上实现一个RDBMS的核心以及国产关系统数据 库管理系统COBASE的核心层在Windows平台上的实现情况.
该文将以"基于CORBA的Server端应用程序开发工具"为工作背景,对上述问题进行 论述.其中重点讨论Server端开发工具的在功能上的一些设计思想以及在实现中所涉及的一些技术问题
计算机辅助教育经过若干年的发展已颇具规模,但Internet的快速发展和普及又给其注入了新鲜的血液,基于Web的网上教学正逐渐成为未来CAI发展的主要势.该文以一个单机版该的计