offers readers an extensive introduction to design automation, highlighting fundamental