Title: Design Methods for Digital Systems