SULJE VALIKKO

avaa valikko

Rolf Drechsler | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 95 tuotetta
Haluatko tarkentaa hakukriteerejä?



Towards One-Pass Synthesis
Rolf Drechsler
Springer (2003)
Saatavuus: Tilaustuote
Kovakantinen kirja
84,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Julia Seiter; Robert Wille; Rolf Drechsler
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Introduction to Reversible and Quantum Circuits: From Basics to Hardware Design
Robert Wille; Mathias Soeken; Rolf Drechsler
Springer (2016)
Saatavuus: Painos loppu
Kovakantinen kirja
106,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Enhanced Virtual Prototyping for Heterogeneous Systems
Hassan Muhammad Hassan; Groe Daniel Groe; Drechsler Rolf Drechsler
Springer Nature B.V. (2022)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja
115,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Design for Testability, Debug and Reliability
Huhn Sebastian Huhn; Drechsler Rolf Drechsler
Springer Nature B.V. (2021)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja
115,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Verification of Structurally Complex Multipliers
Mahzoon Alireza Mahzoon; Groe Daniel Groe; Drechsler Rolf Drechsler
Springer Nature B.V. (2023)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja
105,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Enhanced Virtual Prototyping
Herdt Vladimir Herdt; Groe Daniel Groe; Drechsler Rolf Drechsler
Springer Nature B.V. (2020)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja
115,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler; Stephan Eggersglüß; Görschwin Fey; Daniel Tille
Springer (2009)
Saatavuus: Tilaustuote
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Evolutionary Algorithms for Embedded System Design
Rolf Drechsler (ed.); Nicole Drechsler (ed.)
Springer (2002)
Saatavuus: Tilaustuote
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Towards One-Pass Synthesis
Rolf Drechsler; Wolfgang Günther
Springer-Verlag New York Inc. (2002)
Saatavuus: Tilaustuote
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advanced Formal Verification
Rolf Drechsler (ed.)
Springer (2004)
Saatavuus: Tilaustuote
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Springer (1998)
Saatavuus: Tilaustuote
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Verification of Circuits
Rolf Drechsler
Springer (2000)
Saatavuus: Tilaustuote
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Binary Decision Diagrams - Theory and Implementation
Rolf Drechsler; Bernd Becker
Springer (1998)
Saatavuus: Tilaustuote
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Verification of Circuits
Rolf Drechsler
Springer-Verlag New York Inc. (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Binary Decision Diagrams - Theory and Implementation
Rolf Drechsler; Bernd Becker
Springer-Verlag New York Inc. (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Towards One-Pass Synthesis
Rolf Drechsler; Wolfgang Günther
Springer-Verlag New York Inc. (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advanced Formal Verification
Rolf Drechsler (ed.)
Springer (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Springer (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler; Stephan Eggersglüß; Görschwin Fey; Daniel Tille
Springer (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Towards One-Pass Synthesis
84,50 €
Springer
Sivumäärä: 181 sivua
Asu: Kovakantinen kirja
Painos: 2002
Julkaisuvuosi: 2003, 11.03.2003 (lisätietoa)
Kieli: Englanti
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split up in several - more or less independen- phases. In the last 40 years powerful algorithms have been developed to find optimal solutions for each of these steps. However, the interaction of these different algorithms has not been considered for a long time. This leads to quality loss e. g. in cases where highly optimized net lists fit badly onto the target architecture. Since the resulting circuits are often far from being optimal and insufficient regarding the optimization criteria, like area and delay, several iterations of the complete design process have to be carried out to get high quality results. This is a very time consuming and costly process. For this reason, some years ago the idea of one-pass synthesis came up. There were two main approaches how to guarantee that a design got "first time right": 1. Combining levels that were split before, e. g. to use layout information already during the logic synthesis phase. 2. Restricting the optimization in one level such that it better fits to the next one. So far, several approaches in these two directions have been presented and new techniques are under development. In this book we describe the new paradigm that is used in one-pass synthesis and present examples for the two techniques above.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Towards One-Pass Synthesis
Näytä kaikki tuotetiedot
ISBN:
9781402005862
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste