Tag Archives: DAC

DAC 07 best selling books

2 Replies

작년에 이어서 올해도 ESNUG에는 CAD 툴과 design methodology 관련 최대 학회인 DAC 07에서 가장 인기를 끈 책들을 소개하고 있습니다. [여기 참조]

간략히 내용을 인용해 보면 다음과 같습니다.

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

SystemVerilog의 인기는 여전하구요.. DAC이다보니 CAD alogrithm 관련 책들도 눈에 뜨입니다.

하지만, 뭐니 뭐니 해도 가장 강세는 Low Power 관련 책입니다.
이런 경향을 잘 반영하듯이 RMM의 저자 였던 Keating은 Low power methodology manual(1)을 썼고, 한때 열심히 보던,  Chinnery & Keutzer도 ASIC and Custom:Tools and Techniques for Low Power Design이란 책으로 돌아왔습니다.
각각 기존의 책에 저전력 부분을 대폭 보강하였을 것이라 미루어 짐작해봅니다.

또 한가지는 DAC인지 DVCon인지 구분이 안 갈 정도로 많은 검증 관련 책이 쏟아져 나왔다는 것입니다. 대부분의 검증이 System Verilog을 기반으로 하고 있다는 것도 주목할 만한 일입니다.
아직 회사에 System Verilog(verification featrue)를 돌릴 수 있는 툴을 구매하지 못한 관계로(흐.. 이런 비용적인 문제가 나올때 마다 S모사의 투자건에 가슴이 아프군요.) 아직 책만 읽고 있습니다. 쩝.

가만히 살펴보면, ASIC designer/verification enginner/Processor Architect로써 매년 정말 꼭 읽어야 할 책이 최소한 10권 정도는 나오는 것 같습니다. 대략 한달에 한권씩 읽어나가지 않으면 뒤쳐질 수 밖에 없다는 이야기가 되는데요..
쉽지 않은 일입니다. 🙂

책 공구 및 나눠읽기를 위한 book club 같은 걸 운용해 보는 건 어떨까 생각해 보기도 합니다. 쩝.

Designer, Verification Engineer를 위한 책들..

2 Replies

사실 원래 제목은 Springer의 DVCon06, DAC06, ICCAD06의 best selling book이라 지어야 정상이겠죠.
이 글은 Deepchip의 글을 바탕으로 적습니다.

DVCon이라는 것이 Design verification engineer들에게 최대의 축제라는 것은 아실테고.. 거기서 많이 팔린 책은 다음과 같습니다.

[#M_DVCon Best Seller 10 보기|닫기|
  1. Writing Testbenches Using System Verilog
     by Janick Bergeron, Feb 2006, ISBN: 0-387-29221-7

  2. Verification Methodology Manual for System Verilog
     by Bergeron et al, Oct 2005, ISBN: 0-387-25538-9

  3. SystemC: From the Ground Up
     by Black and Donovan, Jan 2006, ISBN: 0-387-29240-3

  4. System Verilog for Design
     by Stu Sutherland, Sep 2004, ISBN: 1-4020-7530-8

  5. A Practical Guide for System Verilog Assertions
     by Vijayaraghavan and Ramanathan, Sep 2005, ISBN: 0-387-26049-8

  6. Constraint-Based Verification
     by Yuan, Pixley and Aziz, Jan 2006, ISBN: 0-387-25947-3

  7. Verilog: Frequently Asked Questions
     by Chonnad and Balachander, Nov 2004, ISBN :1-4020-8018-2

  8. Functional Verification Coverage Measurement and Analysis
     by Andy Piziali, Nov 2004, ISBN: 1-4020-8025-5

  9. CPU Design: Answers to Frequently Asked Questions
     by Thimmannagari et al, Sep 2005, ISBN: 1-4020-7530-8

  10. Verification Plans
     by Peet James, 2003, ISBN: 1-4020-7619-3
_M#]

대세가 System Verilog입니다. 게다가 1,2위가 모두 verification guild를 이끌고 있는 Janick Bergeron의 책이네요.. 얼마전에 주문해 놨는데.. 언제 올지는 모르겠네요..

4번에 나온 System Verilog for design(1판)은 저도 가지고 있고, 한번 훓어 본 책인데.. 음.. 설계 위주이고, 설계 관점에서 system verilog가 나아진점.. 합성을 위한 선택사항들이 잘 나와 있습니다. 언어 자체에는 충실하죠.

10번의 Verification Plans는 읽은지 좀 된 책인데.. 전 아주 좋은 책인지는 잘 모르겠습니다만.. 실무적으로 고민하게 될때 좋은 Guide이기는 합니다. 근데, 책값에 비해서 너무 얇고.. 질도 좀 떨어지고..^^;

전반적으로 System Verilog를 이용한 Assertion/Constraint-Based Verification이 대세다.. 라고 볼 수 있겠습니다.
DAC은 CAD툴 만드는 분들의 축제이니 만큼, 언어 자체에 대한 내용을 기대해 볼만 하죠..

[#M_DAC06 Best Seller 10 보기|less..|   1. System Verilog: Guide to Learning the Testbench Language Features
     by Chris Spear, May 2006, ISBN: 0-387-27036-1

  2. System Verilog for Design, Second Edition
     by Sutherland, Davidmann and Flake, Jun 2006, ISBN: 0-387-33399-1

  3. Statistical Analysis and Optimization for VLSI: Timing and Power
     by Srivastava, Sylvester and Blaauw, Jun 2005, ISBN: 0-387-25738-1

  4. Writing Testbenches Using System Verilog
     by Janick Bergeron, Feb 2006, ISBN: 0-387-29221-7

  5. Verification Methodology Manual for System Verilog
     by Janick Bergeron et al, Jan 2006, ISBN: 0-387-25538-9

  6. Timing
     by Sachin Sapatnekar, Apr 2004, ISBN: 1-4020-7671-1

  7. A Practical Introduction to PSL
     by Cindy Eisner and Dana Fisman, Jul 2006, ISBN: 0-387-35313-5

  8. Analog Design Essentials
     by Willy Sansen, May 2006, ISBN: 0-387-25746-2

  9. SystemC: From the Ground Up
     by David Black and Jack Donovan, Jan 2005, ISBN: 0-387-29240-3

  10. Transaction-Level Modeling with SystemC
     by Frank Ghenassia, Jan 2005, ISBN: 0-387-26232-6
_M#]
여기서도 역시 System Verilog가 대세입니다.
큰 물결을 이루었다는 걸 다시 한번 느낄 수 있네요.

SystemC도 나름 저력을 보여주고 있습니다. 3번에 나온 책은 사실 저도 좀 사서 보고 싶네요..

ICCAD도 DAC와 좀 비슷한 성질인데, Design쪽 논문이 생각보다 좀 있는 conference입니다. 여기서 팔린 것을 보면..

[#M_ICCAD06 Best Seller 10 보기|less..| 1. Statistical Analysis and Optimization for VLSI: Timing and Power
     by Srivastava, Sylvester and Blaauw, Jun 2005, ISBN: 0-387-25738-1

  2. Timing
     by Sachin Sapatnekar, Apr 2004, ISBN: 1-4020-7671-1

  3. Algorithms for VLSI Physical Design Automation
     by N.A. Sherwani, Nov 1998, ISBN 0-7923-8393-1

  4. Reconfigurable Computing
     by M. Gokhale, Dec 2005, ISBN 0-387-26105-2

  5. Logic Synthesis and Verification Algorithms
     by Hachtel and Somenzi, Feb 2006, ISBN 0-387-31004-5

  6. Design Automation Methods and Tools for Microfluidics-Based Biochips
     by Chakrabarty and Zeng, Sep 2006, ISBN 1-4020-5122-0

  7. Substrate Noise
     by Edoardo Charbon et al, Apr 2001, ISBN 0-7923-7325-1

  8. Computation Engineering: Applied Automata and Theory
     by Ganesh Gopalakrishnan, Jun 2006, ISBN 0-387-24418-2

  9. Transistor Level Modeling for Analog/RF IC Design
     by Grabinski, Nauwelaers, and Schreurs, Mar 2006, ISBN 1-4020-4555-7

  10. Leakage in Nanometer CMOS Technologies
     by Narendra and Chandrakasan, Jun 2005, ISBN 0-387-25737-3_M#]
Design부분에 대한 내용이 주를 이루고 있습니다. 음.. 1번 책이 가장 궁금하고.. 3번책은 저도 가지고 있는 책인데.. 예전에 CAD algorithm할때 사서 열심히 봤던 책이군요.. 아.. 머리아퍼..ㅠㅠ;
4,5번 책도 사고 싶은데..

에이고.. 이건 뭐 책값이 워낙 비싸서요..
후배들에게 부탁해서 도서관이 책 신청을 하던지 해야지요..

좋은 책 많이 읽으시고, 좋은 책 있으신 분 공유~ ^^;