NAME¶
convertbddindexabl - converts a
bdd index to an
abl expression.
ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at
LIP6 laboratory of Université Pierre et Marie CURIE, in Paris,
France.
Web :
http://asim.lip6.fr/recherche/alliance/
E-mail :
alliance-users@asim.lip6.fr
SYNOPSYS¶
#include "bdd101.h"
chain_list *convertbddnodeabl( BddSystem, NameArray, IndexArray, BddNode )
bddsystem ∗BddSystem;
char ∗∗NameArray;
bddindex ∗IndexArray;
bddindex Index;
PARAMETERS¶
- BddSystem
- The bdd system.
- NameArray
- The array of names.
- IndexArray
- The array of indexes.
- Index
- The bdd index to convert.
DESCRIPTION¶
convertbddindexabl converts the
bdd index
Index to an
abl expression in the
bdd system
BddSystem. If a null
pointer is given, the default
bdd system is used. The
NameArray,
and
IndexArray parameters are used to translate the variable nodes into
atomic expressions. The array
NameArray is list of names. The array
IndexArray does the correspondence between a
bdd index and a
slot in the
NameArray. If the
IndexArray parameter is a null
pointer, then the name of the
bdd index BDD_INDEX_MIN is assumed to be
the first slot of the
NameArray, and so on.
RETURN VALUE¶
convertbddindexabl returns a pointer to the
abl expression
translated.
EXAMPLE¶
#include "bdd101.h"
bddsystem ∗BddSystem;
bddnode ∗BddNode;
chain_list ∗Expr;
char ∗NameArray[ 1 ];
BddSystem = createbddsystem( 100, 1000, 100, 50000 );
BddNode = addbddvarlast( BddSystem );
NameArray[ 0 ] = namealloc( "i0" );
Expr = convertbddindexabl( BddSystem, NameArray, (bddindex ∗)0, BddNode->INDEX );
/* displays i0 */
viewablexpr( Expr, ABL_VIEW_VHDL );
freeablexpr( Expr );
destroybddsystem( (bddsystem ∗)0 );
SEE ALSO¶
bdd(1)
BUG REPORT¶
This tool is under development at the
ASIM department of the
LIP6
laboratory.
We need your feedback to improve documentation and tools.