mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-01 19:26:55 +00:00
Code Activity

Suggest use of YW when possible

Browse source
This commit is contained in:
Gus Smith 2026-02-20 09:33:51 -08:00
parent fb653c4181
commit cdc728b6f0
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
passes/sat/sim.cc
View file

@ -2624,6 +2624,7 @@ struct SimPass : public Pass {
log(" -r <filename>\n");
log(" read simulation or formal results file\n");
log(" File formats supported: FST, VCD, AIW, WIT and .yw\n");
log(" Yosys witness (.yw) replay is preferred when possible.\n");
log(" VCD support requires vcd2fst external tool to be present\n");
log("\n");
log(" -width <integer>\n");