This is the homepage of ECE 510 OCE (Spring 2000)

Binary Decision Diagrams and Their Applications in Logic Synthesis, Verification, and Testing

Fact Sheet
Projects
Class Overview
Class Schedule (includes material for download and suggested reading)
BDD Books