Mathematical Design: Building Reliable Complex Computer Systems (ieee Press Series On Engineering Of Complex Computer Systems)

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.

MATHEMATICAL MODELING presents methods for design, analysis, diagnosis and automatic repair of computers. This original book features various level exercises to present mathematics as an activity, not merely a subject. Computer engineers, computer science high level undergraduates, and graduate students will find this practical guide packed with information needed to understand complex computer systems.