This laboratory manual presents detailed treatments of a variety of Digital Logic Circuits, using as a tool Verilog Hardware Descriptive Language (HDL). Among the topics covered are Boolean Functions and Logic Gates, Karnaugh Mapping, Combinatorial Logic, Synchronous Sequential Logic, Registers and Counters. For each experiment a resume is presented of the theoretical background, along with a detailed set of student activities .

have taken the popular pedagogy from Computer Organization and Design to the next level of refinement, showing in detail how to build a MIPS microprocessor in both SystemVerilog and VHDL. With the exciting opportunity that students have to run large digital designs on modern FGPAs, the approach the authors take in this book is both informative and enlightening. Digital Design and Computer Architecture brings a fresh perspective to an old discipline. Many textbooks tend to resemble overgrown shrubs, but Harris and Harris have managed to prune away the deadwood while preserving the fundamentals and presenting them in a contemporary context. In doing so, they offer a text that will benefit students interested in designing solutions for tomorrow's challenges. Jim Frenzel University of Idaho Harris and Harris have a pleasant and informative writing style. Their treatment of the material is at a good level for introducing students to computer engineering with plenty of helpful diagrams. Combinational circuits, microarchitecture, and memory systems are handled particularly well. James Pinter-Lucke Claremont McKenna College Harris and Harris have written a book that is very clear and easy to understand. The exercises are well-designed and the real-world examples are a nice touch. The lengthy and confusing explanations often found in similar textbooks are not seen here. It's obvious that the authors have devoted a great deal of time and effort to create an accessible text. I strongly recommend Digital Design and Computer Architecture.

2.1. The proof is as follows: (x + y) · (x + z) = xx + xz + xy + yz = x + xz + xy + yz = x(1 + z + y) + yz = x · 1 + yz = x + yz 2.2. The proof is as follows: (x + y) · (x + y) = xx + xy + xy + yy = x + xy + xy + 0 = x(1 + y + y) = x · 1 = x 2.3. Proof using Venn diagrams: