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, and 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.