CS/EE 649 - Real-Time Hardware Verification

Handouts

• Handout #1 - Course Info (postscript, LaTeX)
• Handout #2 - Bryant, "Bit-Level Analysis of an SRT Divider Circuit" (postscript)
• Handout #3 - Bryant, "Symbolic Boolean Manipulation with OBDDs" (postscript)
• Handout #4 - Bryant, "Binary Decision Diagrams and Beyond..." (postscript)

Lectures

• Lecture 1 (postscript)
• Lecture 2 (postscript)

Some interesting links

• Papers and talks by Randy Bryant on BDDs.