Computer architecture and logic design

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.

This book offers readers a set of new approaches and tools a set of tools and techniques for facing challenges in parallelization with design of embedded systems.

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL).

This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems.

This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014.

This book presents a wide-band and technology independent, SPICE-compatible RLC model for through-silicon vias (TSVs) in 3D integrated circuits.

This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA).

Recent developments in computer science enable algorithms previously perceived as too time-consuming to now be efficiently used for applications in bioinformatics and life sciences.

This book serves as a practical guide for practicing engineers who need to design embedded systems for high-speed data acquisition and control systems.

This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems.

The aim of this book is to explain to high-performance computing (HPC) developers how to utilize the Intel(R) Xeon Phi(TM) series products efficiently.

This book illustrates the program of Logical-Informational Dynamics.

This book describes an approach and supporting infrastructure to facilitate debugging the silicon implementation of a System-on-Chip (SOC), allowing its associated product to be introduced into the market more quickly.

This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France.

This book describes scalable and near-optimal, processor-level design space exploration (DSE) methodologies.

This book is structured as a step-by-step course of study along the lines of a VLSI integrated circuit design project.

This uniquetext/reference provides a comprehensive review of distributed simulation (DS)from the perspective of Model Driven Engineering (MDE), illustrating how MDEaffects the overall lifecycle of the simulation development process.

This book is intended for senior undergraduate and graduate students as well as practicing engineers who are involved in design and analysis of radio frequency (RF) circuits.

This book describes innovative techniques to address the testing needs of 3D stacked integrated circuits (ICs) that utilize through-silicon-vias (TSVs) as vertical interconnects.

This book provides a unified treatment of Flip-Flop design and selection in nanometer CMOS VLSI systems.

This book provides a comprehensive overview of the state-of-the-art, data flow-based techniques for the analysis, modeling and mapping technologies of concurrent applications on multi-processors.

Aimed at electronics industry professionals, this 4th edition of the Boundary Scan Handbook describes recent changes to the IEEE1149.

This book discusses the trade-offs involved in designing direct RF digitization receivers for the radio frequency and digital signal processing domains.

This book describes how engineers can make optimum use of the two industry standard analysis/design tools, SystemC and SystemC-AMS.

This book describes analytical models and estimation methods to enhance performance estimation of pipelined multiprocessor systems-on-chip (MPSoCs).

This book describes techniques to verify the authenticity of integrated circuits (ICs).

This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria.

This book equips readers with tools for computer architecture of high performance, low power, and high reliability memory hierarchy in computer systems based on emerging memory technologies, such as STTRAM, PCM, FBDRAM, etc.

This book provides embedded software developers with techniques for programming heterogeneous Multi-Processor Systems-on-Chip (MPSoCs), capable of executing multiple applications simultaneously.

This book first provides a comprehensive coverage of state-of-the-art validation solutions based on real-time signal tracing to guarantee the correctness of VLSI circuits.

Einstieg in die Assembler-Programmierung und RISC-V- Von den Grundlagen der Assembler-Programmierung bis zu verfeinerten Anwendungsmöglichkeiten- Die gängigsten RISC-V-Befehle und das Prozessor-Model- Umsetzung von höheren Assembler-Strukturen (Schleifen, Stapel, Sprungtabellen, Rekursion, .

The question whether molecular primitives can prove to be real alternatives to contemporary semiconductor means or effective supplements extending greatly possibilities of information technologies is addressed.