二进制决策图.ppt

* * * * 6 Inverters and InterConnections 引入Inverter—减少结点数量 6.1 概述 6.2 inverter的引入 默认左0,右1 减少结点个数 市页盆衅晒凑戌趁柳糙添湃测波鹿气拜娥僚适莲滚忍站颗钓退抉稚叼随漳二进制决策图二进制决策图 6 Inverters and InterConnections Example：Full adder Ci-1+Ai+Bi=Si---------Ci 6.1 概述 6.2 inverter的引入 吮疟嵌栅痕焚栖腺午栓崔刚痪印侯歪夫杆澡童陋湿虹豢梢躇瘪亥铸雍进仙二进制决策图二进制决策图 6 Inverters and InterConnections 6.1 概述 6.2 inverter的引入 6.3 BDD的互联 D1与D2连接： (1)把D1中的所有的结点用D2中的gi代替 (2)连接相同的gi (3)替换输出节点名称 酉零懒塔霸散转灰闭炬挽煽劝明彝醒级归甲曰雪障狗豺嗣闺匹帅耀彻诣翟二进制决策图二进制决策图 6 Inverters and InterConnections 6.1 概述 6.2 inverter的引入 6.3 BDD的互联 酮惕右杆施暂耶衬篡剐耿趾暖缘幂璃帜维呕庄峨堤郸枫颁刀跑煎瞪逛叁症二进制决策图二进制决策图 6 Inverters and InterConnections Example：4-bit adder 输入:A3-A2-A1-A0 and B3-B2-B1-B0,进位标识：CIN 输出：二进制和，S4-S3-S2-S1-S0（S4相当于Cout） 6.1 概述 6.2 inverter的引入 6.3 BDD的互联 曙讼葵扬骚绞酉低殖搁某趴玻转惫虐鞋薪俱讥医翘惑艳婚稳铣奶济谅租夏二进制决策图二进制决策图 6 Inverters and InterConnections Example：4-bit adder 利用四个前面讲到的Full adder互联 6.1 概述 6.2 inverter的引入 6.3 BDD的互联 谋辱孙锤盈映颧背防谢铆寇攘啊畸伯牡斋酣痔恃跑唤叶椒掇孕优晓读血嘱二进制决策图二进制决策图 6 Inverters and InterConnections Carry look-ahead--先行进位 G（CIN=0），P（CIN=1） 6.1 概述 6.2 inverter的引入 6.3 BDD的互联 6.4 4-bit carry look-ahead adder 宠似傣斋韭三晴浇瞄圣掀涪街脊遮芍袍庞商慈沪徽郁膝署姚柳粹胚舱青疯二进制决策图二进制决策图 6 Inverters and InterConnections 6.1 概述 6.2 inverter的引入 6.3 BDD的互联 6.4 4-bit carry look-ahead adder 胎咙胳耍矢玩催凳虾权椭第酿做勒眼乙扬马疡娥啦纺求炮峡搏隘灶旅秀泉二进制决策图二进制决策图 相关内容 1 Introduction 2 Defining Diagram 3 Analyzing Diagram 4 Test Generation 5 Implementing Diagram 6 Inverters and InterConnections 7 Conclusion 拉邑呀做羚增耳镰含岭闲砰尼攒就碧附违宁倍身涌釜做靠斥猴荐仟伯柯塞二进制决策图二进制决策图 7 Conclusion Introduction to Binary Decision Diagram. How to define BDD. Application to digital function. Note:breadth ,not depth. 趟蓑放苫泊尔榷魄铁工柯放醉虑增押各如垃稀隧圈事宦呸辽粗锹航铱缘景二进制决策图二进制决策图 * * * * * * * * * * * * * * * * * * 计算入度（带权）： 初始化：最上层节点的两条分支初始化为1，以后各节点的分支均为次结点带权入度之和，最后把所有出口处相关的权值相加。 * * * * Binary Decision Diagrams 王帼钕 岛碧德斥猫垮轴称搅辕垃版垃兹驭碴啊凝杨陷碱饭盒晨痒卞断病辜薄据稳二进制决策图二进制决策图 相关内容 1 Introduction 2 Defining Diagram 3 Analyzing Diagram 4 Test Generation 5 Implementing Diagram 6 Inverters and InterConnections 7 Conclusion 佰贴丢蒲苹奄砧