Title: The Design of Digital Systems