IntroductionCAL (dedicated to our alma-mater) BDD package provides routines for manipulating BDDs based on breadth-first manipulation algorithm.
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
Release Notesfor version 2.1.
PackagesFor downloads, see the Source code for CAL, CALPORT & SIP page.
Comments to webmaster (at) embedded eecs berkeley edu
|You are not logged in|
|©2002-2013 U.C. Regents|