vyges-glitch — CLI reference

Generated from vyges-glitch --help. Do not edit by hand — run scripts/gen-cli-reference.sh.

vyges-glitch — static glitch / hazard analysis (reconvergent fanout)

usage:
  vyges-glitch check NETLIST --lib L.lib [-o OUT] [--json] [--fail-on-violation]

flags:
  --lib FILE            Liberty (cell parity via timing_sense + delays) — required
  -o FILE               write the report to FILE (default: stdout)
  --json                machine-readable JSON instead of text
  --fail-on-violation   exit 3 if any hazard is found (CI gate)
  --describe            print a machine-readable JSON description of the command
  -h, --help · -V, --version

Contract

Generated from vyges-glitch --describe.

glitch

static glitch / hazard analysis (reconvergent fanout)

Maturity: structured

check {netlist} --lib {lib}

Artifacts: hazard_report (report_path)

Assertion: glitch-free — passes when glitch_free is true

Provenance limitations

• input_hash covers the argument vector, not the content of the netlist or Liberty it names.
• Liberty include files are not enumerated.