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)
