DocumentCode :
2297526
Title :
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines
Author :
Wille, Robert ; Soeken, Mathias ; Przigoda, Nils ; Drechsler, Rolf
Author_Institution :
Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
fYear :
2012
fDate :
14-16 May 2012
Firstpage :
69
Lastpage :
74
Abstract :
The development of synthesis approaches for reversible circuits is an active research area. Besides heuristic methods, also exact synthesis received significant attention. Here, circuits realizing the desired functions e.g. with a minimal number of gates are determined. However, so far exact synthesis considering Toffoli gate circuits with positive control lines only has been considered. In this paper, we are extending the scope of exact synthesis by additionally considering negative control lines in the circuits to be synthesized. For this purpose, we propose and evaluate a SAT-based synthesis method. Our experiments show that incorporating negative control lines leads to smaller circuits with respect to the number of gates. Furthermore, in some cases even the run-time of the synthesis can be improved.
Keywords :
logic circuits; logic design; logic gates; SAT-based synthesis method; Toffoli gate circuits; negative control lines; positive control lines; reversible circuits; Boolean functions; Computer science; Educational institutions; Encoding; Heuristic algorithms; Logic gates; NP-complete problem;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
Conference_Location :
Victoria, BC
ISSN :
0195-623X
Print_ISBN :
978-1-4673-0908-0
Type :
conf
DOI :
10.1109/ISMVL.2012.71
Filename :
6214785
Link To Document :
بازگشت