beh_makbdd

BEH_MAKBDD(3)                    BHL functions                   BEH_MAKBDD(3)



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


NAME
       beh_makbdd - create a BDD for each expression in a description


SYNOPSYS
       void beh_makbdd (fig_pnt)
       struct befig *fig_pnt;


PARAMETERS
       fig_pnt   pointer of the BEFIG structure


DESCRIPTION
       beh_makbdd() reads a whole behavioral description (a BEFIG) and creates
       a BDD for each expression present in the description. For simple
       signals (simple outputs - BEOUT, simple iternal signals - BEAUX, simple
       internal delayed signals - BEDLY), one BDD is created which corresponds
       to the expression that drives the signal. The BDD is stored into a
       specific field in the corresponding structure (NODE). For signals that
       have multiple expressions (registers, internal busses, bussed ports),
       one BDD is created for each expression and stored in the corresponding
       field of the structure (CNDNODE for conditions or VALNODE for the
       value).


       fig_pnt represents the pointer of the description.


EXAMPLE
       #include <beh109.h>
       struct befig *befig_pnt;

       beh_makbdd (befig_pnt);


SEE ALSO
       beh(3), befig(3), berin(3), beaux(3), bereg(3), beh_debug(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                  BEH_MAKBDD(3)