Design of Digital Systems and Devices (2011)