• 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 Moodle

• Course Outline

• Important Dates (Calendar)

• Course Notes

• Literature References

• Exam 1: Mon. May 29, 2023 in FB-S143 @ 16:15 (during the lecture)

• Exam 2: Mon. June 26, 2023 in FB-S143 @ 14:00

• CAD Project
  • Groups: Thu. May 18, 2023 to coen6551@encs.concordia.ca
  • Design Assignments: Fri. May 19, 2023.
  • CMC Licence Form: Tue. May 23, 2023 on Moodle
  • Reports: Mon. June 19, 2023 on Moodle
  • Source Codes: Mon. June 19, 2023 on Moodle
  • Poster & Video Presentations: Tue. June 20, 2023 on Moodle
  • Peer Evaluations: Wed & Thu. June 21 & 22, 2023 on Peer Evaluation System
  • Project Demos: Wed & Thu. June 21 & 22, 2023
  • Grading Scheme
  • 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