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.

Field-coupled nanocomputing (FCN) paradigms offer fundamentally new approaches to digital information processing that do not utilize transistors or require charge transport. Information transfer and computation are achieved in FCN via local field interactions between nanoscale building blocks that are organized in patterned arrays. Several FCN paradigms are currently under active investigation, including quantum-dot cellular automata (QCA), molecular quantum cellular automata (MQCA), nanomagnetic logic (NML), and atomic quantum cellular automata (AQCA). Each of these paradigms has a number of unique features that make it attractive as a candidate for post-CMOS nanocomputing, and each faces critical challenges to realization. This State-of-the-Art-Survey provides a snapshot of the current developments and novel research directions in the area of FCN. The book is divided into five sections. The first part, Field-Coupled Nanocomputing Paradigms, provides valuable background information and perspectives on the QDCA, MQCA, NML, and AQCA paradigms and their evolution. The second section, Circuits and Architectures, addresses a wide variety of current research on FCN clocking strategies, logic synthesis, circuit design and test, logic-in-memory, hardware security, and architecture. The third section, Modeling and Simulation, considers the theoretical modeling and computer simulation of large FCN circuits, as well as the use of simulations for gleaning physical insight into elementary FCN building blocks. The fourth section, Irreversibility and Dissipation, considers the dissipative consequences of irreversible information loss in FCN circuits, their quantification, and their connection to circuit structure. The fifth section, The Road Ahead: Opportunities and Challenges, includes an edited transcript of the panel discussion that concluded the FCN 13 workshop.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 24th issue of the Transactions on Computational Science journal, guest edited by Himanshu Thapliyal and Nagarajan Ranganathan, is devoted to the topic of reversible computing. It is comprised of eight selected papers on reversible energy recovery designs, design of reversible logic gates and arithmetic circuits in optical computing, reversible basic linear algebra subprograms, quantum circuit description language, and reversible circuit and logic synthesis.

This book targets custom IC designers who are encountering variation issues in their designs, especially for modern process nodes at 45nm and below, such as statistical process variations, environmental variations, and layout effects. It teaches them the state-of-the-art in Variation-Aware Design tools, which help the designer to analyze quickly the variation effects, identify the problems, and fix the problems. Furthermore, this book describes the algorithms and algorithm behavior/performance/limitations, which is of use to designers considering these tools, designers using these tools, CAD researchers, and CAD managers.

An increasing complexity of models used to predict real-world systems leads to the need for algorithms to replace complex models with far simpler ones, while preserving the accuracy of the predictions. This three-volume handbook covers methods as well as applications. This third volume focuses on applications in engineering, biomedical engineering, computational physics and computer science.

This extensive and increasing use of embedded systems and their integration in everyday products mark a significant evolution in information science and technology. Nowadays embedded systems design is subject to seamless integration with the physical and electronic environment while meeting requirements like reliability, availability, robustness, power consumption, cost, and deadlines. Thus, embedded systems design raises challenging problems for research, such as security, reliable and mobile services, large-scale heterogeneous distributed systems, adaptation, component-based development, and validation and tool-based certification. This book results from the ARTIST FP5 project funded by the European Commision. By integration 28 leading European research institutions with many top researchers in the area, this book assesses and strategically advances the state of the art in embedded systems. The coherently written monograph-like book is a valuable source of reference for researchers active in the field and serves well as an introduction to scientists and professionals interested in learning about embedded systems design.

Bio-Inspired Nanotechnology focuses on the use of bio-inspired and biomimetic methods for the fabrication and activation of nanomaterials. It summarizes recent developments in biocompatible and biodegradable materials, including their properties, fabrication methods, synthesis protocols, and applications. This includes studies concerning the binding of the biomolecules to the surface of inorganic structures, structure/function relationships of the final materials, and unique applications of such biomimetic materials in harvesting/storage, biomedical diagnostics, and materials assembly. The book chapters also cover a range of available bio-based nanomaterials, including chitin, starch and nanocellulose. It serves as a detailed reference for learners and anyone interested in sustainable nanoscale materials, including materials scientists, biomedical engineers, environmental scientists, food and agriculture manufacturers and scientists.

Spintronics, being a part of electronics, is under intense development for about forty years and mainly concerns transport of electronics spin in low-dimensional structures. This field, based on often difficult theoretical concepts of quantum physics, has surprisingly strong and real technological and application consequences. Thus, spintronic solutions concern memory systems, information processing devices and are used as sensors to detect variety of physical fields. The early development of this field can be associated with the names of such scientists as: E. I. Rashba, A. Fert, P. Grünberg, J. Barnaś, B. Hillebrands, G. Güntherodt, I. K. Schuller, M. Grimsditch, A. Hoffman, P. Vavassori, and S. Datta. This list is absolutely not closed and might be easily extended, however, it results rather from scientific history and contacts with people who influenced the research carriers of the authors. The authors give in this up-dated 2nd edition an insight into this emerging field providing theoretical and experimental aspects of spintronics and guide readers from a basic understanding of fundamental processes to recent applications and future possibilities opened by ongoing research. The textbook is suited for students and for interested scientists who were discouraged by the theoretical formalism only.

Contributions reporting on fundamental and applied investigations of the material science, biochemistry, and physics of biomedical microdevices with applications to Genomics and Proteomics. Topics include gene expression profiling utilizing microarray technology; imaging and sensing for gene detection and use in DNA analysis; and coverage of advanced microfluidic devices and the Humane Genome Project.

Digital Microfluidic Biochips focuses on the automated design and production of microfluidic-based biochips for large-scale bioassays and safety-critical applications. Bridging areas of electronic design automation with microfluidic biochip research, the authors present a system-level design automation framework that addresses key issues in the design, analysis, and testing of digital microfluidic biochips. The book describes a new generation of microfluidic biochips with more complex designs that offer dynamic reconfigurability, system scalability, system integration, and defect tolerance. Part I describes a unified design methodology that targets design optimization under resource constraints. Part II investigates cost-effective testing techniques for digital microfluidic biochips that include test resource optimization and fault detection while running normal bioassays. Part III focuses on different reconfiguration-based defect tolerance techniques designed to increase the yield and dependability of digital microfluidic biochips. Expanding upon results from ongoing research on CAD for biochips at Duke University, this book presents new design methodologies that address some of the limitations in current full-custom design techniques. Digital Microfluidic Biochips is an essential resource for achieving the integration of microfluidic components in the next generation of system-on-chip and system-in-package designs.