Mathematical Design: Building Reliable Complex Computer Systems

Description:

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.

Series Introduction.

Preface.

Acknowledgments.

List of Figures.

Cubical Complexes and Two-Level Logic.

Logic on Many Levels.

Regular Design, Global Design.

IBM/3081 Verification.

Diagnosis of Dynamic AC Failures.

Hardware Verification of Programs.

Hardware Correction.

Automatically Repairing Computers.

Algorithm Design.

Equivalence of Hardware and Software.

Index.

About the Author.