• Instructor: Dr. S. Tahar
• Lectures: Mondays & Wednesdays 16:15-19:00 in FB-S143
• Querries: By email to coen6551@encs.concordia.ca
• Office Hours: Mondays & Wednesdays 15:00-16:00
• Course Outline

• Important Dates (Calendar)

• Course Notes

• Literature References

• Exam 1: Mon. May 27, 2024 in FB-S143 @ 16:15-18:15

• Exam 2: Tue. June 25, 2024 in FB-S143 @ 14:00-16:00

• CAD Project
  • Group Formation: Thu. May 16, 2024 on Moodle
  • Design Assignments: Fri. May 17, 2024.
  • Project Reports: Mon. June 17, 2024 on Moodle
  • Project Codes: Mon. June 17, 2024 on Moodle
  • Project Demos: Tue. & Wed. June 18 & 19, 2024 in H-827
  • Poster & Video: Thu. June 20, 2024 on Moodle
  • Peer Evaluations: Fri. June 21, 2024 on Peer Evaluation System
  • Grading Scheme (PDF Notes)
  • Confirmatin of Originality Form
  • Note on Plagiarism
  • CrossCheck Sample

• How to reach the TA


• WWW Pointers
  • Formal Verification References: Formal Methods Library
  • Formal Verification Tools: Formality     Conformal     VIS     HOL     SMV     PVS     ACL2