convertbddcircuitsumabl − converts a bdd node to an abl expression.
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 AT asim DOT lip6 DOT fr
#include "bdd101.h"
chain_list ∗convertbddcircuitsumabl( BddCircuit, BddNode )
bddcircuit ∗BddCircuit;
bddnode ∗BddNode;
BddCircuit |
The bdd circuit. |
|||
BddNode |
The bdd node to convert. |
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.
convertbddcircuitsumabl returns a pointer to the abl expression translated.
#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 );
bdd(1), abl(1), addbddcircuitabl(3).
This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.