1BEH_MAKBDD(3)                    BHL functions                   BEH_MAKBDD(3)
2
3
4

NAME

6       beh_makbdd - create a BDD for each expression in a description
7
8

SYNOPSIS

10       void beh_makbdd (fig_pnt)
11       struct befig *fig_pnt;
12
13

PARAMETERS

15       fig_pnt   pointer of the BEFIG structure
16
17

DESCRIPTION

19       beh_makbdd() reads a whole behavioral description (a BEFIG) and creates
20       a BDD for each expression present in the description. For  simple  sig‐
21       nals  (simple  outputs  - BEOUT, simple iternal signals - BEAUX, simple
22       internal delayed signals - BEDLY), one BDD is created which corresponds
23       to the expression that drives the signal. The BDD is stored into a spe‐
24       cific field in the corresponding structure  (NODE).  For  signals  that
25       have  multiple  expressions (registers, internal busses, bussed ports),
26       one BDD is created for each expression and stored in the  corresponding
27       field  of  the  structure  (CNDNODE  for  conditions or VALNODE for the
28       value).
29
30
31       fig_pnt represents the pointer of the description.
32
33

EXAMPLE

35       #include <beh109.h>
36       struct befig *befig_pnt;
37
38       beh_makbdd (befig_pnt);
39
40

SEE ALSO

42       beh(3), befig(3), berin(3), beaux(3), bereg(3), beh_debug(3)
43
44
45
46
47
48
49ASIM/LIP6                       October 1, 1997                  BEH_MAKBDD(3)