beh_depend(3) [debian man page]

BEH_DEPEND(3)							   BHL functions						     BEH_DEPEND(3)

ORIGIN

       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

NAME

       beh_depend - compute forward dependencies in a description

SYNOPSYS

       void beh_depend (fig_pnt)
       struct befig *fig_pnt;

PARAMETERS

       fig_pnt	 pointer of the BEFIG structure

DESCRIPTION

       beh_depend() analyzes the forward dependencies in a whole description (a BEFIG). Forward dependency means, for each input finding  out  the
       set of outputs that depend on it.

       fig_pnt represents the pointer of the description to be analyzed.

       After the analysis is acheived, beh_depend produces a set of dependency lists for each input. Each dependency list is a list of pointers to
       those outputs that depends on the input. A seprate list is produced for each type of outputs (BEOUT, BEREG,  BEAUX,  BEBUX,  BEMSG,  BEDLY,
       BEBUS).

EXAMPLE

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

       beh_depend (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_DEPEND(3)

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 Universite 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 corre-
       sponds 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 corre-
       sponding 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)