LOG(1)

📦
version 5.1.1-unstable-2025-02 · 3 versions
, in nixos 26.05, nixpkgs unstable

💅 LOG(1) — bestie edition 🎀

ok so this is log(1), straight out of the cao-vlsi reference manual, and honestly? it's giving foundational. like, half the CAD tools you love are standing on this thing's shoulders. let's get into it ✨

🌸 NAME 🌸

log — logical representations for boolean functions and utilities. that's the whole vibe. booleans, but make it structured 💜

🦋 ORIGIN 🦋

ok so this software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. iconic academic lineage fr fr 👑

✨ DESCRIPTION ✨

log is a set of structures and functions that lets you manipulate several representations of boolean functions. no cap, several. and a bunch of programs and libraries of the cao-vlsi cad tools literally rest on the log package. like, it's the main character and everyone else is guest-starring 🫶

three different kinds of functions are available for:

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

three flavors, all valid, all slay 💅

🔥 EXAMPLE 🔥

let's suppose that actual mbk version is 'nnn'. in order to use log, the libMutnnn.a library must be called.

makefile:

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

each library can be called separately (yes bestie, you can pick and choose 🌈). 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 the header or it's not gonna work, and that's on periodt 💀

🧚 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. shoutout the whole squad, they ate 💖

💀 BUG REPORT 💀

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

We need your feedback to improve documentation and tools. seriously bestie, send the feedback, we're literally asking 🙈

ngl, this one's a team effort and it's still cooking — so if something's weird, tell the ASIM folks instead of suffering in silence 😭

and that's the whole page! brought to you by ASIM/LIP6, dated October 1, 1997 — yes, 1997, vintage and still relevant, the way that legacy code just keeps being iconic ✨💜🦋

📦 where this page comes from