ECE 595Z Digital Systems Design Automation