25
COEN 7501 Grading Scheme Exam: 40% Project: 60%

COEN 7501 Grading Scheme

  • Upload
    oneida

  • View
    46

  • Download
    0

Embed Size (px)

DESCRIPTION

COEN 7501 Grading Scheme. Exam: 40% Project: 60%. COEN 7501 Grading Scheme. Exam: 40% Project: 60%. COEN 7501: Project Grading Scheme. Project (60%) 60% Project Report 20% Project Presentation 10% Participation (Peer Evaluation Form) 10% Project Demo (TA’s Evaluation). - PowerPoint PPT Presentation

Citation preview

Page 1: COEN 7501 Grading Scheme

COEN 7501 Grading Scheme

►Exam: 40%►Project: 60%

Page 2: COEN 7501 Grading Scheme

COEN 7501 Grading Scheme

►Exam: 40%►Project: 60%

Page 3: COEN 7501 Grading Scheme

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

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

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

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

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

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
Page 10: COEN 7501 Grading Scheme

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
Page 12: COEN 7501 Grading Scheme

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

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

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

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

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

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

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

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

COEN 7501: Last Remark

Page 21: COEN 7501 Grading Scheme

COEN 7501: Last Remark

Job Opportunities!

Page 22: COEN 7501 Grading Scheme
Page 23: COEN 7501 Grading Scheme

COEN 7501: Really Last Remark

Page 24: COEN 7501 Grading Scheme

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

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