Provided by: alliance_5.0-20110203-4_amd64 bug

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)