1LOG(1)                     cao-vlsi reference manual                    LOG(1)
2
3
4

NAME

6       log - logical representations for boolean functions and utilities.
7
8

ORIGIN

10       This software belongs to the  ALLIANCE CAD SYSTEM developed by the ASIM
11       team at LIP6 laboratory of Université Pierre et Marie CURIE, in  Paris,
12       France.
13
14       Web : http://asim.lip6.fr/recherche/alliance/
15       E-mail : alliance-users@asim.lip6.fr
16

DESCRIPTION

18       log  is  a  set  of structures and functions that permits to manipulate
19       several representations of  boolean  functions.  Several  programs  and
20       libraries of the cao-vlsi cad tools rest on the log package. Three dif‐
21       ferent kind of functions are available for:
22
23       Hash table management
24
25       Prefixed representation for boolean functions
26
27       Ordered binary decision diagrams representation
28

EXAMPLE

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

SEE ALSO

40       mbk(1), beh(1),
41

AUTHOR

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

THANKS

47       Thanks to P. REMY, F. PETROT, P. ALLEGRE and N. DICTUS.
48
49
50
51
52
53ASIM/LIP6                       October 1, 1997                         LOG(1)