↓ 본문으로 건너뛰기
Babyworm’s Tech & Personal Blog..
Background Image
  1. Posts/

Designer, Verification Engineer를 위한 책들..

·1183 단어수·3 분· loading · · ·
책이야기 DAC DVCON ICCAD SystemVerilog Verification

사실 원래 제목은 Springer의 DVCon06, DAC06, ICCAD06의 best selling book이라 지어야 정상이겠죠.

이 글은 Deepchip의 글을 바탕으로 적습니다.

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

  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

대세가 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툴 만드는 분들의 축제이니 만큼, 언어 자체에 대한 내용을 기대해 볼만 하죠..

  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

여기서도 역시 System Verilog가 대세입니다.

큰 물결을 이루었다는 걸 다시 한번 느낄 수 있네요.

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

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

  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번 책도 사고 싶은데..

에이고.. 이건 뭐 책값이 워낙 비싸서요..

후배들에게 부탁해서 도서관이 책 신청을 하던지 해야지요..

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

babyworm
작성자
babyworm
Lazy, curious, and pragmatic.