Synthesis of reversible logic circuits - new approaches and algorithms

Aim of project
Development of algorithms for designing reversible digital circuits based on new concepts and determination of efficiency of these algorithms. It will be a continuation of previous theoretical research as well as construction of new design algorithms. Computer programs implementing developed algorithms will be written and then evaluated using benchmarks described in the literature.

Expected results
The results will include publications, two PhD theses and design tools for generating optimal circuits (for small number of variables) and quasi-optimal circuits (for large number of variables). Current results will be presented at international conferences and published in journals. A book describing state-of-the-art of designing reversible digital circuits, the first in Poland and one of a few in the world will be prepared.