http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
This introductory textbook provides students with a system-level perspective and the tools they need to understand, analyze and design digital systems. Going beyond the design of simple combinational and sequential modules, it shows how such modules are used to build complete systems, reflecting real-world digital design. All the essential topics are covered, including design and analysis of combinational and sequential modules, as well as system timing and synchronization. It also teaches how to write Verilog HDL in a productive and maintainable style that enables CAD tools to do much of the tedious work. A complete introduction to digital design is given through clear explanations, extensive examples and online Verilog files. The teaching package is completed with lecture slides, labs and a solutions manual for instructors. Assuming no previous digital knowledge, this textbook is ideal for undergraduate digital design courses that will prepare students for modern digital practice.
1. The digital abstraction -- 2. The practice of digital system design -- 3. Boolean algebra -- 4. CMOS logic circuits -- 5. Delay and power of CMOS circuits -- 6. Combinational logic design -- 7. Verilog descriptions of combinational logic -- 8. Combinational building blocks -- 9. Combinational examples -- 10. Arithmetic circuits -- 11. Fixed- and floating-point numbers -- 12. Fast arithmetic circuits -- 13. Arithmetic examples -- 14. Sequential logic -- 15. Timing constraints -- 16. Data path sequential logic -- 17. Factoring finite state machines -- 18. Microcode -- 19. Sequential examples -- 20. System-level design -- 21. Interface and system-level timing -- 22. Pipelines -- 23. Interconnect -- 24. Memory systems -- 25. Asynchronous sequential circuits -- 26. Flip flops -- 27. Metastability and synchronization failure -- 28. Synchronizer design -- Appendix: Verilog coding style.
Willam J. Dally, R. Curtis Harting, Stanford University.
Includes bibliographical references and index.