Computer architecture and logic design

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation.

This textbook for a one-semester course in Digital Systems Design describes the basic methods used to develop "e;traditional"e; Digital Systems, based on the use of logic gates and flip flops, as well as more advanced techniques that enable the design of very large circuits, based on Hardware Description Languages and Synthesis tools.

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.

This textbook introduces readers to the fundamental hardware used in modern computers.

This book offers readers a clear guide to implementing engineering applications with FPGAs, from the mathematical description to the hardware synthesis, including discussion of VHDL programming and co-simulation issues.

This book introduces readers to a variety of tools for analog layout design automation.

This book focuses on neuromorphic computing principles and organization and how to build fault-tolerant scalable hardware for large and medium scale spiking neural networks with learning capabilities.

This book discusses the design and performance analysis of SDRAM controllers that cater to both real-time and best-effort applications, i.

This bookpresents a new optimization flow for quantum circuits realization.

Thisbook brings together a selection of the best papers from the eighteenth editionof the Forum on specification and Design Languages Conference (FDL), which tookplace on September 14-16, 2015, in Barcelona, Spain.

This book presents the state-of-the art of one of the main concerns with microprocessors today, a phenomenon known as "e;dark silicon"e;.

This book introduces readers to various radiation soft-error mechanisms such as soft delays, radiation induced clock jitter and pulses, and single event (SE) coupling induced effects.

Thisbook provides a hands-on, application-oriented guide to the language andmethodology of both SystemVerilog Assertions and SystemVerilog FunctionalCoverage.

This book provides a comprehensive introduction to embedded flash memory, describing the history, current status, and future projections for technology, circuits, and systems applications.

This book provides a single-source reference on the use of carbon nanotubes (CNTs) as interconnect material for horizontal, on-chip and 3D interconnects.

This proven textbook guides readers to a thorough understanding of the theory and design of operational amplifiers (OpAmps).

This book-presents new methods and tools for the integration and simulation of smart devices.

This book describes state-of-the-art techniques for designing real-time computer systems.

This book makes powerful Field Programmable GateArray (FPGA) and reconfigurable technology accessible to software engineers bycovering different state-of-the-art high-level synthesis approaches (e.

This textbook provides semester-length coverage of computer architecture and design, providing a strong foundation for students to understand modern computer system architecture and to apply these insights and principles to future computer designs.

This book describes novel software concepts to increase reliability under user-defined constraints.

This book describes in detail the impact of process variations on Network-on-Chip (NoC) performance.

Thisbook focuses on the fields of fuzzy logic, granular computing and alsoconsidering the control area.

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.

This book focuses on domain-specific heterogeneous reconfigurable architectures, demonstrating for readers a computing platform which is flexible enough to support multiple standards, multiple modes, and multiple algorithms.

This book opens the door to a new interesting and ambitious world of reversible and quantum computing research.

This book explores near-threshold computing (NTC), a design-space using techniques to run digital chips (processors) near the lowest possible voltage.

This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection.

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015.

This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers.

This book presents a detailed review of high-performance computing infrastructures for next-generation big data and fast data analytics.

This book explains for readers how 3D chip stacks promise to increase the level of on-chip integration, and to design new heterogeneous semiconductor devices that combine chips of different integration technologies (incl.

This book introduces readers to the most advanced research results on Design for Manufacturability (DFM) with multiple patterning lithography (MPL) and electron beam lithography (EBL).

This book focuses on the development of 3D design and implementation methodologies for Tree-based FPGA architecture.

This book demonstrates how to design a wideband receiver operating in current mode, in which the noise and non-linearity are reduced, implemented in a low cost single chip, using standard CMOS technology.

This book describes best practices for successful FPGA design.

This book is written as an introduction to annotated logics.

This book covers the latest approaches and results from reconfigurable computing architectures employed in the finance domain.

This book provides a comprehensive introduction to spintronics-based computing for the next generation of ultra-low power/highly reliable logic.

This book describes for readers technology used for effective sensing of our physical world and intelligent processing techniques for sensed information, which are essential to the success of the Internet of Things (IoTs).

This book introduces the concepts of soft errors in FPGAs, as well as the motivation for using commercial, off-the-shelf (COTS) FPGAs in mission-critical and remote applications, such as aerospace.

This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany.

This thesis takes an empirical approach to understanding of the behavior and interactions between the two main components of reinforcement learning: the learning algorithm and the functional representation of learned knowledge.

This timely and exhaustive study offers a much-needed examination of the scope and consequences of the electronic counterfeit trade.

This book constitutes the refereed proceedings of the 10th International Workshop on OpenMP, held in Salvador, Brazil, in September 2014.

This is a textbook for graduate and final-year-undergraduate computer-science and electrical-engineering students interested in the hardware and software aspects of embedded and cyberphysical systems design.

This book provides a systematic and unified methodology, including basic principles and reusable processes, for dynamic memory management (DMM) in embedded systems.

This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains.

This book describes the state-of-the-art in trusted computing for embedded systems.

This book describes automated debugging approaches for the bugs and the faults which appear in different abstraction levels of a hardware system.