From: Miodrag Milanovic Date: Wed, 16 Mar 2022 06:55:57 +0000 (+0100) Subject: Update sim help message. X-Git-Tag: yosys-0.16~40 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e217e3017af101bfe43d44c2e3afda3d5c2e0832;p=yosys.git Update sim help message. --- diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index c46c1509a..5e15faec0 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -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 \n"); log(" read file with port and latch symbols, needed for AIGER witness input\n");