Contemporary Logic Design

Randy Katz received his undergraduate degree from Cornell University, and his M.S. and Ph.D. degrees from the University of California, Berkeley. He joined the faculty at Berkeley in 1983, where he is now the United Microelectronics Corporation Distinguished Professor in Electrical Engineering and Computer Science. He is a Fellow of the ACM and the IEEE, and a member of the National Academy of Engineering and the American Academy of Arts and Sciences. He has published over 230 refereed technical papers, book chapters, and books. He has won numerous awards, including 12 best paper awards, one "test of time" paper award, three best presentation awards, the Outstanding Alumni Award of the Computer Science Division, the CRA Outstanding Service Award, the Berkeley Distinguished Teaching Award, the Air Force Exceptional Civilian Service Decoration, The IEEE Reynolds Johnson Information Storage Award, the ASEE Frederic E. Terman Award, and the ACM Karl V. Karlstrom Outstanding Educator Award. With colleagues at Berkeley, he developed the terminology of and early prototypes for Redundant Arrays of Inexpensive Disks (RAID;. While on leave for government service in 1993-1994, he established whitehouse.gov and connected the White House to the Internet.Gaetano Borriello is a Professor of Computer Science & Engineering at the University of Washington in Seattle. He received his undergraduate degree from the Polytechnic University, his M.S. degree from Stanford University, and his Ph.D. degree from the University of California, Berkeley. Prior to Berkeley he was a member of the research staff at Xerox's Palo Alto Research Center, where he was one of the designers of the first single-chip integrated Ethernet controller. He joined the faculty at UW in 1988 and received a Distinguished Teaching Award for his contributions in establishing the Computer Engineering undergraduate degree program. His research interests are in the design of ubiquitous computing technologies, the design of the embedded systems that connect the physical and virtual worlds, in the use of wireless sensors to infer human activities, and in creating applications that automatically adapt to their user's context. He is the founding director of Intel Research Seattle, a research laboratory focusing on new technologies and usage models for ubiquitous computing.

• 1. Introduction 1.1 Dissecting the Title1.2 A Brief History of Logic Design1.3 Computation1.4 Examples2. Combinational Logic 2.1 Outputs as a Function of Inputs2.2 Laws and Theorems of Boolean Logic2.3 Realizing Boolean Formulas2.4 Two-Level Logic2.5 Motivation for Two-Level Simplification2.6 Multi-level Logic2.7 Motivation for Multi-Level Minimization3. Working with Combinational Logic 3.1 Two-Level Simplification3.2 Automating Two-level Simplification3.3 Multi-level Simplification3.4 Automating Multi-level Simplification3.5 Time Response in Combinational Networks3.6 Hardware Description Languages4. Combinational Logic Technologies 4.1 History4.2 Basic Logic Components4.3 Two-Level and Multi-Level Logic4.4 Non-gate Logic5. Case Studies in Combinational Logic Design 5.1 Design Procedure5.2 A Simple Process Line Control Problem5.3 Telephone Keypad Decoder5.4 Leap Year Calculation5.5 Logic Function Unit5.6 Adder Design5.7 Arithmetic Logic Unit Design5.8 Combinational Multiplier6. Sequential Logic 6.1 Sequential Logic Elements6.2 Timing Methodologies6.3 Registers7. Finite State Machines 7.1 Counters7.2 The Concept of the State Machine7.3 Basic Design Approach7.4 Motivation for Optimization8. Working with Finite State Machines 8.1 State Minimization/Reduction8.2 State Assignment8.3 Finite State Machine Partitioning8.4 Hardware Description Languages9. Sequential Logic Technologies 9.1 Basic Sequential Logic Components9.2 FSM Design with Counters9.3 FSM Design with Programmable Logic9.4 FSM Design with More Sophisticated Programmable Logic9.5 Case Study: Traffic Light Controller10. Case Studies in Sequential Logic Design 10.1 A Finite String Recognizer10.2 A Complex Counter10.3 A Digital Combination Lock10.4 A Memory Controller10.5 A Sequential Multiplier10.6 A Serial Line Transmitter/Receiver11. Computer Organization 11.1 Structure of a Computer11.2 Busing Strategies11.3 Finite State Machines for Simple CPUs12. Controller Implementation 12.1 Random Logic12.2 Time State (Divide and Conquer)12.3 Jump Counter12.4 Branch Sequencers12.5 MicroprogrammingEpilogue