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

You are not logged in 
Contact 
©2002-2014 U.C. Regents