debian man page for 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 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)