Electronic Design Automation: Synthesis, Verification, and Test (Systems on Silicon)
Morgan Kaufmann | 2009 | ISBN: 0123743648 | 1008 pages | PDF | 14 MB
This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI practitioners and researchers in need of fluency in an "adjacent" field will find this an invaluable reference to the basic EDA concepts, principles, data structures, algorithms, and architectures for the design, verification, and test of VLSI circuits. Anyone who needs to learn the concepts, principles, data structures, algorithms, and architectures of the EDA flow will benefit from this book.

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
Springer | 2008 | ISBN: 0387764739 | 302 pages | PDF | 13 MB
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
addresses the need for analysis, characterization, estimation, and optimization of the various forms of power dissipation in the presence of process variations of nano-CMOS technologies. The authors show very large-scale integration (VLSI) researchers and engineers how to minimize the different types of power consumption of digital circuits. The material deals primarily with high-level (architectural or behavioral) energy dissipation because the behavioral level is not as highly abstracted as the system level nor is it as complex as the gate/transistor level.