Electronic Books

Total Books: 1 - 16 /16
978-0-387-25454-8
Advanced BDD Optimization

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

Continue reading
978-0-387-26151-5
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 ...

Continue reading
978-1-4020-4998-9
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, ...

Continue reading
978-3-540-73625-7
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 ...

Continue reading
978-3-540-73625-7
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 ...

Continue reading
978-0-387-30087-0
Embedded System Design

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

Continue reading
978-1-4020-8297-9
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 ...

Continue reading
978-1-4020-8588-8
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 ...

Continue reading
978-1-4020-4826-5
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 ...

Continue reading
978-0-387-38152-7
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 ...

Continue reading
978-1-4020-5138-8
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, ...

Continue reading
NoIMG
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 ...

Continue reading
978-1-4020-8088-3
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 ...

Continue reading
978-0-387-26233-8
Transaction-Level Modeling with SystemC

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

Continue reading
978-0-387-25745-7
UML for SOC Design

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

Continue reading
978-0-387-33403-5
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 ...

Continue reading
Total Books: 1 - 16 /16