Category Archives: 책이야기

SystemVerilog for Verification

2 Replies

이 책은 얼마전에 새로 사서 요즘에 읽기 시작한 책인데요, 여기에도 있네요. 온라인 상에서 찾을 수 있을 줄은 생각도 못했습니다. 🙂 대단한 scribd.com..

SystemVerilog의 경우 설계용 언어라기 보다는, 또한, 모델링용 언어라기 보다는(C/C++에 기반을 둔 SystemC가 있기 때문에), 검증용 확장이라 생각하고 있는데, SystemVerilog for Design에 이어서 검증에 초점을 두고 쓰여진 책이지요.

저도 앞 부분을 읽고 있는 중이라 아직 뭐라 말씀드리기는 너무도 이른 시점이고… 관심 있으신 분은 살펴보시면 한번 보셨으면 합니다.

지난번에 한번 말씀드렸습니다만, systemverilog에 대하여 좀 정리해서 나중에 한꺼번에 올릴려고 계획중에 있는데요.. SVA 책이나 이책을 보면서 내용을 좀 더 추가하고 있는 중입니다. 항상 글을 쓰고 즉흥적으로 올려야지, 나중에 보면 참 부끄러운 것이 많아서 자주 들춰보게 되고, 점점 더 못올리게 된다는 단점이 있군요.
문제는 이러다가 충동적으로 그냥 글을(교정도 안하고) 올리는 경우가 생기는 것도 문제구요. 쩝.

쓰고보니, 이 글도 책이야기라기 보다는 잡담이군요 🙂

p.s.
지난번에 산 책중에 step-by-step functional verification with systemverilog and ovm이란 책이 있는데, 와.. 내용은 분명 좋은데, 페이지마다 글자가 너무 많아서 참 진도가 안나가는 책이더군요 🙂  바꿔 말하면 사셔도 크게 후회하지 않을 분량의 책입니다. ^^;

환률 크리

2 Replies

환률이 난리는 난리인가 봅니다.
오늘 책을 몇권 사려고 강컴에 갔다가 완전히 기절하는 줄 알았습니다.

verilog and system verilog gotchas 를 살까.. 하고 보았더니 책 가격이 무려 15만 4천원 !!!! @_@
아마존에서는 $79.11 이니, 러프하게 1500원 따져도 12만원인데 말입니다.

왠만한 책은 모조리 20만원대 더군요. 우와~

예전에는 강컴의 책이 더 저렴했기 때문에(international edition이라면 말할 것도 없습니다만, 일반적으로도..) 자주 이용했습니다만, 요즘엔 아마존이 가장 저렴하군요. 아마도 환률 변동성이 크니까 회사 입장에서는 대략 1900원 정도까지 상정을 해서 가격을 매겨 두었나 봅니다.

수행중인 국책 과제비를 이용해서 책을 구매하기는 했습니다만, 예전과는 다른 책값에 기절할 뻔 했습니다.

이번에 COOLCHIPS라는 학회 때문에 일본에 가는데, 역시 환률 크리를 맞아서 ㅎㅎ
(나중에 다시 올리겠지만, COOLCHIPS는 일본 요코하마에서 열리는 학회이고 low power embedded processor 관련 논문이 많이 발표 됩니다. – 요즘엔 약간 달라졌습니다만.. 초기엔 상당했죠..- 혹시 참가하시는 분이 계시다면 연락주세요. 같이 식사라도 하시죠 ^^; )

여하튼 두려운 환률입니다.

에고, 주제에서 벗어나서..

이번에 구매한 검증 관련 책은..

위의 책과, systemverilog for verification 2nd ed., step-by-step functional verification with systemverilog and ovm이라는 책입니다.

이외에 cortex-M3 에 대한 책을 구매했습니다. 관련 메뉴얼이나 자료는 읽어봤지만, 책이 있으니 한번 읽어보고 받아들일 부분이 있는지 확인하려고 합니다. bit banding같은 아이디어요.. ^^;

에구.. 책만 사면 뭐하나요.. 읽어야 말이지요..
책 읽는 속도는 눈에 띄게 느려졌습니다. 일본가는 길에 읽던지 해야겠지요.

두 번째 추천..

3 Replies

 

지난번에 소개해 드렸던 Scribd 사이트가 있으니, 책을 추천해 드리기가 쉽군요.

 

1.

오늘 추천해 드릴 책은 불과 몇 일 전에 본 책인데요.. 혹시나 해서 찾아봤더니 역시 있군요.

Hardware-Software-CoDesign-of-a-Multimedia-SOC-Platform라는 책입니다.

요즘에 vector processor 형태의 DSP에 관심을 가지고 있다 보니, 관련책을 뒤지는 과정에서 걸린 책인데요. 책 제목만 보아서는 그냥 그렇고 그런 이론적인 부분이 많은 책일 것이라 생각했는데, 실제로는 실무에서 관심을 두어야 할 부분에 대하여 폭넓게 기술된 책입니다. 비교적 하드웨어적인 부분과 컴파일러/프로그래밍에 대한 여러 부분들이 균형도 잘 잡혀 있고, 개론적으로 폭넓게 기술하고 있어서 실제로 이런 일을 하게 될 때 고려해야 하는 사항들을 잘 잡아주고 있다고 생각합니다.

책이 200페이지도 안되는 짧은 분량이어서, 틈틈히 읽어서 일주일이면 읽을 수 있는 분량인 것도 장점이지요.

 

2.

오늘 알려드릴 두 번째 책은 사실 제가 다 읽은 책이 아니라 책을 구입하고, 그냥 틈틈히 보다가 관둔 책입니다. 그래서, 추천을 해 드리긴 그렇고(책이 별로라서가 아니라 제가 다 읽지 못해서), 그냥 이런 책도 있으니 관심을 가져 보세요 하는 책이지요.

Advanced Verification Techniques a SystemC Based Approach for Successful Tapeout라는 책입니다.

이 책은 SystemC 기반의 검증 기법에 대하여 다루는데, 실제적으로는 SCV라는 System C verification library를 이용하여 검증하는 방법에 대한 설명입니다. SCV를 다루었던 몇 안되는 초기 책이라 의미가 있습니다.

 

여담입니다만, 이 책을 보다가 그만 읽은 이유는 책의 문제가 아니라, 개인적으로 검증 작업의 방향이 바뀌어서 입니다.

System C가 설계에는 힘을 못쓰고, 대신 검증 쪽에서는 나쁘지 않을 것 같다고 말씀 드린 적이 있는데, 저희 쪽의 경우 모델 기반의 검증은 기존에 가지고 있는 C 시뮬레이터를 이용하여 이걸 PLI로 연결해서 사용하는 것이 더 편해서, 필요성이 적었던 것이지요. SCV에 대한 관심은 계속 가지고 있으며, SCV에서 지원하는 다양한 검증 관련 모델과 툴 때문에 나중엔 이쪽으로 가지 않을까 싶어요.

또 하나의 여담입니다만, (요즘도 그런지 모르겠는데) SystemC를 이용하여 ncverilog와 연동시킬 때 gcc 버전을 좀 귀찮게 많이 타는 경우가 있었습니다. 그래서, 괜히 울컥~ 해서 어짜피 이거니 저거니 다 PLI로 된다는 생각에 바꾼 것도 없잖아 있지요 ^^;

 

3.

그 외의 링크

 

http://www.scribd.com/doc/10296534/Digital-System-and-Application-the-Computer-Engineering-Handbook-Second-Edition

http://www.scribd.com/doc/7273744/Embedded-Controller-Hardware-Design-Ken-Arnold

http://www.scribd.com/doc/7254533/Cadence-Verilog-Language-and-Simulation-Version-3 (교육 자료로 알고 있는데, verilog를 처음 접하실 때 편하실 듯..)

 

4.

… Advanced ASIC Chip Synthesis는 책이 사라졌네요. ^^; 저작권 문제로 지운건가..

…재미 있는 책이 하나 나왔네요.. Bio-Inspired Technologies for the Hardware of Adaptive Systems: Real-World Implementations and Applications 라는 책인데요. 사실은 adaptive system에 대한 이야기라고 보아도 되지요. 내용이 상당히 흥미롭긴 한데.. 아직 초입 부분만 읽은지라.. 뭐라 말씀드리긴 어렵지만 다 읽게 되면 소감을 적지요. (요즘의 책 읽는 패턴으로 보아, 읽다가 재미 없어지면 재미 있을 만한 부분만 훓어보고 때려칠 가능성도 있습니다만..)