Systems on Silicon Ser.: Electronic Design Automation : Synthesis, Verification,