Algorithms for VLSI Design Automation

Programming Project (for one or two persons):  A Simple ROBDD Package with Complement Edges

Summary: The goal of this project is to implement a reduced-ordered binary decision diagram (ROBDD) package. As opposed to the description in the book, the implementation should contain complement edges. On the other hand some simplifications are introduced to keep the project feasible.

Detailed Description

Last update on: Mon Sep 22 11:34:10 CEST 2003 by Sabih Gerez.