Work

Electronic Design Automation: Synthesis, Verification, and Test