mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity

Add additional help info

Browse source
This commit is contained in:
Miodrag Milanovic 2022-10-31 18:04:34 +01:00
parent 6fb80bce15
commit 59b6ac47c9
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
frontends/verific/verific.cc
View file

@ -2439,6 +2439,8 @@ struct VerificPass : public Pass {
log(" verific {-liberty} <liberty-file>..\n"); log(" verific {-liberty} <liberty-file>..\n");
log("\n"); log("\n");
log("Load the specified Liberty files into Verific.\n"); log("Load the specified Liberty files into Verific.\n");
log("Default library when -work is not present is one specified in liberty file.\n");
log("To use from SystemVerilog or VHDL use -L to specify liberty library.");
log("\n"); log("\n");
log(" -lib\n"); log(" -lib\n");
log(" only create empty blackbox modules\n"); log(" only create empty blackbox modules\n");