- 5 resultaten
laagste prijs: € 103,31, hoogste prijs: € 127,85, gemiddelde prijs: € 118,88
1
Robustness and Usability in Modern Design Flows - Fey, Görschwin
bestellen
bij Amazon.de (Intern. Bücher)
€ 118,54
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link
Fey, Görschwin:

Robustness and Usability in Modern Design Flows - pocketboek

2010, ISBN: 9789048176625

Mitwirkende: Drechsler, Rolf, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 184 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.6 kg, Infor… Meer...

Verzendingskosten:Real shipping costs can differ from the ones shown here. (EUR 3.00)
dichtslaan (X)
2
Robustness and Usability in Modern Design Flows - Fey, Görschwin
bestellen
bij Amazon.de (Intern. Bücher)
€ 119,99
verzending: € 3,981
bestellen
Details aangeboden
Gesponsorde link

Fey, Görschwin:

Robustness and Usability in Modern Design Flows - pocketboek

2010, ISBN: 9789048176625

Mitwirkende: Drechsler, Rolf, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 184 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.6 kg, Infor… Meer...

Verzendingskosten:Auf Lager. Lieferung von Amazon. (EUR 3.98) Amazon.de
dichtslaan (X)
3
Robustness and Usability in Modern Design Flows - Drechsler, Rolf; Fey, Görschwin
bestellen
bij Achtung-Buecher.de
€ 124,73
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Drechsler, Rolf; Fey, Görschwin:
Robustness and Usability in Modern Design Flows - pocketboek

2010

ISBN: 904817662X

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert Elektronik, Theoretische Informatik, debugging; Designmethodology; ErfüllbarkeitsproblemderAussagenlogik; formalmetho… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
4
Robustness and Usability in Modern Design Flows - Goerschwin Fey
bestellen
bij BookDepository.com
£ 89,70
(ongeveer € 103,31)
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Goerschwin Fey:
Robustness and Usability in Modern Design Flows - pocketboek

ISBN: 9789048176625

Paperback, [PU: Springer], The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Using a vis… Meer...

Verzendingskosten:Free shipping. (EUR 0.00)
dichtslaan (X)
5
Robustness and Usability in Modern Design Flows - Rolf Drechsler
bestellen
bij Rakuten.fr
€ 127,85
verzending: € 11,001
bestellen
Details aangeboden
Gesponsorde link
Rolf Drechsler:
Robustness and Usability in Modern Design Flows - gebruikt boek

ISBN: 9789048176625

Livre

2 Offers. Verzendingskosten:France. (EUR 11.00) Priceminister
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Robustness and Usability in Modern Design Flows
auteur:
Titel:
ISBN:

9789048176625


The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Therefore today's design flow has to be improved. Using a visionary approach, this book analyzes the current design methodology and verification methodology, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.

Gedetalleerde informatie over het boek. - Robustness and Usability in Modern Design Flows


EAN (ISBN-13): 9789048176625
ISBN (ISBN-10): 904817662X
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
184 Bladzijden
Gewicht: 0,287 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-02-14T13:16:41+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-02-06T08:41:28+01:00 (Amsterdam)
ISBN/EAN: 9789048176625

ISBN - alternatieve schrijfwijzen:
90-481-7662-X, 978-90-481-7662-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: drechsler, will fey
Titel van het boek: modern well design, design robust, drechsler

Gegevens van de uitgever

Auteur: Görschwin Fey; Rolf Drechsler
Titel: Robustness and Usability in Modern Design Flows
Uitgeverij: Springer; Springer Netherland
166 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,454 kg
Taal: Engels
119,99 € (DE)
123,35 € (AT)
132,50 CHF (CH)
POD
XVIII, 166 p.

BC; Circuits and Systems; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; Debugging; Design Methodology; Erfüllbarkeitsproblem der Aussagenlogik; Formal Methods; Testing; Usability; algorithms; data structures; formal verification; integrated circuit; verification; Mathematical Logic and Formal Languages; Theory of Computation; Electronics and Microelectronics, Instrumentation; Electronic Circuits and Systems; Formal Languages and Automata Theory; Theory of Computation; Electronics and Microelectronics, Instrumentation; Theoretische Informatik; Elektronik

Dedication. List of Figures. List of Tables. Preface. 1. Introduction. 2. Preliminaries. 2.1 Boolean Reasoning. 2.2 Circuits. 2.3 Formal Verification. 2.4 Automatic Test Pattern Generation. 3. Algorithms and Data Structures. 3.1 Combining SAT and BDD Provers. 3.2 Summary and Future Work. 4. Synthesis. 4.1 Synthesis of SystemC. 4.2 Synthesis for Testability. 4.3 Summary and Future Work. 5. Property Generation. 5.1 Detecting Gaps in Testbenches. 5.2 Design Understanding. 5.3 Summary and Future Work. 6. Diagnosis. 6.1 Comparing SAT-based and Simulation-based Approaches. 6.2 Generating Counterexamples for Diagnosis. 6.3 Debugging Properties. 6.4 Summary and Future Work. 7. Summary and Conclusions. References. Index of Symbols. Index.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9781441921642 Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics (Interdisciplinary Applied Mathematics, Band 33) (Pettini, Marco)

< naar Archief...