alliance-log

LOG(3)                     cao-vlsi reference manual                    LOG(3)



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.






ASIM/LIP6                       October 1, 1997                         LOG(3)