Electronic Design Automation:Synthesis, Verification, and T