2006년 마지막 날입니다.
저에게 있어서 2006년은 여러가지 허물을 벗고 새로 시작한 해이며, 여러가지 부분에서 씨앗을 뿌린 해라고 생각합니다.
새로운 프로세서를 시작했으며, 새로운 팀원들과 일을 시작했습니다.
그리고, 지금 이 블로그를 개설하였습니다.
물론 2006년에 계획되었던 여러 일들중에 많은 부분이 아쉬움으로 남았지만, 이제 더 이상 아쉬움으로 한해를 접는 일은 없을 것입니다.
내년에는 본격적으로 경쟁할 만한 몇 가지 작업이 진행될 예정이고, 개인적으로도 바라던 몇가지 일을 추진할 수 있을 듯 합니다.
blog에도 저 자신이 좀 성숙해 지면서 더 영양가 있는 글을 쓸 수 있겠지요.
새해 복 많이 받으세요
Corrs 라는 그룹이 있지요.
아시는 분들은 많이들 아시겠지요. 이분들 곡이 많은 CF에서 사용되어서 워낙에 귀에 친숙하기도 합니다.
사실 그간 주변의 몇몇 분들이 추천해주시기도 했는데요.
저에게는 아주 착~ 달라붙는 그런 느낌은 좀 아니었습니다. 그냥 좋은 곡이다.. 그 정도..
어제 클리앙에서 어떤분께서 The Corrs: unplugged MTV라는 것을 소개해 주셔서 구해보게 되었습니다.
cfile3.uf.200989534D6A7AD2134218
아…
처음으로 뮤직 비디오류의 영상물을 ‘DVD로 구입해야겠다’라는 충동을 느꼈습니다.
우선, 영상은 뭐 그냥 공연물입니다. ^^;
현장의 모습을 폭 넓고 차분하게 담은 모습이죠.. MTV unplugged의 특징이기도 하죠.
놀라웠던것은 그 음향입니다.
제가 이 음악 mp3를 가지고 있고, 이 영상을 보기 전에도 몇번 들어본 적이 있는데, 그 것과는 다른 종류의 감동이 있습니다.
음 분리도 좋고, 선명도도 좋습니다.
아주 좋아하지는 않던 음악, 그냥 듣던 음악을 별것 아닌 계기로 좋아하는 경우가 있습니다. The Corrs의 음악에 있어서는 어제 unplugged MTV 영상을 본 것이 그런 계기인듯 하네요..
[Unplugged MTV것은 없어서 대신 올리는 Corrs의 Runaway 입니다. ]
사실 원래 제목은 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번 책도 사고 싶은데..
에이고.. 이건 뭐 책값이 워낙 비싸서요..
후배들에게 부탁해서 도서관이 책 신청을 하던지 해야지요..
좋은 책 많이 읽으시고, 좋은 책 있으신 분 공유~ ^^;