OVM과 AVM을 밀고 있는 mentor에서 verification academy를 열었습니다. [여기]
현재는 아래의 세개 모듈로 구성되어 있으며, Flash 기반으로 구성되어 있어서 왠만한 웹브라우저에서는 모두 접근 가능하다는 장점이 있습니다. 단, 현재는 회사 메일로만 가입을 받고 있다고 적혀 있는데, 학생들도 가능할지는 모르겠습니다.
Evolving Capabilities Module (전반적인 overview)
Assertion-Based Verification Module (ABV에 대한 설명)
- Welcome & Overview | Preview Session 1 | Launch Session
- Introduction to Assertion Based Verification | Preview Session 2 | Launch Session
- Maturing Your Organizations ABV Capabilities | Preview Session 3 | Launch Session
- Assertion Languages and Libraries | Preview Session 4 | Launch Session
- Introduction to SystemVerilog Assertions (SVA) | Preview Session 5 | Launch Session
- Introduction to Open Verification Library (OVL) | Preview Session 6 | Launch Session
- Assertion Patterns | Preview Session 7 | Launch Session
- Cookbook Examples | Preview Session 8 | Launch Session
- Planning For Formal ABV Success | Preview Session 9 | Launch Session
- Questa Simulation ABV Demo | Preview Session 10 | Launch Session
- 0-In Formal ABV Demo | Preview Session 11 | Launch Session
(CDC) Clock-Domain Crossing Verification Module (CDC 부분의 검증 방법)
- Overview and Welcome | Preview Session 1 | Launch Session
- Introduction to CDC | Preview Session 2 | Launch Session
- Understanding Metastability | Preview Session 3 | Launch Session
- Metastability Verification Flow | Preview Session 4 | Launch Session
- Modeling Metastability | Preview Session 5 | Launch Session
- Integrating CDC Into A Flow | Preview Session 6 | Launch Session
- 0-In CDC Demo | Preview Session 7 | Launch Session
상당히 넓은 내용을 알려주고 있는데요.. mentor에서하는 강좌이다보니 Questa나 0-in 과 같은 툴을 사용한다는 점이 특징적이겠습니다.
홈페이지에서 등록 신청하시면 하루 정도 이내에 registration 관련 메일을 보내줍니다.
메일을 받은 후에 login 계정을 activation 시키면 되는 거죠. 검증 특히 ABV에 관심 있으신 분들께는 좋은 강좌일 것같습니다.
좋은 정보 감사합니다. ^^
참… 저도 지난주에 경기도민(용인 수지) 됐습니다. ㅋ
축~! 경기도민!
저희집에서 가까운 곳으로 오셨군요 🙂
혹시 뭔가 변화가?