一种新的判定逻辑函数适于异或逻辑实现的探测算法.pdfVIP

定义??记”变量逻辑函数厂可表示为厂??????邸??苖，，。??一种新的判定逻辑函数适于异或逻辑实现的探测算法定义???】??且恢志哂杏邢藿岬闶?挠邢蛭扪?吠糋?髓??渲衴是?兴?薪岬愕?子结点???，?膖??哂檬迪弑硎荆?硎緑??，?桓持?；指向左子结点肠以’，?的??边用是否可表示成????，．的充分条件并形成了算法，但该算法仅考虑了函数／中??砺刍??结点?迷踩Ρ硎?。每一个非终端结点吃均由变量’，口，?，，?晔叮?⑶矣辛礁錾涑霰撸?赶蛴?虚线表示，表示????桓持祇；终端结点具有鼯个常数值?蚻，无射出边。???迄今还没有有效的方法。虽然文献【?亢臀南住?】对此问题进行了探讨，并提出了相应的探测算逻辑函数可以采用基于??疧?疦?的布尔逻辑实现，也可以采用基于??疿?的????????逻辑来实现。研究表??，大约?％的电路采用?逻辑实现可得到性能上的改进【??。因此在数字系统设计中，采用布尔逻辑和采用?逻辑具有同等的重要性。给定一个逻辑函数，快速准确地判断采用何种逻辑实现将有利于面积、功耗的优化，但法，但只能判定部分逻辑函数，因而还存在局限性。文献【?恐刑岢隽艘桓鲇糜谂卸下呒????獠?分，而没有对，．部分函数的特点进行进一步研究；文献【?恐刑岢隽艘恢只?诤好骶嗟奶讲馑惴ǎ?其主要利用汉明距为?牧礁鲎钚∠羁梢圆捎肵?逻辑实现，且要比采用布尔逻辑实现节省成本，但基于该方法来判断具有对称结构的函数效果不够理想。二元判决图?????????作为布尔函数的一种有效图形表示，可以直观地反映出函数的逻辑结构。与其他方法相比，??诒硎静级???泶锸绞保?加每占渥钚。?具有较高的计算效率，被广泛应用于集成电路??杓蒲橹ぁ⒉馐院妥酆系裙?獭?本文从布尔函数的??峁固氐愠龇ⅲ?岢隽嘶?谔卣魅?切蔚囊旎蚵呒?讲夥椒ǎ??展了判定逻辑函数适于采用异或逻辑实现的算法。为方便下面的讨论，首先给出如下定义。集合，?荊中所有边的集合。在??写嬖诹嚼嘟岬悖褐斩私岬?用方框表示?头侵斩???拇笮∈蔷龆ㄎ侍饽芊袷褂没?贐?符号技术求解的关键因素。?????????的大小对变量序非常敏感，同一函数在不同变量序下的???硎镜慕岬闶??能具有线性和指数的差别【?。然而，确定逻辑函数???硎镜淖钣疟淞啃蚴荖??盐侍????扑阕钣疟淞啃虻木?繁淞颗判蛩惴ň哂兄甘?奔浜涂占涓丛佣取?’?俊Ｓ捎诒竟ぷ鞑谎芯?逻辑函数的最小化，因而仅对确定变量序下的??峁菇?刑致邸?中其中国电子学会电路与系统分会第二十～届学术年会论文集孙飞夏银水宁波大学电路与系统研究所浙江宁波???搞妥：通过对逻辑函数相应二元决策图??峁固氐愕难芯浚?岢隽艘恢钟锰卣魅?切卫磁卸?呒????于异或逻辑实现的方法并给出了相应算法。所提出的算法采用?镅越?惺迪郑?⒍訫???????缏方?辛瞬馐裕?峁?橹ち怂惴ǖ挠行?浴?关键词：布尔逻辑；??。???逻辑；特征三角形；探测算法．靠．屹．?????．卸???。 瓤一楚一文，???琯奄一点不能构成特征三角形时，则其两个子结点，嘶?和????的分配系数均为??????????‘∈?，???Ｔ虮硎靖煤??腂?称为胛??????Ｈ袈?闵??????????耄?襃?嘞???珼??或，???确瓣，???，??????有的结点变量，则有’’?胁小?，????动??，???琽∞?，??????，??小?，且??縞，??为完全适合采用??呒?迪值牟糠帧?定义??如图??所示，记’，?琭∈?，??，??，???8鹘岬惚嗪牛粁，，，∈?，／，．．．，?为各结点具??岬鉲??，?氚烊啊?所对应变量是否相等。若相等，则判断??环裨颍?炊ㄒ?．?为用，门，乃，如图??所示，则顶结点?痩的结点函数，可表示为：??谔卣魅?切蔚囊旎蚵呒?讲馑惴?定理??当变量为?５牡趇级上两结点的对应??边指向结点函数互为反函数的后续级结点，对应??边指向另一组互为反函数的后续级结点，则这两个结点对应的结点函数互为反函数。称上述结点构成的??峁刮L卣魅?切危?岬鉽。和’，，称为该特征三角形的特征结点。定义??特征三角形顶点结点函数在被测电路总逻辑函数表达式中所占比例称为该特征三角当构成特征三角形时，则其两个特征结点的分配系数均为????????。。由定理??可知，当逻辑函数的??写嬖谔卣魅?切谓峁故保?膳卸ㄆ浜??泶锸街?有适合异或逻辑实现的部分。通过递归探测，可以最终判定函数是否适于异或逻辑实现。探测算法的具体实现步骤如下：递归探测??刑卣魅?切蔚母鍪?⒓扑闶视谝旎蚵呒?迪值谋壤????珺?中每行结点具有相同的结点变量，变量工，表示??械牡冢?端?杂Φ谋淞俊?定理??在特征三角形结构中，若顶点?的结点函数为只结点?，?，?的结点函数分别形的分配系数???????，其中???岬愕姆峙湎凳齞???????，为?５币