convertbddcircuitabl

CONVERTBDDCIRCUITABL(3)          BDD FUNCTIONS         CONVERTBDDCIRCUITABL(3)



NAME
       convertbddcircuitabl - 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 ∗convertbddcircuitabl( BddCircuit, BddNode )
         bddcircuit ∗BddCircuit;
         bddnode    ∗BddNode;

PARAMETERS
       BddCircuit          The bdd circuit.

       BddNode             The bdd node to convert.

DESCRIPTION
       convertbddcircuitabl converts the bdd node to an 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
       convertbddcircuitabl 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 = addbddcircuitabl( BddCircuit, Expr );
          freeablexpr( Expr );
          Expr = convertbddcircuitabl( 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.






ASIM/LIP6                       October 1, 1997        CONVERTBDDCIRCUITABL(3)