DOKK / manpages / debian 12 / yosys / yosys-witness.1.en
YOSYS-SMTBMC(1) YOSYS-SMTBMC(1)

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

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

Show this message and exit.

Convert an AIGER witness trace into a Yosys witness trace.
Display a Yosys witness trace in a human readable format.
Display statistics of a Yosys witness trace.
Convert a Yosys witness trace into an AIGER witness trace.
Transform a Yosys witness trace.

This manual page was written by Daniel Gröber <dxld@darkboxed.org> for the Debian project and may be used by others.

03 December 2022