The content has been carefully designed to meet the requirements of first and second year students of electronic engineering, communications engineering and telecommunications, following full honour……続きを見る
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). Readers will ……続きを見る
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on usin……続きを見る
This book describes a set of SystemCーbased virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will ga……続きを見る
This peer-reviewed book explores the technologies driving broadband internet connectivity in the fourth industrial revolution (Industry 4.0). It particularly focuses on potential solutions to introd……続きを見る
This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, a……続きを見る
In diesem Buch werden analoge Transistor- und Operationsverstärkerschaltungen behandelt. Neben den Themen Biasstrom, Offset, Gleichtaktunterdrückung (CMRR), Klirrfaktor, Slew-rate und Grenzfrequenz ……続きを見る
Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Sicherheitsvalidierung und Entwurfsraumuntersuchun……続きを見る
This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special ……続きを見る
Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbeson……続きを見る
Create low power, higher performance circuits with shorter design times using this practical guide to asynchronous design. This practical alternative to conventional synchronous design enables perfo……続きを見る
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable ……続きを見る
Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems at the Electronic System Level (ESL). Today, de……続きを見る
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor s……続きを見る
This book presents a new optimization flow for quantum circuits realization. At the reversible level, optimization algorithms are presented to reduce the quantum cost. Then, new mapping approaches t……続きを見る
This book enables circuit designers to reduce the errors introduced by the fundamental limitations (noise, bandwith, and signal power) and electromagnetic interference (EMI) in negative-feedback amp……続きを見る
This book provides readers with basic principles of the electrochemistry of the electrodes used in modern, implantable neural prostheses. The authors discuss the boundaries and conditions in which t……続きを見る
Mit der Quellenverschiebung stellen die Autoren erstmals in deutscher Sprache eine äußerst praxistaugliche und verblüffend einfache grafische Methode zur Signal- und Rauschanalyse elektronischer Sch……続きを見る
This book provides readers a thorough understanding of the applicability of new-generation silicon-germanium (SiGe) electronic subsystems for electronic warfare and defensive countermeasures in mili……続きを見る
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps……続きを見る
This book provides a methodological understanding of the theoretical and technical limitations to the longevity of Moore’s law. The book presents research on factors that have significant impact on ……続きを見る
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate ……続きを見る
This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive devices, which creates a firm foundation for prac……続きを見る
This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications.……続きを見る
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 corr……続きを見る
This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particul……続きを見る
Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt a……続きを見る
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer ……続きを見る
Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für……続きを見る
In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverläss……続きを見る