From 5e31574ff07edbfbd379442e9abb97af18dc7a73 Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Thu, 27 Feb 2025 11:09:27 -0800 Subject: [PATCH] Help --- passes/silimate/obs_clean.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/passes/silimate/obs_clean.cc b/passes/silimate/obs_clean.cc index 759e8eaf0..ab5145fa7 100644 --- a/passes/silimate/obs_clean.cc +++ b/passes/silimate/obs_clean.cc @@ -255,10 +255,12 @@ struct ObsClean : public ScriptPass { log("\n"); log(" obs_clean [options] [selection]\n"); log("\n"); - log("This pass performs an obversability-based logic removal.\n"); + log("This pass performs an obversability-based logic removal. It removes cells by default.\n"); log("\n"); log(" -wires\n"); log(" Also removes dangling wires. This option prevents formal verifciation at this time.\n"); + log(" -assigns\n"); + log(" Also removes dangling assigns.\n"); log("\n"); } void execute(std::vector args, RTLIL::Design *design) override