Title: Logical Design of Digital Systems