Mathematical Design - Couverture rigide

Roth, J-Paul

Couverture rigide

ISBN 10 : 0780334302 ISBN 13 : 9780780334304

Editeur : IEEE Press, 1998

Synopsis

Book by Roth J Paul

A propos du livre

Quatrième de couverture

Electrical Engineering/Computer Science Mathematical Design Building Reliable Complex Computer Systems IEEE Press Series on Engineering of Complex Computer Systems Phillip A. Laplante and Alexander D. Stoyen, Series Editors As computer technology advances, the debugging process for complex computer systems has become increasingly difficult. To meet the challenge of program verification, computer engineers are turning to mathematical techniques in hardware design. Brought to you by distinguished scholar J. Paul Roth, Mathematical Design offers key insights into the research and development of the design of computers and computer systems. This book features authoritative coverage of the most important topics in the field:

• Two–level logic minimization
• Verification of a supercomputer, the IBM 3081
• Algorithm for AC (dynamic) testing diagnosis
• Demonstration of hardware and software equivalence

Complete with thought–provoking exercises and engaging commentary, Mathematical Design is an excellent reference for practicing hardware designers, as well as other engineers with an interest in computer science and mathematics.

Biographie de l'auteur

About the Author J. Paul Roth was Laboratory Manager of Logic Automation at IBM, Poughkeepsie, New York. Previously, he was Pierce Instructor of Mathematics at the University of California at Berkeley. Earlier in his career, Dr. Roth was a member of the computer project (von Neumann) at the Institute for Advanced Study, Princeton, New Jersey. Dr. Roth has also been a visiting professor at Princeton, New York University, City University of New York, and Columbia University. He is the originator of the D algorithm, which is widely used for testing.

Détails de l'édition

• Éditeur: IEEE Press
• Date d'édition: 1998
• ISBN 10: 0780334302
• ISBN 13: 9780780334304
• Reliure: Relié
• Langue: anglais
• Nombre de pages: 115
• Coordonnées du fabricant: non disponible