PQLG LONG-TERM RESEARCH PROJECTS

1. UNIVERSAL GATES FOR BINARY REVERSIBLE LOGIC

1. People: Pawel Kerntopf (leader), Marek Perkowski.
2. Project Description: Development of a theory of universal binary reversible gates.
   
3. Project-related reports and publications:
   Project Report.
   Project Description:
   1. Kerntopf's paper LDL 2000.
   2. Kerntopf's paper IWLS 2000.
   3. Paper by De Vos and Storme.
   4. Kerntopf's slides.
   
   

2. UNIVERSAL GATES FOR MULTI-VALUED REVERSIBLE LOGIC

1. People: Marek Perkowski and Anas Al-Rabadi.
2. Project Description: Development of a theory of universal multiple-valued reversible gates. Counting, classification. Relations to Linearly Independent Logic. Spectral characterization.
   
3. Project-related reports and publications:
   1. all papers by Picton.
   2. Marek Perkowski and Anas Al-Rabadi, ``Universal Multiple-Valued Reversible Gates''.

3. REGULAR REALIZATIONS OF REVERSIBLE LOGIC.

1. People: Marek Perkowski, Pawel Kerntopf, Anas Al-Rabadi, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Andrzej Buller, Alan Coppola.
2. Project Description: Use of lattice and net structures, symmetry and thresholdness. Role of unateness, choice of universal gates. What are all 2D and 3D and other regular structures. What regular structures are good for quantum and nano realizations?
3. Project-related reports and publications:
   1. PQLG paper submitted to Euro-Micro'2001.
   2. PQLG paper submitted to IWLS'2001.
   3. Al-Rabadi and Perkowski, paper submitted to RM'2001.
   4. PQLG paper submitted to ULSI'2001.

4. DECOMPOSITION OF REVERSIBLE FUNCTIONS.

1. People: Marek Perkowski, Pawel Kerntopf, Alan Mishchenko, Lech Jozwiak.
2. Project Description: This research is very broad and it includes many types of decomposition and composition.
   1. MP-Decomposition.
   2. Modified Ashenhurst/Curtis Decomposition.
   3. Composition (similar to methods of Jozwiak, Wojcik, Michalski, Scheinman, Dietmeyer).
   4. Cascades (extension of Sasao/Kinoshita method).
   5. Regular and constrained structures with arbitrary gates.
   
   
3. Project-related reports and publications:
   1. PQLG paper to RM'2001.

5. THREE DIMENSIONAL REVERSIBLE AND QUANTUM LOGIC.

1. People: Anas Al-Rabadi, Marek Perkowski
2. Project Description: This is the ongoing Ph.D. Thesis of Anas Al-Rabadi. It covers all aspects of building three-dimensional structures: logic synthesis, layout, simulation, test, verification and building real processors with them.
   
3. Project-related reports and publications:
   1. Al-Rabadi/Perkowski's paper IEEE Tr. Computers.
   2. Al-Rabadi/Perkowski's paper RM.

6. OPTICAL REALIZATION OF REVERSIBLE LOGIC.

1. People: Xiaoyu Song, Alex Daniloff, Marek Perkowski
2. Project Description: This is the ongoing research of Alex Daniloff. It covers all aspects of building regular reversible structures in optical technology.
3. Project-related reports and publications:
   1. Alex Daniloff's report, March 2001.

7. CMOS REALIZATION OF REVERSIBLE LOGIC.

1. People: Xiaoyu Song, indian, chroa Marek Perkowski
2. Project Description: This is the ongoing research of x and y. It covers all aspects of building CMOS reversible logic structures that are superior to the circuits by De Vos, UCLA and MIT.
   
3. Project-related reports and publications:
   1. Student x report, March 2001.
   2. Student y report, March 2001.