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

NAME

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

DESCRIPTION

9       log  is  a  set  of structures and functions that permits to manipulate
10       several representations of  boolean  functions.  Several  programs  and
11       libraries  of  the cao-vlsi cad tools rest on the log package. Two dif‐
12       ferent kind of functions are available for:
13
14       Prefixed representation for boolean functions
15
16       Ordered binary decision diagrams representation
17

EXAMPLE

19       Let's suppose that actual mbk version is 'nnn'.  In order to  use  log,
20       libMutnnn.a library must be called.
21       makefile:
22       HEADER = -I/labo/include
23       LIB = -L/labo/lib -lMutnnn -ltshmmm -lablmmm -lbddmmm
24       Each  library can be called separately. The "logmmm.h" header file must
25       be inserted in the files that  use  the  functions  or  the  structures
26       defined in a library.
27

SEE ALSO

29       mbk(1), beh(1),
30

AUTHOR

32       L.  BURGUN  salle  30  T.  55-65 Universite P&M Curie - 4 pl. Jussieu -
33       FRANCE
34
35
36
37
38
39ASIM/LIP6                       October 1, 1997                         LOG(3)