요즘에 프로젝트 마무리 관계로 약간 바빠서 이 책을 읽는건 좀 뒤로 미루어야 할 것 같습니다만..
아기다리 고기다리던 책이 왔습니다. ^^;
여기에서 기대하고 있다고 말씀드렸던,writing testbenches using systemverilog와 Verification Methodolgy Manual for SystemVerilog 입니다.
이 책은 한 2주일후 쯤에 아시는 분은 아실(^^;) 건대 아저씨께 맡겨두겠습니다.
필요하신 분은 2주쯤 후에 건대 아저씨께 문의하세요~
사실 원래 제목은 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번 책도 사고 싶은데..
에이고.. 이건 뭐 책값이 워낙 비싸서요..
후배들에게 부탁해서 도서관이 책 신청을 하던지 해야지요..
좋은 책 많이 읽으시고, 좋은 책 있으신 분 공유~ ^^;
이번달 들어서면서 포스팅이 갑자기 적어졌습니다.
직접적인 이유는 검증 일을 시작하면서, 배경 지식을 쌓아두기 위해서 보는 책과 기사들이 너무 늘어나서 머리속에서 정리가 되기 전에 이 부분에 대하여 포스팅 할 엄두가 안나구요..게다가, 검증 작업을 flow에 맞추어 한번 제대로 해 보려고 시작했는데, 일이 끝나기 전에 어설픈 것을 올리기도 뭐해서 그냥 그냥 시간만 흐르고 있습니다.
주말에 MPR이나 EEtimes news라도 보면 posting할 것인데, 요즘에 주말에도 검증쪽만 파고 있어서요..
게다가, 초기에는 HVL에 대해서도 고민이 많았는데, C와 systemverilog를 이용하는 것으로 방향을 잡았고.. system verilog에 대해서는 저 자신에게 많은 공부가 필요하다고 생각하고 있어서 열심히 파고 있는 중입니다. verification에서는 design과는 달리, language가 가진 모든 힘을 끌어내야지 좋은 검증 환경이 될테니까요.
제대로 해 보려고, Verification Plan을 짜고, DITL document를 쓰고, Breakout document를 작성하면서 checker model, coverage model 같은 것을 구상하고 있는데..
예전에 해 봤던 pseudo random verification이란 것이 얼마나 단순하게 생각해서 한 것인지 자신을 질책하게 됩니다. 그때 조금만 더 앞으로 나갔었다면 지금은 좀 더 좋은 verification infrastructure상에서 일을 하고 있을텐데 말입니다.
개인적으로 이번 프로젝트를 통해서 얻으려고 하는 것 중에 제대로된 검증 환경이 포함되어 있고, 이를 사내에 퍼트리기.. 라는 계획이 있으니까.. 좀더 general하게 만들려고 하는데.. 생각보다 이것이 쉽지 않네요..
처음 한 걸음 부터 너무 크게 내딛을려 하는 것이 아닌가.. 하는 생각도 없잖아 있지만, 이 프로젝트에만 적용될 수 있는 검증 인프라가 되더라도 generalize에 대한 고민을 하면서 작성하면 나중에 확장이 좀더 쉬워지지 않을까 생각됩니다.
머리속이 정리되거나, 약간 더 시간이 된다면 포스팅이 더 많아지겠지요..^^;