NAME¶
log - logical representations for boolean functions and utilities.
ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at
LIP6 laboratory of Université Pierre et Marie CURIE, in Paris,
France.
Web :
http://asim.lip6.fr/recherche/alliance/
E-mail :
alliance-users@asim.lip6.fr
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. Two different
kind of functions are available for:
- 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 -lMutnnn -ltshmmm -lablmmm -lbddmmm
Each library can be called separatly. The "logmmm.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
BUG REPORT¶
This tool is under development at the
ASIM department of the
LIP6
laboratory.
We need your feedback to improve documentation and tools.