Welcome To The ECE 5506 Home Page

1. Logic Design
2. Data Structures and Graph Algorithms
3. Discrete Math (undergrad level)

• Extra Research Papers
  Optional:
  
• Logic Synthesis and Verification Algorithms, Hachtel and Somenzi, Kluwer Academic Publishers
• Advanced Formal Verification Drechsler, Kluwer, 2004.
  

1. Intro and Background (2 lectures)
2. Combinational Logic Verification (7 lectures)
   1. 2-level logic verification
   2. Multi-level verification using SAT
   3. Multi-level verification using BDDs
   4. Incremental verification
3. Sequential Logic Verification (7 lectures)
   1. Image and pre-image computation
   2. Projection and reachability analysis
   3. Fixed point computation
   4. Approximate techniques
   5. Incremental techniques
4. Model Checking (5 lectures)
   1. Computational Tree Logic (CTL)
   2. Property checking
   3. Symbolic model checking
   4. Bounded model checking and induction
5. Simulation-Based Verification (5 lectures)
   1. Coverage metrics
   2. Error-oriented verification
   3. Coverage-directed simulation
   4. Symbolic simulation
   5. Software metrics
6. Error Diagnosis (4 lectures)
   1. Static diagnosis
   2. Dynamic diagnosis

1. Full name and email
2. Home department (ECE, CS, etc.)
3. Year (Grad 1st year, 2nd Year, etc.)
4. Office or home phone number
5. Current or interested research area (VLSI, wireless, power, etc.)
6. Expectations of the course

1. you may discuss homework/project with fellow classmates, but each student must do his/her own work.
2. cheating in programs (copying program segments), on exams, and homework assignments are all considered violations of the honor code.

For additional information about the Honor Code, please visit: https://www.honorsystem.vt.edu/

1. Disability accommodation: Reasonable accommodations are available for students w ho have documentation of a disability from a qualified professional. Students sh ould work through Services for Students with Disabilities (SSD) at 240 S. Main S treet, Suite 300 (Kent Square building on Main Street in downtown Blacksburg). A ny student with accommodations through the SSD Office should contact the instruc tor during the first two weeks of the semester.
2. Religious accommodation: If participation in some part of this class conflicts w ith your observation of specific religious holidays during the semester, please contact the instructor during the first two weeks of class to make alternative a rrangements.
3. Accommodations for medical or personal/family emergencies: If you miss class due to illness, especially in the case of an exam or some deadline, see a professio nal in Schiffert Health Center. If deemed appropriate, documentation of your ill ness will be sent to the Dean’s Office for distribution to the instructor. If -- --you experience a personal or family emergency that necessitates missing class, contact the Dean of Students at 231-3787 or see them in 109 E. Eggleston Hall.