Multiple-Valued Logic: Concepts and Representations

ISBN-13: 9783031797781 / Angielski / Miękka / 2007 / 135 str.

D. Michael Miller;Mitchell A. Thornton

Opis

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

Spis treści

Multiple Valued Logic Applications.- MVL Concepts and Algebra.- Functional Representations.- Reversible andQuantum Circuits.- Quantum Multiple-Valued Decision Diagrams.- Summary.- Bibliography.

O autorze

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 in Fredericton. 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.

Mitchell A. Thornton received the BSEE degree from Oklahoma State University in 1985, the MSEE degree from the University of Texas in Arlington in 1990, and the MSCS in 1993 and Ph.D. in computer engineering in 1995 from Southern Methodist University in Dallas, Texas. His industrial experience includes full-time employment at E-Systems (now L-3 communications) in Greenville, Texas and the Cyrix Corporation in Richardson, Texas where he served in a variety of engineering positions between 1985 through 1992. From 1995 through 1999, he was a faculty member in the Department of Computer Systems Engineering at the University of Arkansas and from 1999 through 2002 in the Department of Electrical and Computer Engineering at Mississippi State University. Currently, he is a Professor of Computer Science and Engineering and, by courtesy, Electrical Engineering at Southern Methodist University. His research and teaching interests are in the general area of digital circuits and systems design with specific emphasis in EDA/CAD methods including asynchronous circuit and computer arithmetic circuit synthesis, formal verification/validation and simulation of digital systems, multiple-valued logic, and spectral techniques.