Author Archives: babyworm

SystemVerilog for Verification

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

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

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

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

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

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

Mentor의 Verification Academy

OVM과 AVM을 밀고 있는 mentor에서 verification academy를 열었습니다. [여기]

현재는 아래의 세개 모듈로 구성되어 있으며, Flash 기반으로 구성되어 있어서 왠만한 웹브라우저에서는 모두 접근 가능하다는 장점이 있습니다. 단, 현재는 회사 메일로만 가입을 받고 있다고 적혀 있는데, 학생들도 가능할지는 모르겠습니다.

Evolving Capabilities Module (전반적인 overview)

Assertion-Based Verification Module (ABV에 대한 설명)

(CDC) Clock-Domain Crossing Verification Module (CDC 부분의 검증 방법)

상당히 넓은 내용을 알려주고 있는데요.. mentor에서하는 강좌이다보니 Questa나 0-in 과 같은 툴을 사용한다는 점이 특징적이겠습니다.

홈페이지에서 등록 신청하시면 하루 정도 이내에 registration 관련 메일을 보내줍니다.
메일을 받은 후에 login 계정을 activation 시키면 되는 거죠. 검증 특히 ABV에 관심 있으신 분들께는 좋은 강좌일 것같습니다.

집에서의 민혜 (6/29)

민혜가 좋아하는 그림 그리기.. 

머리띠는 현락군의 집들이에서 받은 머리띠..

엄마 아빠에게 이것 저것 그리라고 하지요. 
특히 꽃, 풍선, 우산을 그리라고 하는데, 가끔은 엄마, 아빠를 그리라고 해서 안그래도 그림 실력 없는 엄마, 아빠에게 그림 그리기 훈련을 시켜주고 있습니다. 

민혜는 면류를 좋아하는데요.. 아기라서 자주 주지는 않는데, 이날 아빠의 짜짜로니를 뺏어먹고 있습니다. 
짜장면을 먹었다는 것을 온 세상에 자랑하고 있는 중이지요 🙂