Design and Verification Methodology for SoC, Fall 2001
ANNOUNCEMENT
- Please move to new site about this course.
- (Dec. 18) The courses on 12/19 will be cancelled.
- (Dec. 11) The final exam will be hold on
10:00am, Jan. 9 (Wed) at E1-110. (close book)
- (Dec. 10) The original problem of homework 1 has some bugs in it.
The corrected version has been shown in the reference solution for hw1.
- (Nov. 13) The courses on 11/14 will be moved to 11:00 on 11/28.
- (Oct. 23) The courses on 11/6 and 11/7 will be cancelled.
- (Oct. 2) The course at Oct. 9 will be delayed until 14:00.
- (Sep. 26) The classroom for the course on Wedesday is changed again to
E1-110.
- (Sep. 7) The course at Sep. 12 will be cancelled.
- (Sep. 7) The classroom for the course on Wedesday is changed to
E1-112.
INSTRUCTOR: Chien-Nan Liu
TEACHING ASSISTANT
COURSE SCHEDULE
- Introduction to SoC design and verification (1 week)
- Introduction to Verilog HDL (1 week)
- New changes in front-end design methodology
- Reusable methodology (1 week)
- Quality of RTL codes (1 week)
- RTL verification methodology
- Coverage-driven verification methodology (1 week)
- Coverage analysis techniques (1 week)
- Automatic test bench generation techniques (1 week)
- Automatic verification model extraction (1 week)
- Formal verification
- Introduction to formal verification (1 week)
- Binary decision diagram (BDD) (1 week)
- Equivalence checking (1 week)
- Model checking (1 week)
- New changes in back-end design methodology
- Challenges for P&R tools in SoC era (1 week)
- Post layout verification (1 week)
- Project presentation (2 weeks)
LECTURE NOTES
- Syllabus (Sep. 7, 2001)
- lecture 1 (Introduction, Sep. 10, 2001)
- lecture 2 (Verilog Overview, Dec. 10, 2001)
- lecture 3 (Reuse Methodology Manual, Sep. 25, 2001)
- lecture 4 (Coding Guidelines, Nov. 19, 2001)
- lecture 5 (Verification Strategies, Oct. 17, 2001)
- lecture 6 (Coverage-Driven Verification, Dec. 26, 2001)
- Reference paper list for lecture 6 (Nov. 26, 2001)
- lecture 7 (BDD Overview, Dec. 26, 2001)
- lecture 8 (Formal Verification Overview, Dec. 26, 2001)
HOMEWORKS AND PROJECTS
OTHER INFORMATION
For any questions, send e-mails to
jimmy@ee.ncu.edu.tw
Last modified: Dec. 26, 2001