Department of Computer Science
CPSC 513: Integrated System Design

Course Calendar:

This schedule is approximate.

Week 0

Jan 3: University Closed. No Class.

Jan 5: No Class Today! -- Too Chaotic to Start :-)

Week 1

Jan 10: Administration, Overview

Jan 12: Circuit Comparison Example, BDD Basics Assignment 0 assigned.

Week 2

Jan 17: BDD Operations

Jan 19: BDD Canonicity, Implementation Tricks, Variable Order Assignment 1 assigned.

Week 3

Jan 24: Size Lower Bounds, Dynamic Variable Ordering Assignment 0 due.

Jan 26: Size Lower Bounds, Dynamic Variable Ordering Assignment 2 assigned.

Week 4

Jan 31: Reactive Systems, Murphi Assignment 1 due.

Feb 2: Explicit State Reachability, Symmetry, Hash Compaction Assignment 3 assigned.

Week 5

Feb 7: Temporal Logic, CTL, CTL Model Checking. Assignment 2 due

Feb 9: Model Checking, Sequential Circuits, Transition Relations, Images, Reachability.

Reading Week

Feb 14: No Class. Assignment 3 due.

Feb 16: No Class. Assignment 4a/4b assigned.

Week 6

Feb 21: Symbolic Model Checking, SMV. Liveness vs. Fairness, Constrained Model Checking

Feb 23: SAT

Starting at this point in the class, we will switch to having one lecture per week, on current topics of interest. The other lecture will be replaced by short meetings with each group of students on the progress of their project.

Week 7

Feb 28: Model Checking Security Protocols Assignment 4a/4b due.

Mar 2: Project Group Meetings Know your project idea by now.

Week 8

Mar 7: Verifying Probabilistic Systems

Mar 9: Project Group Meetings

Week 9

Mar 14: Software Model Checking with Pushdown Automata

Mar 16: Project Group Meetings

Week 10

Mar 21: Static Analysis and Software Model Checking

Mar 23: Project Group Meetings

Week 11

Mar 28: Easter Monday. No Class.

Mar 30: Project Group Meetings

Week 12

Apr 4: Project Mini-Presentations

Apr 6: Project Mini-Presentations, Reports Due