Electronic Books

Total Books: 1 - 16 /16

Advanced BDD Optimization

This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...

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 ...

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, ...

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 ...

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 ...

Embedded System Design

Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems. ...

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 ...

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 ...

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 ...

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 ...

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, ...

Power-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 ...

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 ...

Transaction-Level Modeling with SystemC

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

UML for SOC Design

The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...

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 ...

Total Books: 1 - 16 /16