Articles liés à Design and Verification of Microprocessor Systems for...
Design and Verification of Microprocessor Systems for High-Assurance Applications - Couverture rigide
- ÉditeurSpringer-Verlag New York Inc.
- Date d'édition2010
- ISBN 10 1441915389
- ISBN 13 9781441915382
- ReliureRelié
- Langueanglais
- Numéro d'édition1
- Nombre de pages436
- ÉditeurHardin David S.
Acheter neuf
Afficher cet article
EUR 164,79
EUR 3,57 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
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, 2010
ISBN 10 : 1441915389
ISBN 13 : 9781441915382
Ancien ou d'occasion
Couverture rigide
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-U-021-01457
Quantité disponible : 1 disponible(s)
Image d'archives
Design and Verification of Microprocessor Systems for High-Assurance Applications
Edité par
Springer, 2010
ISBN 10 : 1441915389
ISBN 13 : 9781441915382
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_344368965
Quantité disponible : 1 disponible(s)
Image d'archives
Design and Verification of Microprocessor Systems for High-Assurance Applications
Edité par
Springer, 2010
ISBN 10 : 1441915389
ISBN 13 : 9781441915382
Ancien ou d'occasion
Couverture rigide
Vendeur : Patrico Books, Apollo Beach, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : As New. Ships Out Tomorrow! N° de réf. du vendeur 230418023
Quantité disponible : 1 disponible(s)
Image d'archives
Design and Verification of Microprocessor Systems for High-Assurance Applications
Edité par
SPRINGER NATURE, 2010
ISBN 10 : 1441915389
ISBN 13 : 9781441915382
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut - Neubindung, Buchschnitt leicht verkürzt, Auflage 2010 | Seiten: 436 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 6155905/12
Quantité disponible : 1 disponible(s)
Image d'archives
Design and Verification of Microprocessor Systems for High-Assurance Applications
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530293577
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Design and Verification of Microprocessor Systems for High-Assurance Applications
Edité par
SPRINGER NATURE Mrz 2010, 2010
ISBN 10 : 1441915389
ISBN 13 : 9781441915382
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. 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. 436 pp. Englisch. N° de réf. du vendeur 9781441915382
Quantité disponible : 2 disponible(s)
Image d'archives
Design and Verification of Microprocessor Systems for High-Assurance Applications
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781441915382_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Design and Verification of Microprocessor Systems for High-Assurance Applications
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. 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 4172306
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Design and Verification of Microprocessor Systems for High-Assurance Applications
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9781441915382
Quantité disponible : 2 disponible(s)
Image d'archives
Design and Verification of Microprocessor Systems for High-Assurance Applications
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 261152591
Quantité disponible : 4 disponible(s)