|
Introduction
CAL (dedicated to our alma-mater) BDD package provides routines for
manipulating BDDs based on breadth-first manipulation algorithm.
Technical Documents
High Performance BDD Package
Based on Exploiting Memory Hierarchy Proceedings of ACM/IEEE Design
Automation Conference, June 1996 - Jagesh V. Sanghavi, Rajeev
K. Ranjan, Robert
K. Brayton and Alberto Sangiovanni-Vincentelli. This only contains
the abstract. The full paper can be
found here.
High Performance BDD Package
Based on Exploiting Memory Hierarchy - Rajeev K. Ranjan, Jagesh V. Sanghavi,
Robert K. Brayton and Alberto Sangiovanni-Vincentelli. A technical
report version of the DAC paper.
"Binary Decision Diagrams on Network of Workstations" Proceedings of IEEE/ACM International
Conference on Computer Design, Oct. 1996, Austin, TX - Rajeev K. Ranjan, Jagesh
V. Sanghavi, Robert. K. Brayton and Alberto Sangiovanni-Vincentelli.
Dynamic Reordering in a Breadth-First
Manipulation Based BDD Package: Challenges and Solutions
Proceedings of IEEE/ACM International Conference on Computer Design, Oct. 1997,
Austin, TX - Rajeev K. Ranjan, Wilsin Gosti, Robert. K. Brayton and Alberto
Sangiovanni-Vincentelli
Release Notes for version 2.1.
Packages
For downloads,
see the Source code for CAL, CALPORT & SIP
page.
Comments to webmaster (at) embedded eecs berkeley edu
|
