Table of Contents

Origin

This software belongs to the ALLIANCE CAD system from the CAO-VLSI team at ASIM/LIP6/UPMC laboratory.
LIP6/ASIM
University P. et M. Curie 4, place Jussieu 75252 PARIS Cedex 05 FRANCE
Fax : {33/0} 1.44.27.62.86
E-mail support : alliance-support@asim.lip6.fr

Name

beh_addbeaux , beh_delbeaux , beh_rmvbeaux , beh_frebeaux

Synopsys

struct beaux *beh_addbeaux (list, name, abl, bdd) struct beaux *list;
char *name;
struct chain *abl;
struct node *bdd;

struct beaux *beh_delbeaux (list, pnt, mode) struct beaux *list;
struct beaux *pnt;
char mode;

struct beaux *beh_rmvbeaux (list, name, mode) struct beaux *list;
char *name;
char mode;

void beh_frebeaux (list)
struct beaux *list;

Parameters

list
pointer of a list of beaux structures
name
name of the simple internal signal to be added to or removed from the list
abl
the abl representing the expression of the simple internal signal
bdd
the bdd representing the expression of the simple internal signal
pnt
pointer of the beaux structure to be removed from the list
mode
recursive mode (Y or N)

Description

A beaux is a data structure representing a one-bit simple internal signal.

beh_addbeaux() adds a beaux structure at the top of a list of beaux structures. The name registred in the beaux structure is produced by namealloc(). The function returns the pointer of the new list. No checks are made by this function.

beh_delbeaux() deletes a beaux structure (pointed by pnt) from a list of beaux structures. The function returns the pointer of the new list. No action is made if the structure pointed by pnt doesn't belong to the list. If mode is set to `Y' all objects (abl) pointed by the beaux will also be removed. If mode is set to `N' and there is any object (abl) pointed by the beaux a warning message is printed on the standard error output.

beh_rmvbeaux() deletes a beaux structure (named name) from a list of beaux structures. name is supposed to be produced by namealloc(). The function returns the pointer of the new list. No action is made if the structure named by name doesn't belong to the list. If mode is set to `Y' all objects (abl) pointed by the beaux will also be removed. If mode is set to `N' and there is any object (abl) pointed by the beaux a warning message is printed on the standard error output.

beh_frebeaux() deletes a list of beaux structures (pointed by list) and all objects (abl) pointed by any beaux structure of the list. No action is made if list is an empty list (NULL pointer). No checks are made by this function.

Example

#include <beh108.h>

struct beaux *list;
char *name;

name = namealloc ("carry_3");
list = beh_addbeaux (list,"carry_2", NULL, NULL); list = beh_rmvbeaux (list,name);

See Also

beh(3) , log(1) , beaux(3) , namealloc(3)

Bug Report

This tool is under development at the ASIM/LIP6/UPMC laboratory, cao-vlsi research team.
We need your feedbak to improve documentation and tools.

If you find bugs, please fill-in the form at http://asim.lip6.fr/alliance/support/bug-report/ Thanks for doing this.

Bug Report

This tool is under development at the ASIM/LIP6/UPMC laboratory, cao-vlsi research team.
We need your feedbak to improve documentation and tools. If you find bugs, please fill-in the form at http://asim.lip6.fr/alliance/support/bug-report/ Thanks for doing this.


Table of Contents

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 26 May 2000.