Digital Design
by M. Morris Mano, Michael D. Ciletti · Morris Mano
Mano and Ciletti cover Boolean algebra, gate-level minimization, combinational and sequential circuit design, registers, counters, and memory, with Verilog HDL modeling introduced alongside each topic so designs can be simulated and synthesized.
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
More resources on Digital Logic Design
nand2tetris.org
Nand2Tetris.org offers a hands-on computer-architecture course that guides you from basic NAND gates to a working Hack computer and software stack. It provides project descriptions, HDL files, simulators, and tools (assembler, VM translator, compiler) plus links to the accompanying textbook.
Boolean Logic & Logic Gates: Crash Course Computer Science #3
An episode of Crash Course Computer Science, hosted by Carrie Anne Philbin, showing how transistors implement Boolean algebra: NOT, AND, OR and XOR gates, their truth tables and circuit symbols, and how gates combine into the building blocks of digital computers.
NandGame
A browser puzzle that starts with a single NAND gate and has you compose latches, adders, an ALU, memory, and finally a working CPU with its own assembler and instruction set.
Computation Structures (MIT 6.004)
Digital systems from the bottom up: logic gates and sequential circuits, instruction set design, assembly language, procedures and stacks, processor pipelining, virtual memory and concurrency. Offers 173 short lecture videos and problem sets with solutions, so learners can build and reason about a working processor.
Contemporary Logic Design
Randy Katz's undergraduate textbook on designing digital systems: Boolean algebra and minimization, combinational logic with gates and programmable devices, flip-flops, finite state machine design, and register-transfer organization, preparing readers to design and analyze real hardware circuits.
hdlbits.01xz.net
HDLBits is an online collection of HDL practice labs for digital logic design, offering interactive, auto-graded problems with in-browser editors to build and verify small to medium-scale combinational and sequential circuits (Verilog/VHDL).