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中表示的对称函数的最优算法。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

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%

发文量

期刊最新文献

A high speed 3.3V current mode CMOS comparators with 10-b resolution Constraints implementation for IQML and MODE direction-of-arrival estimators A fast electric load forecasting using neural networks Noise reduction in speech signals using a TMS320C31 digital signal processor A high-frequency high-Q CMOS active inductor with DC bias control