log(1) [v7 man page]
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)
Check Out this Related Man Page
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)