Table of Contents

Name

createbddsystem - creates a bdd system.

Origin

This software belongs to the ALLIANCE CAD system from the CAO-VLSI team at ASIM/LIP6/UPMC laboratory.
LIP6/ASIM
University P. et M. Curie 4, place Jussieu 75252 PARIS Cedex 05 FRANCE
Fax : {33/0} 1.44.27.62.86
E-mail support : alliance-support@asim.lip6.fr

Synopsys

#include bdd101.h"
bddsystem *createbddsystem( ModelVar, ModelOper, MaxVar, MaxNode ) long ModelVar;
long ModelOper;
long MaxVar;
long MaxNode;

Parameters

ModelVar
Initial size of the hash table uses for a variable.
ModelOper
Size of the hash table uses as a cache.
MaxVar
Initial maximum number of variables.
MaxNode
Maximum nodes allowed.

Description

createbddsystem creates and initializes a bdd system.

Return Value

createbddsystem returns a pointer to the bdd system created.

Errors

system model variable xxx error !"
The ModelVar parameter must be a positive value. system model oper xxx error !"
The ModelOper parameter must be a positive value. variable xxx out of range error !"
The MaxVar parameter must be less than BDD_MAX_VAR.

Example

#include bdd101.h"
bddsystem *BddSystem;
BddSystem = createbddsystem( 100, 1000, 100, 50000 ); ...
destroybddsystem( BddSystem );

See Also

bdd(1) resetbddsytem(3) , destroybddsytem(3) .

Bug Report

This tool is under development at the ASIM/LIP6/UPMC laboratory, cao-vlsi research team.
We need your feedbak to improve documentation and tools. If you find bugs, please fill-in the form at http://asim.lip6.fr/alliance/support/bug-report/ Thanks for doing this.


Table of Contents

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 26 May 2000.