Publisher's Synopsis
This graduate textbook offers a modern insight into computer-aided design of VLSI circuits and design at the logic level. Topics covered include hardware modelling, compilation techniques for hardware models, high-level synthesis, logic synthesis and library mapping algorithms.