NAME

       beh_makgex - create a GEX for each expression in a description

SYNOPSYS

       void beh_makgex (fig_pnt)
       struct befig *fig_pnt;

PARAMETERS

       fig_pnt   pointer of the BEFIG structure

DESCRIPTION

       beh_makgex() reads a whole behavioral description (a BEFIG) and creates a GEX for each expression present
       in  the  description.  A GEX is a structure able to represents binary expressions. It has almost the same
       organization as an ABL but, like a BDD, uses an index to represent variables.  For simple signals (simple
       outputs - BEOUT, simple iternal signals - BEAUX, simple internal delayed signals -  BEDLY),  one  GEX  is
       created  which  corresponds  to  the expression that drives the signal. The GEX is stored into a specific
       field in the corresponding structure (NODE). For  signals  that  have  multiple  expressions  (registers,
       internal  busses,  bussed  ports), one GEX 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_makgex (befig_pnt);

SEE ALSO

       beh(3), befig(3), berin(3), beaux(3), bereg(3), beh_debug(3), beh_makbdd(3)

ASIM/LIP6                                        October 1, 1997                                   BEH_MAKGEX(3)