CSpace  > 中国科学院计算技术研究所期刊论文  > 英文
Structured Decomposition for Reversible Boolean Functions
Jiang, Jiaqing1,2; Sun, Xiaoming1,2; Sun, Yuan; Wu, Kewen3; Xia, Zhiyu1,2
2020-10-01
发表期刊IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
ISSN0278-0070
卷号39期号:10页码:2410-2421
摘要Reversible Boolean function (RBF) is a one-to-one function which maps n-bit input to n-bit output. Reversible logic synthesis has been widely studied due to its connection with low-energy computation as well as quantum computation. In this paper, we give a structured decomposition for even RBFs. Specifically, for n >= 6, any even n-bit RBF can be decomposed to 7 blocks of (n-1)-bit RBF, where 7 is a constant independent of n and the positions of these blocks have a large degree of freedom. Moreover, if the (n-1)-bit RBFs are required to be even as well, we show for n >= 10, even n-bit RBF can be decomposed to 10 even (n - 1)-bit RBFs. In short, our decomposition has block depth 7 and even block depth 10. Our result improves Selinger's work in block depth model, by reducing the constant from 9 to 7 and from 13 to 10, when the blocks are limited to be even. We emphasize that our setting is a bit different from Selinger's work. In Selinger's constructive proof, each block is placed in one of two specific positions and thus the decomposition has an alternating structure. We relax this restriction and allow each block to act on arbitrary (n - 1) bits. This relaxation keeps the block structure and provides more candidates when choosing the positions of blocks.
关键词Integrated circuits logic gates quantum computation reversible computation reversible logic synthesis method
DOI10.1109/TCAD.2019.2928974
收录类别SCI
语种英语
资助项目National Natural Science Foundation of China[61433014] ; National Natural Science Foundation of China[61832003] ; National Natural Science Foundation of China[61761136014] ; National Natural Science Foundation of China[61872334] ; National Natural Science Foundation of China[61801459] ; 973 Program of China[2016YFB1000201] ; Strategic Priority Research Program of Chinese Academy of Sciences[XDB28000000] ; Anhui Initiative in Quantum Information Technologies[AHY150100]
WOS研究方向Computer Science ; Engineering
WOS类目Computer Science, Hardware & Architecture ; Computer Science, Interdisciplinary Applications ; Engineering, Electrical & Electronic
WOS记录号WOS:000572636400036
出版者IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
引用统计
被引频次:2[WOS]   [WOS记录]     [WOS相关记录]
文献类型期刊论文
条目标识符http://119.78.100.204/handle/2XEOYT63/15609
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Sun, Xiaoming
作者单位1.Chinese Acad Sci, Inst Comp Technol, Beijing 100190, Peoples R China
2.Univ Chinese Acad Sci, Sch Comp Sci & Technol, Beijing 100049, Peoples R China
3.Peking Univ, Sch Elect Engn & Comp Sci, Beijing 100000, Peoples R China
推荐引用方式
GB/T 7714
Jiang, Jiaqing,Sun, Xiaoming,Sun, Yuan,et al. Structured Decomposition for Reversible Boolean Functions[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,2020,39(10):2410-2421.
APA Jiang, Jiaqing,Sun, Xiaoming,Sun, Yuan,Wu, Kewen,&Xia, Zhiyu.(2020).Structured Decomposition for Reversible Boolean Functions.IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,39(10),2410-2421.
MLA Jiang, Jiaqing,et al."Structured Decomposition for Reversible Boolean Functions".IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 39.10(2020):2410-2421.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Jiang, Jiaqing]的文章
[Sun, Xiaoming]的文章
[Sun, Yuan]的文章
百度学术
百度学术中相似的文章
[Jiang, Jiaqing]的文章
[Sun, Xiaoming]的文章
[Sun, Yuan]的文章
必应学术
必应学术中相似的文章
[Jiang, Jiaqing]的文章
[Sun, Xiaoming]的文章
[Sun, Yuan]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。