사실 원래 제목은 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번 책도 사고 싶은데..
에이고.. 이건 뭐 책값이 워낙 비싸서요..
후배들에게 부탁해서 도서관이 책 신청을 하던지 해야지요..
좋은 책 많이 읽으시고, 좋은 책 있으신 분 공유~ ^^;