基于BDD的异或型逻辑检测算法

2008 11th IEEE International Conference on Communication Technology Pub Date : 2008-12-16 DOI:10.1109/ICCT.2008.4716264

Fei Sun, Yinshui Xia

{"title":"基于BDD的异或型逻辑检测算法","authors":"Fei Sun, Yinshui Xia","doi":"10.1109/ICCT.2008.4716264","DOIUrl":null,"url":null,"abstract":"Based on the characteristics study of binary decision diagrams (BDDs) of logic functions, a method using the characteristic triangle (CT) to detect logic functions suitable for XOR logic implementation is presented and a corresponding algorithm is developed. The proposed algorithm is implemented in C and tested on MCNC benchmarks. The experimental results show that the proposed algorithm is efficient compared with published results.","PeriodicalId":259577,"journal":{"name":"2008 11th IEEE International Conference on Communication Technology","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"BDD based detection algorithm for XOR-type logic\",\"authors\":\"Fei Sun, Yinshui Xia\",\"doi\":\"10.1109/ICCT.2008.4716264\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Based on the characteristics study of binary decision diagrams (BDDs) of logic functions, a method using the characteristic triangle (CT) to detect logic functions suitable for XOR logic implementation is presented and a corresponding algorithm is developed. The proposed algorithm is implemented in C and tested on MCNC benchmarks. The experimental results show that the proposed algorithm is efficient compared with published results.\",\"PeriodicalId\":259577,\"journal\":{\"name\":\"2008 11th IEEE International Conference on Communication Technology\",\"volume\":\"49 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-12-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 11th IEEE International Conference on Communication Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCT.2008.4716264\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 11th IEEE International Conference on Communication Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCT.2008.4716264","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

在研究逻辑函数二元决策图(bdd)特征的基础上，提出了一种利用特征三角形(CT)检测适合异或逻辑实现的逻辑函数的方法，并给出了相应的算法。该算法在C语言中实现，并在MCNC基准测试中进行了测试。实验结果表明，与已发表的结果相比，该算法是有效的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

BDD based detection algorithm for XOR-type logic

Based on the characteristics study of binary decision diagrams (BDDs) of logic functions, a method using the characteristic triangle (CT) to detect logic functions suitable for XOR logic implementation is presented and a corresponding algorithm is developed. The proposed algorithm is implemented in C and tested on MCNC benchmarks. The experimental results show that the proposed algorithm is efficient compared with published results.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2008 11th IEEE International Conference on Communication Technology

自引率

0.00%

发文量