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
befig - BEH data structure
befig is a data structure used in BEH to represent a complete behavioural description of a circuit. befig has been designed to be used in a simply chained list.
A befig structure is composed of the following fields.
(struct bebus *) BEBUS list of bused output ports (a port is said to be an output when there is at least one driver inside the circuit setting its value)
(struct berin *) BERIN list of inputs (is considered as input an input port or an internal register)
(struct bemsg *) BEMSG list of conditions noticed by the circuit's designer that are to be checked to insure a correct usage of the circuit
(struct circuit *) CIRCUI
circuit pointer used when expressions are represented
with BDDs
bdd(1) , beh(3) , beh_addbefig(3) , beh_delbefig(3) , beh_frebefig(3) , beh_rmvbefig(3) , namealloc(3)
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.