NAME¶
convertbddcircuitsumabl - converts a
bdd node 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 ∗convertbddcircuitsumabl( BddCircuit, BddNode )
bddcircuit ∗BddCircuit;
bddnode ∗BddNode;
PARAMETERS¶
- BddCircuit
- The bdd circuit.
- BddNode
- The bdd node to convert.
DESCRIPTION¶
convertbddcircuitsumabl converts the
bdd node to a non optimal
abl expression. The
BddCircuit is used to translate the variable
nodes into atomic expressions. If a null pointer is given, the default
bdd circuit is used.
RETURN VALUE¶
convertbddcircuitsumabl returns a pointer to the
abl expression
translated.
EXAMPLE¶
#include "bdd101.h"
bddsystem ∗BddSystem;
bddcircuit ∗BddCircuit;
bddnode ∗BddNode;
chain_list ∗Expr;
BddSystem = createbddsystem( 100, 1000, 100, 50000 );
BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
Expr = createablbinexpr( ABL_AND,
createablatom( "i0" ),
createablatom( "i1" ) );
BddNode = addbddcircuitsumabl( BddCircuit, Expr );
freeablexpr( Expr );
Expr = convertbddcircuitsumabl( BddCircuit, BddNode );
/* displays (i0 and i1) */
viewablexpr( Expr, ABL_VIEW_VHDL );
freeablexpr( Expr );
destroybddsystem( (bddsystem ∗)0 );
destroybddcircuit( (bddcircuit ∗)0 );
SEE ALSO¶
bdd(1),
abl(1),
addbddcircuitabl(3).
BUG REPORT¶
This tool is under development at the
ASIM department of the
LIP6
laboratory.
We need your feedback to improve documentation and tools.