1. COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%

2. COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%

3. COEN 7501: Project Grading Scheme ► Project (60%)  60% Project Report  20% Project Presentation  10% Participation (Peer Evaluation Form)  10% Project Demo (TA’s Evaluation)

4. COEN 7501: Project Grading Scheme ► Project (60%)  60% Project Report  20% Project Presentation  10% Participation (Peer Evaluation Form)  10% Project Demo (TA’s Evaluation)

5. COEN 7501: Project Report   max. 20 pages (w/o code) 1. 1. Description of system behavior and function using state machines, block diagrams or circuit structures. 2. 2. RTL synthesis using Synposys Design Compiler 3. 3. RTL-gate level Equivalence Checking 4. 4. Gate-gate level Equivalence Checking (bug hunting) 5. 5. Description of Verification process in Synopsys Formality/Cadence Conformal 6. 6. Analysis of verification results 7. 7. Conclusions (Comments and Challenges)

6. COEN 7501: Project Grading Scheme ► Project (40%)  60% Project Report  20% Project Presentation  10% Participation (Peer Evaluation Form)  10% Project Demo (TA’s Evaluation)

7. COEN 7501: Project Presentation   20 min. Incl. Q&A (by TWO GROUPS!) 1. 1. System behavior and function 2. 2. RTL Synthesis 3. 3. Equivalence Checking (RTL-gate/gate-gate) 4. 4. Verification process 5. 5. Analysis of results 6. 6. Comparison Conformal vs. Formality 7. 7. Conclusions (Comments and Challenges) 8. 8. Presentation Skills 9. 9. Answering Questions

8. COEN 7501: Project Grading Scheme ► Project (40%)  60% Project Report  20% Project Presentation  10% Participation (Peer Evaluation Form)  10% Project Demo (TA’s Evaluation)

10. COEN 7501: Project Grading Scheme ► Project (40%)  60% Project Report  20% Project Presentation  10% Participation (Peer Evaluation Form)  10% Project Demo (TA)  0% Confirmation of Originality (mandatory!)

12. COEN 7501: Project Deadlines ► Project Reports:  Monday June 7, before 5pm!  Mailbox of Dr. Tahar or ECE Dept. Secretary in EV005.139 ► Project Presentations:  Wednesday June 9 at 6.30pm!  Classroom: H-401

13. COEN 7501: Exam  Wednesday June 16 at 6.30pm!  Classroom: H-401  Extra Office Hours ► Tuesday June 15 1-2.30pm  Topics …

14. COEN 7501: Exam Topics ► Introduction  VLSI Design Flow  What’s verification  Verification Challenges  Types of Verification  Formal Verification (Techniques, Tools, Limitations, etc.) ► Equivalence Checking  Combinational Equivalence Checking (Principles, Tools)  Propositional Resolution, Stalmark Procedure, ROBDDS  Sequential Equivalence Checking (Principles, Re. Anal.)  Case Study (ATM Switch) ► Material allowed: Only Calculators (closed book!)

15. COEN 7501: Exam Topics ► Model Checking  Temporal Logics (LTL, CTL)  Properties Specification  Model Checking Algorithm  Symbolic Model Checking  Case Study (ATM Switch) ► Theorem Proving  First and Higher-order Logics  HOL Theorem Prover  Hardware Modeling in HOL  Hardware Verification in HOL  Case Study (RISC Processor) ► Material allowed: Only Calculators (closed book!)

16. COEN 7501: Exam Topics ► Introduction  VLSI Design Flow  What’s verification  Verification Challenges  Types of Verification  Formal Verification (Techniques, Tools, Limitations, etc.) ► Equivalence Checking  Combinational Equivalence Checking (Principles, Tools)  Propositional Resolution, Stalmark Procedure, ROBDDS  Sequential Equivalence Checking (Principles, Re. Anal.)  Case Study (TSwitch) ► Material allowed: Only Calculators (closed book!)

17. COEN 7501: Exam Topics ► Introduction  VLSI Design Flow  What’s verification  Verification Challenges  Types of Verification  Formal Verification (Techniques, Tools, Limitations, etc.) ► Equivalence Checking  Combinational Equivalence Checking (Principles, Tools)  Propositional Resolution, Stalmark Procedure, ROBDDS  Sequential Equivalence Checking (Principles, Re. Anal.)  Case Study (ATM Switch) ► Material allowed: Only Calculators (closed book!)

18. COEN 7501: Exam Topics ► Model Checking  Temporal Logics (LTL, CTL)  Properties Specification  Model Checking Algorithm  Symbolic Model Checking  Case Study (ATM Switch) ► Theorem Proving  First and Higher-order Logics  HOL Theorem Prover  Hardware Modeling in HOL  Hardware Verification in HOL  Case Study (RISC Processor) ► Material allowed: Only Calculators (closed book!)

19. COEN 7501: Exam Topics ► Model Checking  Temporal Logics (LTL, CTL)  Properties Specification  Model Checking Algorithm  Symbolic Model Checking  Case Study (ATM Switch) ► Theorem Proving  First and Higher-order Logics  HOL Theorem Prover  Hardware Modeling in HOL  Hardware Verification in HOL  Case Study (RISC Processor) ► Material allowed: Only Calculators (closed book!)

20. COEN 7501: Last Remark

21. Job Opportunities!

23. COEN 7501: Really Last Remark

24. COEN 7501: Really Last Remark! ► Teaching Evaluation Questionnaire: Don’t forget to do it > (Deadline Wednesday August 16!) (Deadline Wednesday August 16!)

25. COEN 7501: Really Last Remark! ► Teaching Evaluation Questionnaire: Don’t forget to do it on-line ASAP! … and now it’s time to go home! … and now it’s time to go home! Thank you & Good Luck Thank you & Good Luck