Multiple-Valued Logic: Concepts and Representations (Synthesis Lectures on Digital Circuits & Systems)

Multiple Valued Logic: Concepts and Representations begins with a survey of the use ofmultiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple valued logic are provided including comparisons among various systems and examples of their application. The book also provides an examination of alternative representations of multiple-valued logic suitable for implementation as data structures in automated computer applications. Decision diagram structures for multiple valued applications are described in detail with particular emphasis on the recently developed quantum multiple valued decision diagram. Table of Contents: Multiple Valued Logic Applications / MVL Concepts and Algebra / Functional Representations / Reversible andQuantum Circuits / Quantum Multiple-Valued Decision Diagrams / Summary / Bibliography

D. Michael Miller was born in Winnipeg, Manitoba. He received a B.Sc. in Mathematics and Physics from the University of Winnipeg in 1971 and a M.Sc. and Ph.D. in Computer Science from the University of Manitoba in 1973 and 1976. From 1975 to 1980, he was a faculty member in the School of Computer Science, University of New Brunswick and moved to the University of Winnipeg in 1980 and then to the University of Manitoba in 1982. Dr. Miller joined the Department of Computer Science at the University of Victoria in 1987 as Chair, a position held for a decade except for the Fall of 1992 when he was Acting Dean of Engineering, and July 1995 - June 1996 when on administrative leave at TIMA Laboratory/INPG, Grenoble, France. He has been Dean of the Faculty of Engineering since July 1997, except for an administrative leave from August to December 2002 in the Faculty of Computer Science at the University of New Brunswick inFredericton. In addition to his administrative duties at the University of Victoria, he is treasurer of the Victoria Section of APEGBC and Chair of the National Council of Deans of Engineering and Applied Sciences (NCDEAS). Dean Miller is a member of the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE). He is the Secretary for the IEEE Computer Society Technical Committee on Multiple-Valued Logic. His current primary research interests include the synthesis of reversible and quantum logic circuits, and decision diagrams applied to the design of binary and multiple-valued logic systems using both conventional and spectral techniques.