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 <[email protected]> for the Debian project and may be used by others.