yosys-witness - display a witness trace in human readable
format
yosys-witness [OPTIONS] COMMAND [ARGS]...
- --help
- Show this message and exit.
- 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.
This manual page was written by Daniel Gröber
<dxld@darkboxed.org> for the Debian project and may be used by
others.