Design and Verification Methodology for SoC, Fall 2002
ANNOUNCEMENT
- Please move to new site about this course.
- (Dec. 30) The final exam is hold on Jan. 7 (Tue) at E1-110.
- (Sep. 16) The courses in this week are canceled.
- (Sep. 13) The course on Thursday is changed to Tue. 10:00-11:50 at E1-110.
INSTRUCTOR: Chien-Nan Liu
TEACHING ASSISTANT
COURSE SCHEDULE
- Introduction to SoC design and verification (1 week)
- New changes in design methodology (2 weeks)
- Reusable design methodology (3hrs)
- RTL coding guidelines (3hrs)
- Verification methodology for SoC (1 week)
- Introduction to SoC verification flow (2hrs)
- Tool supports for verification (1hr)
- System specification and modeling (2 weeks)
- Introduction to system modeling (1hr)
- SystemC overview (4hrs)
- Tool supports for verification (1hr)
- Hardware/software co-verification (1 week)
- HW/SW co-simulation/co-verification flow (2hrs)
- Tool supports for HW/SW co-verification (1hr)
- Simulation-based functional verification methodology (4 weeks)
- Coverage-driven functional verification methodology (3hrs)
- Functional coverage metrics (2hrs)
- Coverage analysis techniques (2hrs)
- Test bench generation (3hrs)
- Verification model extraction (2hrs)
- Formal verification (2 weeks)
- Binary decision diagram (BDD) (3hrs)
- Formal verification techniques (3hrs)
- Project presentation (2 weeks)
LECTURE NOTES
- Syllabus (Sep. 4, 2002)
- lecture 1 (Introduction, Sep. 11, 2002)
- lecture 2 (Reuse Methodology Manual, Sep. 4, 2002)
- lecture 3 (Coding Guidelines, Sep. 4, 2002)
- lecture 4 (Verification Strategy)
- lecture 5 (System Modeling & HW/SW Co-Verification)
- lecture 6 (Simulation-based verification,
Nov. 27, 2002)
- lecture 7 (BDD, Dec. 11, 2002)
- lecture 8 (Formal Verification Overview,
Dec. 11, 2002)
HOMEWORKS AND PROJECTS
OTHER INFORMATION
For any questions, send e-mails to
jimmy@ee.ncu.edu.tw
Last modified: Dec. 30, 2002