Computer Aided Design of Digital Systems