Kategoria BISAC: Computers >> Logic Design

This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed decisions, guiding them to strike the perfect balance between flexibility and performance for their SoC designs. Readers will benefit from a detailed exploration of the essential elements of the hardware and software codesign framework, accompanied by a discussion of the driving motivations behind this approach. The author also provides an in-depth review of various hardware design...

 This book provides an easy-to-read introduction to quantum computing, as well the classical simulation of quantum circuits with common types of error effects. The authors showcase the enormous potential that can be unleashed when doing these simulations using decision diagrams–a data-structure common in the design automation community, often used in quantum computing design tasks. The algorithms and methods described can outperform previously proposed solutions in some cases, providing a complementary solution to established approaches. Finally, the necessity of noise-aware...

This book focuses on the research and development challenges posed by 3D video systems based on multi-view plus depth (MVD) technology. This technology can produce a realistic immersive experience generating synthetic video views on the decoder side, reducing the amount of information on the encoder side. The discussion presented in this book explores the MVD characteristics to propose high-throughput and energy-efficient architectures/systems, focusing on 3D-HEVC, the state-of-the-art standard for exploiting the MVD concept. The book includes an extensive discussion of the 3D-HEVC video...

This book thoroughly analyzes the fundamental problem of programmable interconnect design in FPGAs. Recent changes in fabrication technology have caused a renewed interest in this problem that was formerly considered largely solved. Besides presenting some of the most recent research results directed towards resolving the difficulties of programmable interconnect design in scaled technologies, the author also gives a modern introduction to programmable interconnect design in general, covering related topics such as broader FPGA architecture, CAD, and Networks on Chip, enabling...

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verification, debugging, and post-synthesis optimization phases.  The authors introduce the Waveform Analysis Language (WAL), which allows users to code analysis tasks in the form of programs that run on waveforms. The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis...

This book provides a holistic view of workload-dependent mitigation techniques for performance variability.  The authors describe the use of design-time profiling information to reduce the uncertainties in future execution time calculation at run time, thereby offering the best option for minimizing system costs while reducing missed deadlines.  Readers are introduced to an approach that combines dynamic voltage and frequency scaling (DVFS) with heterogeneous datapaths (HDP), enabling users to tackle performance variability of multiple...