CLI Reference

Reference for the Forenyx AI command line tool and its built-in skill commands.

Basic Command Line Usage

forenyx [options] [command]

Common Options

• --version (-v) — print the installed Forenyx AI version.
• --help (-h) — show the command line help.
• --session <id> — resume the given session ID.

---

Built-in Agent Slash Commands

The following shortcuts are available in forenyx interactive mode:

1. /uvm-env-sva

Parses the RTL against the DUT-level SVA invariant list in uvm_testplan.md and generates the SVA checker and bind files.

2. /uvm-testcase-gen-testcase

Generates the specified UVM TC class and virtual sequence from the test point description, inserting balanced pairs of $assertoff / $asserton.

3. /uvm-testcase-auto

Starts the end-to-end automated pipeline, chaining testplan -> sva -> testcase -> VCS compilation and simulation.

4. /uvm-coverage-closure

Analyzes VCS coverage reports and emits a gap analysis report with two human-decision tables (suspected dead code; coverage-model build), appending [coverage-driven] entries to testplan.md.

5. /uvm-env-coverage-add

Adds covergroups to an existing environment from the build list decided in the previous step — editing {IP}_coverage.sv only, verified by a COV=1 compile.

6. /uvm-report-gen

Collects coverage, regression and defect-ledger facts, cross-checks them, and generates the formal Word verification report.

7. /ic-audit-soc-spec

SoC-level spec quality review, emitting three reports covering the IP level, connection level and system level.

For the full list of 28 skills and their input/output contracts, see the Skill overview and Skill dependencies.