coen 7501 grading scheme ► exam: 40% ► project: 60%
TRANSCRIPT
![Page 1: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/1.jpg)
COEN 7501 Grading Scheme
►Exam: 40%►Project: 60%
![Page 2: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/2.jpg)
COEN 7501 Grading Scheme
►Exam: 40%►Project: 60%
![Page 3: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/3.jpg)
COEN 7501: Project Grading Scheme
►Project (60%) 60% Project Report 20% Project Presentation 10% Participation (Peer Evaluation Form) 10% Project Demo (TA’s Evaluation)
![Page 4: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/4.jpg)
COEN 7501: Project Grading Scheme
►Project (60%) 60% Project Report 20% Project Presentation 10% Participation (Peer Evaluation Form) 10% Project Demo (TA’s Evaluation)
![Page 5: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/5.jpg)
COEN 7501: Project Report
max. 20 pages (w/o code)1. Description of system behavior and function using
state machines, block diagrams or circuit structures.
2. RTL synthesis using Synposys Design Compiler3. RTL-gate level Equivalence Checking4. Gate-gate level Equivalence Checking (bug
hunting)5. Description of Verification process in Synopsys
Formality/Cadence Conformal6. Analysis of verification results 7. Conclusions (Comments and Challenges)
![Page 6: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/6.jpg)
COEN 7501: Project Grading Scheme
►Project (40%) 60% Project Report 20% Project Presentation 10% Participation (Peer Evaluation Form) 10% Project Demo (TA’s Evaluation)
![Page 7: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/7.jpg)
COEN 7501: Project Presentation
20 min. Incl. Q&A (by TWO GROUPS!)1. System behavior and function2. RTL Synthesis3. Equivalence Checking (RTL-gate/gate-gate)4. Verification process5. Analysis of results 6. Comparison Conformal vs. Formality7. Conclusions (Comments and Challenges)8. Presentation Skills9. Answering Questions
![Page 8: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/8.jpg)
COEN 7501: Project Grading Scheme
►Project (40%) 60% Project Report 20% Project Presentation 10% Participation (Peer Evaluation Form) 10% Project Demo (TA’s Evaluation)
![Page 9: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/9.jpg)
![Page 10: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/10.jpg)
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!)
![Page 11: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/11.jpg)
![Page 12: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/12.jpg)
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
![Page 13: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/13.jpg)
COEN 7501: Exam
Wednesday June 16 at 6.30pm! Classroom: H-401 Extra Office Hours►Tuesday June 15 1-2.30pm
Topics …
![Page 14: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/14.jpg)
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!)
![Page 15: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/15.jpg)
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!)
![Page 16: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/16.jpg)
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!)
![Page 17: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/17.jpg)
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!)
![Page 18: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/18.jpg)
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!)
![Page 19: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/19.jpg)
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!)
![Page 20: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/20.jpg)
COEN 7501: Last Remark
![Page 21: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/21.jpg)
COEN 7501: Last Remark
Job Opportunities!
![Page 22: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/22.jpg)
![Page 23: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/23.jpg)
COEN 7501: Really Last Remark
![Page 24: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/24.jpg)
COEN 7501: Really Last Remark!
►Teaching Evaluation Questionnaire: Don’t forget to do it <<on-line>>
(Deadline Wednesday August 16!)
![Page 25: COEN 7501 Grading Scheme ► Exam: 40% ► Project: 60%](https://reader035.vdocuments.mx/reader035/viewer/2022062314/56649e675503460f94b62c5b/html5/thumbnails/25.jpg)
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!
Thank you & Good Luck