okfdd的最优对称性检测

Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat.No.CH37144) Pub Date : 2000-08-08 DOI:10.1109/MWSCAS.2000.951480

Yuke Wang, R. Drechsler, Xiaoyu Song

{"title":"okfdd的最优对称性检测","authors":"Yuke Wang, R. Drechsler, Xiaoyu Song","doi":"10.1109/MWSCAS.2000.951480","DOIUrl":null,"url":null,"abstract":"Ordered Kronecker functional decision diagrams (OKFDD) are an extension of the popular ordered binary decision diagrams (OBDD) and as such provide a more compact representation of Boolean functions than OBDDs. Symmetric functions are useful in logic synthesis. In this paper, we present an optimal algorithm for detecting symmetric functions represented in OKFDDs.","PeriodicalId":437349,"journal":{"name":"Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat.No.CH37144)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Optimal symmetry detection for OKFDDs\",\"authors\":\"Yuke Wang, R. Drechsler, Xiaoyu Song\",\"doi\":\"10.1109/MWSCAS.2000.951480\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Ordered Kronecker functional decision diagrams (OKFDD) are an extension of the popular ordered binary decision diagrams (OBDD) and as such provide a more compact representation of Boolean functions than OBDDs. Symmetric functions are useful in logic synthesis. In this paper, we present an optimal algorithm for detecting symmetric functions represented in OKFDDs.\",\"PeriodicalId\":437349,\"journal\":{\"name\":\"Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat.No.CH37144)\",\"volume\":\"28 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-08-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat.No.CH37144)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MWSCAS.2000.951480\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat.No.CH37144)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MWSCAS.2000.951480","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

有序Kronecker功能决策图(OKFDD)是流行的有序二进制决策图(OBDD)的扩展，因此提供了比OBDD更紧凑的布尔函数表示。对称函数在逻辑综合中很有用。本文提出了一种检测okfdd中表示的对称函数的最优算法。

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

查看原文本刊更多论文

Optimal symmetry detection for OKFDDs

Ordered Kronecker functional decision diagrams (OKFDD) are an extension of the popular ordered binary decision diagrams (OBDD) and as such provide a more compact representation of Boolean functions than OBDDs. Symmetric functions are useful in logic synthesis. In this paper, we present an optimal algorithm for detecting symmetric functions represented in OKFDDs.

求助全文

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

来源期刊

Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat.No.CH37144)

自引率

0.00%

发文量