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

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 Universite 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. 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  separatly.  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.

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(1)