- 0 resultaten
laagste prijs: € 112,13, hoogste prijs: € 119,99, gemiddelde prijs: € 117,38
1
Robustness and Usability in Modern Design Flows - Fey, Görschwin
bestellen
bij Amazon.de (Intern. Bücher)
€ 119,99
verzending: € 0,001
bestellen
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, 1 kg, Informa… Meer...

Verzendingskosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
2
Robustness and Usability in Modern Design Flows - Fey, Görschwin
bestellen
bij Amazon.de (Intern. Bücher)
€ 114,78
verzending: € 3,001
bestellen
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, 1 kg, Informa… Meer...

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
3
Robustness and Usability in Modern Design Flows - Goerschwin Fey
bestellen
bij BookDepository.com
€ 112,13
verzending: € 0,001
bestellen
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:Versandkostenfrei. (EUR 0.00)
4
Robustness and Usability in Modern Design Flows - Rolf Drechsler/ Görschwin Fey
bestellen
bij Hugendubel.de
€ 119,99
verzending: € 0,001
bestellen
Gesponsorde link
Rolf Drechsler/ Görschwin Fey:
Robustness and Usability in Modern Design Flows - pocketboek

2008, ISBN: 904817662X

gebonden uitgave

Robustness and Usability in Modern Design Flows ab 119.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2008. Aus dem Bereich: Bücher, Wissenschaft, Technik, Medien > Bücher, … Meer...

Nr. 13791407. Verzendingskosten:, , DE. (EUR 0.00)
5
Robustness and Usability in Modern Design Flows - Rolf Drechsler/ Görschwin Fey
bestellen
bij Hugendubel.de
€ 119,99
verzending: € 0,001
bestellen
Gesponsorde link
Rolf Drechsler/ Görschwin Fey:
Robustness and Usability in Modern Design Flows - pocketboek

2008, ISBN: 904817662X

gebonden uitgave

Robustness and Usability in Modern Design Flows ab 119.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2008. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft, Spring… Meer...

Nr. 13791407. Verzendingskosten:, , DE. (EUR 0.00)

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.
Bijzonderheden over het boek
Robustness and Usability in Modern Design Flows

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 2022-04-03T22:10:50+02:00 (Amsterdam)
ISBN/EAN: 9789048176625

ISBN - alternatieve schrijfwijzen:
90-481-7662-X, 978-90-481-7662-5


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; Previously published in hardcover; 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; B; Circuits and Systems; 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; Engineering; Theoretische Informatik; Theoretische Informatik; Elektronik; BB

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