Date of Award


Publication Type

Doctoral Thesis

Degree Name



Electrical and Computer Engineering

First Advisor

Jullien, G. A.


Engineering, Electronics and Electrical.




Traditional design of logic circuits involves implementing a function in terms of standard logic gates. However, this type of design does not fully exploit the unique switching properties of MOSFETs, which can lead to more efficient realizations. Over the past decade there has been considerable interest in Pass Transistor Logic (PTL) circuits. PTL circuits implement a logic function as a network of NMOS transistors. They show enhanced performance over conventional logic in terms of both speed and area optimization as well as reduced power dissipation, particularly for certain classes of circuits. Existing synthesis techniques for PTL are limited to two-level synthesis, similar to that used for conventional logic. In conventional logic multilevel logic implementations have been shown to provide significant improvements over two-level representations. So it is of considerable interest to develop formal multilevel design methodologies for PTL in order to exploit potential efficiencies in that circuit family. Such formal design methodologies are also necessary to avoid incorrect implementations which can result from ad hoc design of PTL networks. This thesis deals with the development of methodologies for the systematic design of multi-level PTL networks. In this thesis, we have investigated two approaches to multi-level logic synthesis techniques for PTL networks based on the concepts of (i) factorization and (ii) decision diagrams. Both approaches have shown significant savings over known synthesis techniques for PTL networks.Dept. of Electrical and Computer Engineering. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis1995 .J33. Source: Dissertation Abstracts International, Volume: 57-07, Section: B, page: 4602. Co-Advisers: G. A. Jullien; S. Bandyopadhyay. Thesis (Ph.D.)--University of Windsor (Canada), 1995.