Man page - yosys-witness(1)

Packages contains this manual

Package:  yosys
apt-get install yosys

Manuals in package:
• yosys(1)
• yosys-smtbmc(1)
• yosys-filterlib(1)
• yosys-witness(1)
Documentations in package:
• yosys

Manual

YOSYS-SMTBMC

NAME
SYNOPSIS
OPTIONS
COMMANDS
AUTHOR

---

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.

---