Electronic Design Automation: Synthesis, Verification, and Test (Systems on Silicon)