Describir: The Electronic Design Automation Handbook /