path: root/kernel
diff options
authorClifford Wolf <>2014-09-14 16:09:06 +0200
committerClifford Wolf <>2014-09-14 16:09:06 +0200
commit7815f81c320a025c5b92677e375c12951dcbd14b (patch)
treef5a09485b53fd3c5f6c0b54e2d1e0bb15dbe6301 /kernel
parent7e156a541909ec857fbaa4a08940d0aaf0d27d4b (diff)
Added "synth" command
Diffstat (limited to 'kernel')
1 files changed, 4 insertions, 10 deletions
diff --git a/kernel/ b/kernel/
index e778e138..f26d9ef8 100644
--- a/kernel/
+++ b/kernel/
@@ -76,13 +76,7 @@ int main(int argc, char **argv)
printf("%s\n", yosys_version_str);
case 'S':
- passes_commands.push_back("hierarchy");
- passes_commands.push_back("proc");
- passes_commands.push_back("opt");
- passes_commands.push_back("memory");
- passes_commands.push_back("opt");
- passes_commands.push_back("techmap");
- passes_commands.push_back("opt");
+ passes_commands.push_back("synth");
case 'm':
@@ -187,10 +181,10 @@ int main(int argc, char **argv)
fprintf(stderr, " -V\n");
fprintf(stderr, " print version information and exit\n");
fprintf(stderr, "\n");
- fprintf(stderr, "The option -S is an alias for the following options that perform a simple\n");
- fprintf(stderr, "transformation of the input to a gate-level netlist.\n");
+ fprintf(stderr, "The option -S is an shortcut for calling the \"synth\" command, a default\n");
+ fprintf(stderr, "script for transforming the verilog input to a gate-level netlist. For example:\n");
fprintf(stderr, "\n");
- fprintf(stderr, " -p hierarchy -p proc -p opt -p memory -p opt -p techmap -p opt\n");
+ fprintf(stderr, " yosys -o output.blif -S input.v\n");
fprintf(stderr, "\n");
fprintf(stderr, "For more complex synthesis jobs it is recommended to use the read_* and write_*\n");
fprintf(stderr, "commands in a script file instead of specifying input and output files on the\n");