Springer Design Automation for Field-coupled Nanotechnologies

Product Description This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel clocking mechanisms for data synchronization, and formal verification for obtained circuit layouts. Additionally, theoretical groundwork is presented that lays the foundation for any algorithmic consideration in the future. Furthermore, an open-source FCN design framework called fiction, which contains implementations of all proposed techniques, is presented and made publicly available. The approaches discussed in this book address obstacles that have existed since the conceptualization of the FCN paradigm and could not be resolved since then. As a result, this book substantially advances the state of the art in design automation for FCN technologies. From the Back Cover This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel clocking mechanisms for data synchronization, and formal verification for obtained circuit layouts. Additionally, theoretical groundwork is presented that lays the foundation for any algorithmic consideration in the future. Furthermore, an open-source FCN design framework called fiction, which contains implementations of all proposed techniques, is presented and made publicly available. The approaches discussed in this book address obstacles that have existed since the conceptualization of the FCN paradigm and could not be resolved since then. As a result, this book substantially advances the state of the art in design automation for FCN technologies. • Provides readers with an extensive introduction to the field of Design Automation for Field-coupled Nanocomputing (FCN); • Discusses the latest developments in synthesis, placement, routing, clocking, and verification of FCN technologies; • Presents an open-source FCN design framework that contains implementations of all described algorithms. About the Author Marcel Walter received his Ph.D. degree in Computer Science from the University of Bremen, Germany, in 2021 for his work on algorithms for the physical design of emerging post-CMOS nanotechnologies. As part of the Collaborative Research Center (Sonderforschungsbereich) 1320 “EASE – Everyday Activity Science and Engineering”, he also worked towards the verification of autonomous robotic agents in household scenarios. Furthermore, he is the initiator and maintainer of the fiction framework for the logic synthesis, physical design, and verification of Field-coupled Nanocomputing (FCN) circuits. He is going to continue his research work as a Postdoc at the Technical University of Munich (TUM). Robert Wille is Full Professor at the Johannes Kepler University Linz, Austria, and Chief Scientific Officer at the Software Competence Center Hagenberg, Austria. He received the Diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. Since then, he worked at the University of Bremen, the German Research Center for Artificial Intelligence (DFKI), the University of Applied Science of Bremen, the University of Potsdam, and the Technical University Dresden. Since 2015, he is working in Linz/Hagenberg. His research interests are in the design of circuits and systems for both conventional and emerging technologies. In these areas, he published more than 350 papers in journals and conferences and served