Design and Verification Methodology for SoC, Fall 2003
ANNOUNCEMENT
- Please move to new site about this course.
- (Dec. 25) The final exam is hold on Jan. 6 at E1-118.
- (Sep. 22) The course on Sep. 23 is canceled due to a safety talk.
INSTRUCTOR: Chien-Nan Liu
TEACHING ASSISTANT
COURSE SCHEDULE
- Introduction to SoC design and verification (1 week)
- Reusable design methodology (1 week)
- 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 (2hrs)
- SystemC overview (5hrs)
- HW/SW co-simulation/co-verification (2hrs)
- Analog/mixed-signal system simulation (1 week)
- Simulation-based functional verification methodology (4 weeks)
- Coverage-driven functional verification methodology (2hrs)
- Functional coverage metrics (2hrs)
- Coverage analysis techniques (3hrs)
- Test bench generation (3hrs)
- Verification model extraction (2hrs)
- Static verification techniques (3 weeks)
- Binary decision diagram (BDD) (3hrs)
- HDL lint checking (2hrs)
- Formal verification (2hrs)
- Static timing analysis (STA) (2hrs)
- Final Project presentation (2 weeks)
LECTURE NOTES
- Syllabus (Sep. 4, 2003)
- lecture 1 (Introduction, Sep. 11, 2003)
- lecture 2 (Reuse Methodology Manual,
Sep. 4, 2003)
- lecture 3 (Verification Strategy)
- lecture 4 (System Modeling and HW/SW Co-Verification)
- lecture 5 (Mixed-Signal Verification,
Oct. 6, 2003)
- lecture 6 (Coverage-Driven Verification,
Sep. 11, 2003)
- lecture 7 (Binary Decision Diagram,
Sep. 11, 2003)
- lecture 8 (Static Verification Techniques,
Sep. 11, 2003)
HOMEWORKS AND PROJECTS
OTHER INFORMATION
For any questions, send e-mails to
jimmy@ee.ncu.edu.tw
Last modified: Dec. 25, 2003