An Approach to Constructing Reversible Multi-Qubit Benchmarks with Provably Minimal Implementations
Jerzy Jegier , Paweł Kerntopf , Marek Szyprowski
AbstractThis paper reports on a method of the construction of new difficult benchmarks for reversible logic synthesis. It is shown how to extrapolate 3- and 4-variable reversible functions implemented by gate count minimal circuits having regular structure. In this way sequences of reversible functions of an arbitrary number of variables have been constructed for which we have built minimal circuits implementing them. For two example sequences of functions we applied the synthesis tool Revkit trying different synthesis algorithms. The outcome shows a large gap between the circuits synthesized by the tool and the ones proved minimal by construction.
|Publication size in sheets||0.5|
|Book||Dong Lixin (eds.): Proceedings of the 13th IEEE International Conference on Nanotechnology, 2013, IEEE, ISBN 978-1-4799-0675-8, [CFP13NAN-CDR], 1202 p.|
|Project||Development of new methods and algorithms in the following areas: computer graphics, artificial intelligence, and information systems, and distributed systems . Project leader: Rybiński Henryk,
, Phone: +48 22 234 7731, start date 29-05-2012, planned end date 31-12-2012, end date 30-11-2013, II/2012/DS/1, Completed
|Score|| = 10.0, 29-02-2020, BookChapterMatConfByIndicator|
= 15.0, 29-02-2020, BookChapterMatConfByIndicator
|Publication indicators||= 2.0|
|Citation count*||2 (2015-12-05)|
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.