Thisnewgraduatetextbookincomputerengineeringoffersamodern,up-to-datelookatcomputeraideddesignofVLSIcircuitsatthefunctionalandlogiclevelbyaddressinganinterestingtopicinCADfordigitalcircuits:designsynthesisofdetailedspecificationsfromabstractmodels.Topicscoveredincludehardwaremodeling,compilationtechniquesforhardwaremodels,high-levelsynthesis,logicsynthesis,andlibrarymappingalgorithms.CoursetitlesincludeDigitalCAD,AdvancedLogicDesignorComplementsofVLSIDesign.