LOG(3)

📦 version 5.1.1, in fedora 43, fedora 44

🌸 LOG(3) — the cao-vlsi reference manual, but make it a group chat 🌸

okay bestie, sit down, hydrate, because we're about to talk about log — and no, not the math one you're dreading. this is the cao-vlsi manual, and she's iconic. 💅

✨ NAME ✨

log — logical representations for boolean functions and utilities.

like. that's the whole vibe. boolean functions. utilities. her. 🦋

💜 ORIGIN 💜

okay so this software is part of the ALLIANCE CAD SYSTEM, and she was developed by the ASIM team over at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. 🇫🇷✨ parisian AND good at boolean algebra? the range.

🎀 DESCRIPTION 🎀

so log is literally a whole set of structures and functions that lets you manipulate several representations of boolean functions. that's it, that's the job. several programs and libraries of the cao-vlsi cad tools rest on the log package — she's the backbone, the moment, the blueprint. no cap.

there are two different kinds of functions available, and you're getting both:

  • Prefixed representation for boolean functions
  • Ordered binary decision diagrams representation

two representations. one queen. periodt. 👑

🌈 EXAMPLE 🌈

let's suppose that the actual mbk version is 'nnn'. (just go with it bestie, it's a placeholder.) in order to use log, the libMutnnn.a library must be called.

makefile:

HEADER = -I/labo/include
LIB = -L/labo/lib -lMutnnn -ltshmmm -lablmmm -lbddmmm

each library can be called separately — you do NOT have to take the whole friend group. 🫶

and listen: the "logmmm.h" header file must be inserted in the files that use the functions or the structures defined in a library. do not skip this step, it's giving "forgot to include the header and now nothing compiles." 😭

💖 SEE ALSO 💖

  • mbk(1)
  • beh(1)

go read those too, iykyk. 📚

🦋 AUTHOR 🦋

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

shoutout to L. BURGUN, room 30, building T. 55-65. legend behavior fr 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. 🥺 like genuinely. tell them what's broken. they want to know. besties help besties.

and that's the page!! from the <strong>ASIM/LIP6</strong> girlies, dated <strong>October 1, 1997</strong> — yes she's vintage, yes she still slays — this was <strong>LOG(3)</strong>. bye bestie, go compile something cute 💜✨

📦 where this page comes from