mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Update sim help message.

Browse source
This commit is contained in:
Miodrag Milanovic 2022-03-16 07:55:57 +01:00
parent 66914b6eb3
commit e217e3017a
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
passes/sat/sim.cc
View file

@ -1811,7 +1811,8 @@ struct SimPass : public Pass {
log(" writeback mode: use final simulation state as new init state\n");
log("\n");
log(" -r\n");
log(" read simulation results file (file formats supported: FST)\n");
log(" read simulation results file (file formats supported: FST, VCD, AIW and WIT)\n");
log(" VCD support requires vcd2fst external tool to be present\n");
log("\n");
log(" -map <filename>\n");
log(" read file with port and latch symbols, needed for AIGER witness input\n");