Recent Progress in the Boolean Domain

1. Auflage 2014
ISBN: 978-1-4438-5638-6
Verlag: Cambridge Scholars Publishing

Buch, Englisch, 455 Seiten

In today’s world, people are using more and more digital systems in daily life. Such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to Moore’s Law, the complexity of digital systems approximately doubles every 18 months. This requires comprehensive knowledge and techniques to solve very complex Boolean problems. This book summarizes the recent progress in the Boolean domain in solving such issues.

Part 1 describes the most powerful approaches in solving exceptionally complex Boolean problems. It is shown how an extremely rare solution could be found in a gigantic search space of more than 10^195 (this is a number of 196 decimal digits) different color patterns. Part 2 describes new research into digital circuits that realize Boolean functions. This part contains the chapters “Design” and “Test”, which present solutions to problems of power dissipation, and the testing of digital circuits using a special data structure, as well as further topics. Part 3 contributes to the scientific basis of future circuit technologies, investigating the need for completely new design methods for the atomic level of quantum computers. This section also concerns itself with circuit structures in reversible logic as the basis for quantum logic.

Autoren/Hrsg.

Steinbach, Bernd

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Über Autor(innen)

Steinbach, Bernd
Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz, Germany, where he graduated with an MSc in 1973, a PhD in 1981, and with a Dr. sc. techn. (Doctor scientiae technicarum) in 1984 for his second doctoral thesis from the Faculty of Electrical Engineering. In 1991, he obtained the Habilitation (Dr.-Ing. habil.) from the same Faculty. Following this, he worked as a research engineer, developing programs for test pattern generation for computer circuits at the company Robotron. He returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for Design Automation in Logic Design. He is currently, and has been for more than two decades, the head of a group that developed the XBOOLE software system and the head of the Steinbeis Transfer Center of Logic Systems in Chemnitz. He has been a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology since 1992. Professor Steinbach is also the co-author of five books, and has published more than 200 papers in books, journals and proceedings. He is the initiator and general chair of a biennial series of International Workshops on Boolean Problems (IWSBP), which started in 1994.

Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz, Germany, where he graduated with an MSc in 1973, a PhD in 1981, and with a Dr. sc. techn. (Doctor scientiae technicarum) in 1984 for his second doctoral thesis from the Faculty of Electrical Engineering. In 1991, he obtained the Habilitation (Dr.-Ing. habil.) from the same Faculty. Following this, he worked as a research engineer, developing programs for test pattern generation for computer circuits at the company Robotron. He returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for Design Automation in Logic Design. He is currently, and has been for more than two decades, the head of a group that developed the XBOOLE software system and the head of the Steinbeis Transfer Center of Logic Systems in Chemnitz. He has been a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology since 1992. Professor Steinbach is also the co-author of five books, and has published more than 200 papers in books, journals and proceedings. He is the initiator and general chair of a biennial series of International Workshops on Boolean Problems (IWSBP), which started in 1994.