Electronic design automation: synthesis, verification, and test