Documents ECE 697B (667) Spring 2006 Synthesis and Verification of Digital Systems

Outline ROBDD’s Canonical representations Implementation of ROBDD’s ITE Operator Unique Table Computed Table Compose Garbage collection Variable ordering Other Decision…

Documents ECE 667 - Synthesis & Verification - Lecture 11 1 ECE 697B (667) Spring 2006 ECE 697B (667) Spring.....

Outline ROBDD’s Canonical representations Implementation of ROBDD’s ITE Operator Unique Table Computed Table Compose Garbage collection Variable ordering Other Decision…