Electronic Design Automation: Synthesis, Verification, and Test

Book by Laung-Terng Wang