From afa1c89f27e2c3f2b83f784e5bb98a9d85ae1c42 Mon Sep 17 00:00:00 2001 From: Noam Cohen Date: Sun, 26 Jul 2026 10:44:51 +0200 Subject: [PATCH] docs: document LEC and SEC verification options --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 6b8c49e3..b26dd730 100644 --- a/README.md +++ b/README.md @@ -156,6 +156,7 @@ build/src/bin/kepler-formal -sv -v sec \ | --- | --- | | `--help`, `-h` | Print usage. | | `--config `, `-c ` | Load a YAML config. If present, the YAML file takes precedence over the rest of the CLI. | +| `--verification `, `-v ` | Select combinational LEC or sequential SEC. Defaults to `lec`. | | `-verilog` | Parse both designs as Verilog. | | `-naja_if` | Parse both designs as Naja IF. | | `-systemverilog`, `-sv` | Parse both designs as SystemVerilog. Requires SEC. | @@ -176,6 +177,7 @@ build/src/bin/kepler-formal --config | Key | Type | Meaning | | --- | --- | --- | | `format` | string | `verilog`, `v`, `naja_if`, `systemverilog`, `sv`, or `sv2v`. Defaults to `verilog` if omitted. | +| `verification` | string | `lec` or `sec`. Defaults to `lec`. | | `input_paths` | list | Required. Either `[design0, design1]` or `[[design0_file...], [design1_file...]]`. The nested form is for multi-file Verilog. | | `liberty_files` | list[string] | Liberty libraries loaded through `SNLLibertyConstructor`. | | `py_tech_files` | list[string] | Python primitive loaders loaded through `SNLPyLoader`. |