Reversible Logic Circuit Synthesis I am about to choose a project regarding "Reversible logic circuit synthesis". I've studied well about "Switching circuits and Logic design" and I found it very intriguing but I've got no idea about the other topic. Can someone please elaborate it and explain what it refers or point some sources. Thank you guys in advance. :)
I'm not very familiar with the field, but my advisor Shigeru Yamashita is. I recommend you to check his home page. Here are some interesting papers he has:


A transduction-based framework to synthesize RSFQ circuits. Shigeru Yamashita, Katsunori Tanaka, Hideyuki Takada, Koji Obata, Kazuyoshi Takagi. In ASP-DAC 2006.
Transformation rules for designing CNOT-based quantum circuits. Kazuo Iwama, Yahiko Kambayashi, Shigeru Yamashita. DAC 2002.
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction. Shigeru YAMASHITA, Shin-ichi MINATO and D. Michael MILLER. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91.A (2008) , No. 12 pp.3793-3802.


Other people that you should check their home pages are Igor Markov and Dimitri Maslov.