论文部分内容阅读
二叉决策图(BDDs)是布尔函数的一个表示方法,最近它被广泛应用于逻辑综合、布尔电路的模拟和测试等领域.在这些应用中,有些基本问题需要解决,其中包括电路图到决策图的转换.本文提出一个转换的方法.文中分两步叙述,首先是对无扇出电路的转换,然后是对有扇出电路的转换,最后把两者结合为一个通用算法.
二叉决策图在逻辑综合中的应用
【摘 要】
：
二叉决策图(BDDs)是布尔函数的一个表示方法,最近它被广泛应用于逻辑综合、布尔电路的模拟和测试等领域.在这些应用中,有些基本问题需要解决,其中包括电路图到决策图的转换.
【机 构】
：
南通工学院信息工程系
【出 处】
：
微机发展
【发表日期】
：
2002年1期
【基金项目】
：
南通工学院校科研和教改项目
其他文献
粗集是一种处理不确定性知识的重要工具,针对粗集理论中的二进制区分矩阵的空间和时间上的不必要开销,基于动态的思想和概率论,提出了一种可降低二进制区分矩阵空间及时间开
本文概括了“全面建设小康社会”提出的过程．分析了提出“全面建设小康社会”的里程碑意义，阐述了对“总体上达到小康水平”的理解，强调了对“全面建设小康社会”的把握和贯彻一
选择BaO-Fe2O3-SiO2玻璃体系，通过采用分步晶化热处理方法制备出了以BaFe12O19为磁性主晶相的无变形硬盘用微晶玻璃，并利用XRD、SEM、VSM等测试手段对微晶玻璃进行了分析和性能
文中以TMS320VC5402为对象，分析了其串行通讯端口的特点，说明了利用TMS320VC5402串行通讯端口实现其内部CPU与PC机之间的串行通讯的原理，并给出了一种简易的异步串行通讯的实现
分析了恒定速率视频编码转换缓冲区的状态,导出了编码转换缓冲区为防止解码器缓冲区下溢和上溢应满足的条件,建立了视频编码转换模型.并使用小波变换系数来表征图像特性,提出
《辽宁日报》记者马光、特约记者郭归临报道省气象局和省气象学会于3月23日上午在省人大会议室举行了纪念1991年世界气象日活动。参加会议的有省科协、省环保局、省地震局、
对三层模式开发结构进行了分析,论证了中间件在三层模式中的重要应用,并且以BEA TUXEDO为例,阐述了中间件的核心组成.
目的验证加速康复外科措施在肝外胆管结石手术中应用的安全性、有效性。方法选取我院2017~2019年因肝外胆管结石拟行腹腔镜胆总管探查患者300例,按照手术时间顺序依次分为ERA
一、朝阳市松毛虫发生概况松毛虫是我国松林的主要害虫之一,其分布广,繁殖力强,危害严重。大发生时松树针叶全部被食尽,似火烧一样,被人们称为“不冒烟”的森林火灾。松毛虫
文中简单阐述了PKI(Public Key Infrastructure)的概念及其相关知识;列举了PKI的基本组成.接下来讨论了现代计算机密码学中各种加密算法及其在PKI中的应用.为了更好地做好教