Digital Logic Design: A Rigorous Approach

ISBN-13: 9781108708036 / Angielski / Miękka / 2019 / 368 str.

Guy Even; Moti Medina

Opis

This textbook is a complete teaching tool for turning students into logic designers, assuming no prior knowledge of discrete mathematics.

Recenzje

'… a very useful textbook … Throughout the book, the mathematical approach, the gradually presented notions and the very rigorous proofs are remarkable.' Zentralblatt MATH

Spis treści

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.