Electronic Design Automation: Synthesis, Verification, and T