Category Archives: 책이야기

수학이란 머리 아픈 것일까요?

5 Replies

부끄러운 말이지만, 저는 중/고등학교를 통털어 “수학”을 잘해본 역사가 없습니다.
어문 계열의 과목은 어느 정도 괜찮았지만, 수학만은 시험 칠 때마다 극과 극이었습니다. ^^;
어찌보면, 대학 진학에 있어서 가장 큰 난점이 “수학”이었습니다. 수학 성적에 따라 당시 학력고사 성적이 50점까지 왔다갔다했으니 말입니다.
지금와서 생각해보면, 수학이란 것이 정말 지겹기 그지 없었습니다.
이유는 모르겠어요. 지겹기 그지 없었습니다.

수학이란 것이 지겹지 않게 된것은 몇년 안되었습니다. (그렇다고 지금 수학을 잘한다는 말은 아닙니다.)
단지, 수학의 수식이 가진 의미를 읽어낼 수 있는(풀수 있는 건 아니지만..) 단계까지는 온 것으로 느끼는데, 이것이 바로, 제가 대학원을 잘 왔다고 생각하는 가장 큰 이유중의 하나입니다. 즉, 수식을 “언어이자 기호”로서 이해할 수 있는 단초를 제공해 주었다는 측면인 것이지요.

되짚어 생각해보면 왜 그렇게 수학이 싫었던 것일까요?
그건 바로 “수식을 무조건 암기하라고 강요하는 교육”의 성과가 아닌가 싶습니다.
수식을 외우면 문제는 잘 풀려요. 문제집을 술술 풀수 있지요.. 근데, 그게 다에요.. 지겹습니다.
머리에 남지도 않구요.
저에게 수식들이 지닌 의미를 알려주신 두 분 교수님(이형우 교수님과  김민기 교수님)이 아니었으면 저는 아직도 수식을 지겨워 할 것입니다.
그만큼 좋은 선생님을 만난다는 것은 인생에 있어서 깊은 의미를 지닌다고 생각합니다.

요즘에 “리만 가설”이란 책을 읽고 있습니다. 현욱님의 블로그의 글을 보고 관심을 두고 있다가 읽게 되었지요.
이 책을 읽으면서 좋은 수학 선생님을 만난 느낌입니다.
사실 수학이란 퀴즈를 좋아하는 사람에게 가장 큰 지적 호기심을 제공하는 것인데, 문제를 명확하고, 단순하게 표현하기 위한 수식에 압도되어 문제 자체의 즐거움을 놓치게 되는 경우가 많은데, 이 책은 그런 수식의 위압감보다는 수식의 아름다움을 잘 설명하고 있습니다.


  리만 가설 – 베른하르트 리만과 소수의 비밀  존 더비셔 지음, 박병철 옮김
전문 수학자들이 가장 많은 관심을 갖고 있는 미해결 문제. ‘제타 함수의 자명하지 않은 모든 근들은 실수부가 1/2’이라는 리만 가설이 나오게 된 역사적 배경과 관련 인물들을 소개했다.

이 책의 많은 수식은 이미 여러 책을 통해서 눈에 익은 수식이 많습니다.
당시에 큰 의미없이 받아들였던 부분인데, 어떤 의미인지 더 명확해지는 상쾌함을 느낄 수 있습니다.

이 책의 특징은 홀수 장은 수식 위주로, 짝수 장은 수학사 위주로 풀어놓은 재미있는 구조를 지니고 있습니다.
수식에 위압감을 느끼시는 분은 짝수 장만 보셔도 될듯 합니다.

수학적 즐거움에 빠져보고 싶으신 분은 한번 도전해 보세요..

책이 도착했어요!

4 Replies

요즘에 프로젝트 마무리 관계로 약간 바빠서 이 책을 읽는건 좀 뒤로 미루어야 할 것 같습니다만..

아기다리 고기다리던 책이 왔습니다. ^^;

여기에서 기대하고 있다고 말씀드렸던,writing testbenches using systemverilog와 Verification Methodolgy Manual for SystemVerilog 입니다.

이 책은 한 2주일후 쯤에 아시는 분은 아실(^^;) 건대 아저씨께 맡겨두겠습니다.
필요하신 분은 2주쯤 후에 건대 아저씨께 문의하세요~

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

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

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