About
STACCATO is a software package that efficiently computes Disjoint Support Decompositions from BDDs. Disjoint Support Decompositions (DSDs) have many applicational purposes such as in the formal verification and logic synthesis domains. DSDs also provide a functional representation that is more descriptive than a standard BDD while requiring similar amounts of memory.
Resources
The following links provide information necessary to understand Disjoint Support Decompositions along with documentation that explains how to use STACCATO.
- DSD Tutorial: This page provides some information about DSDs and how to obtain them using BDDs.
- STACCATO Intro: This page explain what STACCATO does at a high level.
- STACCATO Example: This page provides a sample test file that reveal some the pertinent features of STACCATO giving some idea of its versatility and ease of use.
- STACCATO Documentation: This page is the complete the documentation for STACCATO. This page is separated into two sections: external and internal functions.
Download
STACCATO-1.2 source code is now available, and it is licensed under LGPL. Please review the README after downloading for installation instructions. This code was tested on a linux environment. To compile STACCATO, the CUDD package must be installed.
Project Members
- Stephen Plaza
- Valeria Bertacco: Website
References
- "STACCATO: Disjoint Support Decompositions from BDDs through Symbolic Kernels"
PostScript File PDF File
Stephen Plaza and Valeria Bertacco
Asia South Pacific Design Automation Conference 2005 - "The Disjunctive Decomposition of Logic Functions"
PostScript File PDF File
Valeria Bertacco and Maurizio Damiani
International Conference on Computer Aided Design 1997 - "Achieving Scalable Hardware Verification with Symbolic Simulation"
PostScript File PDF File
Valeria Bertacco
PhD Thesis, Stanford University, 2003