NAME

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

SYNOPSIS

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

OPTIONS

       --help Show this message and exit.

COMMANDS

       aiw2yw Convert an AIGER witness trace into a Yosys witness trace.

       display
              Display a Yosys witness trace in a human readable format.

       stats  Display statistics of a Yosys witness trace.

       yw2aiw Convert a Yosys witness trace into an AIGER witness trace.

       yw2yw  Transform a Yosys witness trace.

AUTHOR

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

                                                  01 April 2024                                  YOSYS-SMTBMC(1)