By far the first two books below were the most popular.  Keating’s LPMM out
sold everyone by a lot and we didn’t even have the final version of the
book on display!  The Chaing DFM book was a very strong second.

  1. Keating et al,  Low Power Methodology Manual: System-on-Chip
    Design, August 2007, ISBN 978-0-387-71818-7

  2. Chaing, Design for Manufacturability and Yield for Nano-Scale
    CMOS, July 2007, ISBN 978-1-4020-5187-6

  3. Srivastava,  Statistical Analysis and Optimization for VLSI
    Timing and Power, 2005,  ISBN 978-0-387-25738-9

  4. Sansen,  Analog Design Essentials, 2006, ISBN 978-0-387-25746-4

  5. Sutherland, Verilog and System Verilog Gotchas: 101 Common Coding
    Errors and How to Avoid Them, 2007, ISBN 978-0-387-71714-2

  6. Sutherland, System Verilog for Design, 2006,
    ISBN 978-0-38733399-1

  7. Spear, System Verilog for Verification, 2006,
    ISBN 978-0-387-27036-4

  8. Carter, Hemmedy, Metric Driven Design Verification, 2007,
    ISBN 978-0-387-38151-0

  9. Saxena, Routing Congestion in VLSI Circuits, 2007,
    ISBN 978-0-387-30037-5

10. Mintz, Hardware Verification with SystemVerilog, 2007,
    ISBN 978-0-387-71738-8

11. Golshan, Physical Design Essentials: An ASIC Design
    Implementation Perspective, 2007, ISBN 978-0-387-36642-5

12. Ganai, SAT-Based Scalable Formal Verification Solutions, 2007,
    ISBN 978-0-387-69166-4

13. Bergeron, Verification Methodology Manual for System Verilog,
    2005 ISBN 978-0-387-25538-5

14. Sapatnekar, Timing, 2004, ISBN 978-1-4020-7671-8

15. Graeb, Analog Design Centering and Sizing, 2007,
    ISBN 978-1-4020-6003-8

16. Lee, CMOS Biotechnology, 2007, ISBN 978-0-387-36836-8

17. Chinnery and Keutzer,  ASIC and Custom: Tools and Techniques
    for Low Power Design, August 2007, ISBN 978-0-387-25763-1

18. Narendra,  Leakage in Nanometer CMOS Technologies,  2006,
    ISBN 978-0-387-25737-2

19. Otis, Ultra-Low Power Wireless Technologies for Sensor
    Networks, 2007, ISBN 978-0-387-30930-9

20. Vijayraghavan,  A Practical Guide for SystemVerilog Assertions,
    2005, ISBN 978-0-387-26049-5

Please note that as expected the new 2007 books dominate this list.  However
a number of backlist titles ( 3-7,13, 14,18,and 20) are still strong.

  - Carl Harris
    Springer Media                   Norwell, MA