Design and Verification of Microprocessor Systems for High-Assurance Applications - Couverture souple

9781489984593: Design and Verification of Microprocessor Systems for High-Assurance Applications

Couverture souple

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Editeur : Springer, 2014

Afficher les exemplaires de cette �dition comportant l?ISBN

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability.

This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

Pr�sentation de l'�diteur

This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2014
Langue: anglais
ISBN 10: 1489984593
ISBN 13: 9781489984593
Reliure: Broch�
Nombre de pages: 452
�diteur: Hardin David S.
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres �ditions populaires du m�me titre

9781441915382: Design and Verification of Microprocessor Systems for High-Assurance Applications

Edition pr�sent�e

ISBN 10 : 1441915389 ISBN 13 : 9781441915382
Editeur : Springer-Verlag New York Inc., 2010
Couverture rigide

(Couverture souple)

R�sultats de recherche pour Design and Verification of Microprocessor Systems for...

Image d'archives

Design and Verification of Microprocessor Systems for High-Assurance Applications

Edit� par Springer, 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9781489984593_new

Contacter le vendeur

Acheter neuf

EUR 123,15

EUR 13,73 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Design and Verification of Microprocessor Systems for High-Assurance Applications

David S. Hardin

Edit� par Springer US Nov 2014, 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability.This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design. 452 pp. Englisch. N� de r�f. du vendeur 9781489984593

Contacter le vendeur

Acheter neuf

EUR 117,69

EUR 23 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Design and Verification of Microprocessor Systems for High-Assurance Applications

Hardin, David S.

Edit� par Springer US, 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Offers practical case studies of the successful application of formal methods at several different levels of microprocessor system designDiscusses high-robustness design techniques that support formal verificationShows how Design for Verif. N� de r�f. du vendeur 11466698

Contacter le vendeur

Acheter neuf

EUR 98,54

EUR 48,99 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Design and Verification of Microprocessor Systems for High-Assurance Applications

. Ed(s): Hardin, David S.

Edit� par Springer-Verlag New York Inc., 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Couverture souple

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande

�valuation du vendeur 5 sur 5 �toiles

Etat : New. This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies. Editor(s): Hardin, David S. Num Pages: 450 pages, 16 black & white tables, biography. BIC Classification: TGPR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 688. . 2014. Paperback. . . . . N� de r�f. du vendeur V9781489984593

Contacter le vendeur

Acheter neuf

EUR 141,03

EUR 10,50 shipping
Exp�dition depuis Irlande vers Etats-Unis

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Design and Verification of Microprocessor Systems for.

Edit� par Springer, 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 452. N� de r�f. du vendeur 26357416462

Contacter le vendeur

Acheter neuf

EUR 152,50

EUR 3,39 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Design and Verification of Microprocessor Systems for.

Edit� par Springer, 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand pp. 452. N� de r�f. du vendeur 356123089

Contacter le vendeur

Acheter neuf

EUR 161,89

EUR 7,45 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Design and Verification of Microprocessor Systems for High-Assurance Applications

David S. Hardin

Edit� par Springer US, 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Taschenbuch

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 102,30

EUR 70 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Design and Verification of Microprocessor Systems for.

Edit� par Springer, 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND pp. 452. N� de r�f. du vendeur 18357416452

Contacter le vendeur

Acheter neuf

EUR 164,44

EUR 9,95 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Design and Verification of Microprocessor Systems for High-Assurance Applications

David S. Hardin

Edit� par Springer US, Springer US Nov 2014, 2014

ISBN 10 : 1489984593 ISBN 13 : 9781489984593

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability.This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch. N� de r�f. du vendeur 9781489984593

Contacter le vendeur