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.