Advanced BDD Optimization
This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...
Lee mas
Advances in Design and Specification Languages for SoCs
Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...
Lee mas
Analog Circuit Design
This book is number 15 in this successful series of Analog Circuit Design, providing valuable information and excellent overviews ...
Lee mas
Applications of Specification and Design Languages for SoCs
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, ...
Lee mas
Electromagnetic Compatibility of Integrated Circuits
Electromagnetic Compatibility of Integrated Circuits: Techniques for Low Emission and Susceptibility focuses on the electromagnetic ...
Lee mas
Embedded Computer Systems: Architectures, Modeling, and Simulation
The book is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved ...
Lee mas
Embedded Computer Systems: Architectures, Modeling, and Simulation
The book is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved ...
Lee mas
Embedded System Design
Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems. ...
Lee mas
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Lee mas
High-Level Synthesis : From Algorithm to Digital Circuit
This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both ...
Lee mas
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update ...
Lee mas
Metric Driven Design Verification
A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically ...
Lee mas
Platform Based Design at the Electronic System Level
The material presented in Platform Based Design at the Electronic System Level will help system architects, system integrators, ...
Lee masPower-Aware Architecting for data-dominated applications
The task of the system architect is to take the correct early decisions despite the uncertainties. Power-Aware Architecting ...
Lee mas
SystemC Kernel Extensions for Heterogeneous System Modeling
SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...
Lee mas
Time Domain Methods in Electrodynamics
This book consists of contributions given in honor of Wolfgang J.R. Hoefer. The contributions represent the state of the ...
Lee mas
Transaction-Level Modeling with SystemC
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Lee mas
UML for SOC Design
The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...
Lee mas
VLSI-SOC: From Systems to Chips
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
Weather & Climate Services for the Energy Industry
This open access book showcases the burgeoning area of applied research at the intersection between weather and climate science ...
Lee mas
