LOG(1)

📦 version 5.1.1, in fedora 43, fedora 44

💖 LOG(1) — the manual, but make it cute 💖

okay bestie, listen up — this is the cao-vlsi reference manual page for log, and I'm about to make you obsessed with it. no cap. 🫶

✨ NAME ✨

log — logical representations for boolean functions and utilities. that's it, that's the girl. 💅

🌸 ORIGIN 🌸

so this software belongs to the ALLIANCE CAD SYSTEM, which was developed by the ASIM team over at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. 🇫🇷 iconic. genuinely.

🦋 DESCRIPTION 🦋

log is a whole set of structures and functions that lets you manipulate several representations of boolean functions. the way that several programs and libraries of the cao-vlsi cad tools just rest on the log package?? main character energy fr fr. 👑

there are three different kinds of functions available, for:

  • Hash table management
  • Prefixed representation for boolean functions
  • Ordered binary decision diagrams representation

⭐ EXAMPLE ⭐

okay so let's say the actual mbk version is 'nnn'. in order to use log, the libMutnnn.a library must be called. periodt.

makefile:

HEADER = -I/labo/include
LIB = -L/labo/lib -lMut -ltsh -labl -lbdd

each library can be called separately, btw — you don't have to take the whole squad. 💅

also the "log.h" header file must be inserted in the files that use the functions or the structures defined in a library. don't forget her, she's important. 🙈

🌈 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. besties fr. 🫶

💀 BUG REPORT 💀

this tool is under development at the ASIM department of the LIP6 laboratory.

we need your feedback to improve documentation and tools. so like… tell us things. please. 😭

ngl, this whole page is giving ASIM/LIP6, October 1, 1997, and the <hotpink>LOG(1)</hotpink> energy — so that's the source/version and date, mwah, bye bestie 💖✨🎀
📦 where this page comes from