NEWS - NEWS - NEWS

• 11/20 - Practice midterm exams posted

General Information

• Course meetings: Tuesdays and Thursdays, 9am -10.30am in CSE 1690
  
• Course information
• Class phorum
  
• Syllabus and schedule
• Useful pointers
• Course Reserve
  

Readings and class notes

Midterm Exam

Paper Presentations

• Paper presentation assignments
• Bibliography for paper presentation
• Presentation guidelines & Phorum postings
• Oral presentation advice, by Mark Hill

Term Project

• Project directives
• Some project suggestions
• A number of upcoming issues in verification: ITRS Verification report 2007 (the Verification Section starts at page 16)
• Template framework for the project report

Course Projects

1. Runtime Verification of Interconnect Routers in Networks on Chips
   Authors: Rawan Abdel Khalek and Davoud Anoushe Jamshidi
   Outline
   Checkpoint 1
   

2. CASPAR Deployment in a Multi-Core Envinronment
   Authors: Zohair Ahmad
   Outline
   Checkpoint 1
   

3. Comparing Vera's Constraint-based Input Stimulus Generation to SAT
   Authors: Mike Pavlak
   Outline
   Checkpoint 1
   

4. Equivalence Checking of SystemC and RTL Designs
   Authors: BK Kim and Jay Chung
   Outline
   Checkpoint 1
   

5. Using Verification to Define Architecture for Video-based IPs
   Authors: Paritosh Gupta
   Outline
   Checkpoint 1
   

6. Compact Signature Generation for Use in Verification Applications
   Authors: Anthony Gutierrez, Daya Khudia and Bobby Li
   Outline
   Checkpoint 1
   

7. Symbolic Simulation
   Authors: Ritesh Parikh and Ankit Sethia
   Outline
   Checkpoint 1
   

8. Design of Fault-Tolerant Digital Microfluidics-based Biochips
   Authors: Yu-Chih Chen, Win San Khwa and Ming Han Victor Yu
   Outline
   Checkpoint 1
   

9. FRCL-based Runtime Verification of Inner Cores for Networks
   Authors: Bhavitaviya Bhadviya and Anu Chaudhary
   Outline
   Checkpoint 1
   

Mini-projects

Mini-projects can be developed by consulting or working together with classmates. However, each student should submit his/her own individual and original source code and project write-up. Projects should be submitted by midnight on the day they are due by emailing valeria@umich.edu. The class forum can be used to post questions and ask for clarifications.

1. Vera project - due 09/18/09
   • Project instructions
   • arbiter.v
   • arbiter.vr
   • DAR.tar
     Manuals
   • VERA User Guide

2. SAT project - due 09/25/09
   • Project instructions
   • circuit.v
   • Verilog2CNF
   • problem3.cnf - updated version (first line reports 44 clauses instead of 42)

3. Magellan project - due 10/02/09
   • Project instructions
   • circuit1.v
   • circuit2.v
   • circuit3.v
     Class demo files
   • demo.v
   • demo.prj
     Manuals
   • Magellan Reference Guide
   • Magellan User Guide
   • SVA Easy Start Guide
   • SVA Manual