Design Methods for Digital Systems