mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-24 06:43:41 +00:00
Code Activity

Merge pull request #58 from alaindargelas/obs_clean_help

Browse source 
obs_clean help
This commit is contained in:
alaindargelas 2025-02-27 11:10:05 -08:00 • committed by GitHub
commit 61a6840749
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/silimate/obs_clean.cc
View file

@ -255,10 +255,12 @@ struct ObsClean : public ScriptPass {
log("\n"); log("\n");
log(" obs_clean [options] [selection]\n"); log(" obs_clean [options] [selection]\n");
log("\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("\n");
log(" -wires\n"); log(" -wires\n");
log(" Also removes dangling wires. This option prevents formal verifciation at this time.\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"); log("\n");
} }
void execute(std::vector<std::string> args, RTLIL::Design *design) override void execute(std::vector<std::string> args, RTLIL::Design *design) override