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.