vyges-lec — CLI reference

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

vyges-lec — combinational logic equivalence check (golden vs revised)

usage:
  vyges-lec check GOLDEN.v REVISED.v --lib L.lib [-o OUT] [--json] [--fail-on-diff]

flags:
  --lib FILE       Liberty (pin directions + comb/seq split) — required
  -o FILE          write the report to FILE (default: stdout)
  --json           machine-readable JSON instead of text
  --fail-on-diff   exit 3 if the designs are not equivalent (CI gate)
  --describe            print a machine-readable JSON description of the command
  -h, --help · -V, --version

Contract

Generated from vyges-lec --describe.

lec

combinational logic equivalence check (golden vs revised)

Maturity: structured

check {golden} {revised} --lib {lib}

Artifacts: equivalence_report (report_path)

Assertion: logic-equivalent — passes when equivalent is true

Provenance limitations

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