Ebooks de Rolf Drechsler en PDF et EPUB

27 Livre(s)
Télécharger le livre : Automatic Methods for the Refinement of System Models
Ajouter à ma liste d'envies
Automatic Methods for the Refinement of System Models
Rolf Drechsler , Julia Seiter , Robert Wille
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 readers to follow two “directions” for refinement: Vertical refinement,...

Editeur : Springer
Parution : 2016-07-04
Collection : SpringerBriefs in Electrical and Computer Engineering
ePub

52,74 €
Télécharger le livre : Reversible and Quantum Circuits
Ajouter à ma liste d'envies
Reversible and Quantum Circuits
Nabila Abdessaied , Rolf Drechsler
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 to decompose reversible circuits to quantum circuits using different...

Editeur : Springer
Parution : 2016-06-06

ePub

52,74 €
Télécharger le livre : Languages, Design Methods, and Tools for Electronic System Design
Ajouter à ma liste d'envies
Languages, Design Methods, and Tools for Electronic System Design
Rolf Drechsler , Robert Wille
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain.  FDL is a well-established international...

Editeur : Springer
Parution : 2016-05-30
Collection : Lecture Notes in Electrical Engineering
ePub

52,74 €
Télécharger le livre : Formal Specification Level
Ajouter à ma liste d'envies
Formal Specification Level
Rolf Drechsler , Mathias Soeken
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 be enabled to operate at this new, Formal Specification Level (FSL),...

Editeur : Springer
Parution : 2014-11-12

ePub

94,94 €
Télécharger le livre : Towards a Design Flow for Reversible Logic
Ajouter à ma liste d'envies
Towards a Design Flow for Reversible Logic
Rolf Drechsler , Robert Wille
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 sizes and power dissipation are the major barriers in the development of...

Editeur : Springer
Parution : 2010-07-28

ePub

94,94 €
Télécharger le livre : Debugging at the Electronic System Level
Ajouter à ma liste d'envies
Debugging at the Electronic System Level
Rolf Drechsler , Frank Rogin
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, debugging is still an unsystematic and lengthy process. Here, a simple...

Editeur : Springer
Parution : 2010-06-17

ePub

94,94 €
Télécharger le livre : Advanced BDD Optimization
Ajouter à ma liste d'envies
Advanced BDD Optimization
Rolf Drechsler , Rudiger Ebendt , Görschwin Fey
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications,...

Editeur : Springer
Parution : 2005-12-05

PDF

147,69 €
<< < 12