log.1alc man page

log — logical representations for boolean functions and utilities.

Description

log is a set of structures and functions that permits to manipulate several representations of boolean functions. Several programs and libraries of the cao-vlsi cad tools rest on the log package. Three different kind of functions are available for:

Hash table management

Prefixed representation for boolean functions

Ordered binary decision diagrams representation

Example

Let's suppose that actual mbk version is 'nnn'. In order to use log, libMutnnn.a library must be called.
makefile:
HEADER = -I/labo/include
LIB = -L/labo/lib -lMut -ltsh -labl -lbdd
Each library can be called separately. The "log.h" header file must be inserted in the files that use the functions or the structures defined in a library.  

See Also

mbk(1), beh(1),

Author

L. BURGUN salle 30 T. 55-65 Universite P&M Curie - 4 pl. Jussieu - FRANCE

Thanks

Thanks to P. REMY, F. PETROT, P. ALLEGRE and N. DICTUS.

Referenced By

abl.1alc(1), ablToBddCct.3alc(3), addListBdd.3alc(3), applyBdd.3alc(3), applyBinBdd.3alc(3), bddToAblCct.3alc(3), composeBdd.3alc(3), constraintBdd.3alc(3), createNodeTermBdd.3alc(3), destroyBdd.3alc(3), displayBdd.3alc(3), gcNodeBdd.3alc(3), initializeBdd.3alc(3), markAllBdd.3alc(3), markBdd.3alc(3), notBdd.3alc(3), numberNodeAllBdd.3alc(3), numberNodeBdd.3alc(3), resetBdd.3alc(3), simplifDcOneBdd.3alc(3), simplifDcZeroBdd.3alc(3), supportChain_listBdd.3alc(3), upVarBdd.3alc(3).

October 1, 1997 ASIM/LIP6 cao-vlsi reference manual