BEH(2)

ORIGIN

Cao&Vlsi cad tools

NAME

bemsg - BEH data structure

DESCRIPTION

bemsg is a data structure used in BEH to represent a condition. To check the correct usage of the circuit, the circuit designer can asserts a set of normal-usage conditions. The validity of these conditions is to be checked continiously during circuit's simulation. bemsg has been designed to be used in a simply chained list.

A bemsg structure is composed of the following fields.

(char *) LABEL
    the assert's label. This string is supposed been produced by namealloc()

(struct chain *) ABL
    condition's expression represented by an ABL

(struct node *) BDD
    condition's expression represented by a BDD

(char) LEVEL
    severity level : E (error) or, W (warning)

(char *) MESSAGE
    message to be printed out when the condition goes to flase

(struct bemsg *) NEXT
    next bemsg

SEE ALSO

abl(1), bdd(1), beh(2), beh_addbemsg(2), beh_delbemsg(2), beh_frebemsg(2), beh_rmvbemsg(2), namealloc(2)

BUGS

Please e-mail to cao-vlsi@masi.ibp.fr for bug report and suggestions.