YOSYS-SMTBMC(1)

💖 yosys-witness 💖

okay bestie, so this is the page for yosys-witness, and it lives inside the YOSYS-SMTBMC(1) manual, which is honestly such a name-vs-content moment of it all, but we move 💅

---

✨ NAME ✨

yosys-witness — display a witness trace in human readable format

like. it takes your witness trace and makes it make sense to your eyeballs. iconic behaviour honestly 🎀

---

🌸 SYNOPSIS 🌸

yosys-witness [OPTIONS] COMMAND [ARGS]...

that's it, that's the whole vibe. you give it some options, you give it a command, you give it args, it does the thing ✨

---

💜 OPTIONS 💜

• --help — show this message and exit. the classic. the moment you're like "wait what do i do" and it's like "here you go bestie 🫶"

---

🦋 COMMANDS 🦋

• aiw2yw — convert an AIGER witness trace into a Yosys witness trace. glow-up translation fr fr 🔥
• display — display a Yosys witness trace in a human readable format. this one is literally the whole point of the tool, no cap 👑
• stats — display statistics of a Yosys witness trace. numbers. stats. the data. the tea ☕
• yw2aiw — convert a Yosys witness trace into an AIGER witness trace. the other direction, she's versatile like that 💫
• yw2yw — transform a Yosys witness trace. yosys to yosys, a little makeover, a little self-care moment 🧚

---

🌈 AUTHOR 🌈

this manual page was written by Daniel Gröber <dxld@darkboxed.org> for the Debian project, and may be used by others. thank you for your service, king 💖

---

and that's the whole page, bestie! written with love, dated 09 July 2026, and it came to you from none other than the YOSYS-SMTBMC(1) manual itself. slay 💅✨🌸