Digital logic design
We use digital logic...
- The mathematical basis is Boolean algebra
- The mathematics of discrete logic
- The physical basis comprises transistor switches
- Real devices with physical limitations
…to solve symbolic-logic problems
- Within size, power, algorithmic (and other) bounds
- Within the constraints imposed by our bases
- Encode our design in logical statements
- Compile our design into physical hardware
- Meet timing, I/O, and other constraints