Monthly Archives: August 2009

페르세우스자리 유성우

페르세우스자리 유성우가 진행중인 사실을 아시는지요?
지난달 17일에서 이번달 24일까지 나타날 예정이라고 하고요, 8월 13일 오전 2시 30분 ~ 5시 사이에 페르세우스 자리 유성우의 극대화 시점이 있다고 합니다. 자세한 이야기는 여기를 참조하세요.

예전에 안사람과 같이 학교를 다닐때 같이 유성우를 본적이 있습니다.
당시 2001년 11월 사자자리 유성우라고 해서 상당히 많은 유성이 떨어진 적이 있는데, 당시 언론에서 우주쇼라는 말에 커피와 MP3와 침낭에 돗자리까지 준비하고 학교 건물 옥상으로 보러갔었지요. 랩실 후배들 중에서 몇몇은 개운산쪽이 명당이라는 말에 그쪽으로 간 친구들도 있구요. 🙂

여하튼, 당시 유성우는 참 멋졌습니다. 당시에 한 2시간 남짓한 시간에 본 유성의 수가 그전에 본 유성의 수보다 1000배이상 많았고, 밝기도 비교할 수 없을 정도였지요. 몇몇 유성은 상당히 큰 크기로 떨어져서 밝은 빛을 내며 사라지기도 했고요..
하늘 가득 유성이 떨어지는 장관을 보았지요.

멋진 유성우를 보려면 유성우가 지날때 날씨도 좋아야 하고, 달도 어두워야 하고, 유성 자체도 많이 떨어져 줘야하는데, 당시에 운좋게도 세가지 조건이 대부분 만족했었던 것이지요.

좀전에 검색해봤는데, 당시 유성우는 시간당 몇만개 단위로 떨어졌다고 하고, 대유성우라고 말한다네요. (오~)
아쉽게도 이번 유성우는 그다지 많이 떨어지지는 않을 것이라고 하네요. 시간당 10개정도.. (에게~..) 추가; 지식인에는 시간당 10개라고 되어 있는데, 다른쪽의 정보로는 시간당 100이라고 하고, 100-15000까지 예상된다네요. 어디가 맞을지 모르겠지만, 그다지 크지는 않을 것 같아요. [여기]를 참조하세요

11월 18일 사자자리 유성우는 시간당 100개 이상떨어지는 유성우라니 그나마 볼만하겠습니다.

별볼일 있는 소식이었나요? 🙂

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에 관심 있으신 분들께는 좋은 강좌일 것같습니다.