Part I. Preliminaries: 1. Sets and functions; 2. Induction and recursion; 3. Sequences and series; 4. Directed graphs; 5. Binary representation; 6. Propositional logic; 7. Asymptotics; 8. Computer stories: big endian vs. little endian; Part II. Combinational Circuits: 9. Representation by formulas; 10. The digital abstraction; 11. Foundations of combinational circuits; 12. Trees; 13. Decoders and encoders; 14. Selectors and shifters; 15. Addition; 16. Signed addition; Part III. Synchronous Circuits: 17. Flip-flops; 18. Memory modules; 19. Foundations of synchronous circuits; 20. Synchronous modules: analysis and synthesis; 21. The ISA of a simplified DLX; 22. A simplified DLX: implementation.
This textbook is a complete teaching tool for turning students into logic designers, assuming no prior knowledge of discrete mathematics.
Guy Even is a Professor in the School of Electrical Engineering at Tel-Aviv University, Israel. Moti Medina works in the School of Electrical Engineering at Tel-Aviv University, Israel.
'I highly recommend this book for academic courses on digital
design.' Vladimir Botchev, Computing Reviews
'... a very useful textbook ... Throughout the book, the mathematical approach, the gradually presented notions and the very rigorous proofs are remarkable.' Zentralblatt MATH