Replace with <internal options>

This commit is contained in:
Eddie Hung 2019-06-26 17:42:50 -07:00
parent cae69a3edd
commit 2b104ed6c8
1 changed files with 2 additions and 2 deletions

View File

@ -277,8 +277,8 @@ struct SynthXilinxPass : public ScriptPass
run("dffsr2dff");
run("dff2dffe");
if (help_mode) {
run("simplemap t:$mux", " ('-widemux' only)");
run("muxcover -dmux=0 -mux8=<cost> -mux16=<cost>, ('-widemux' only)");
run("simplemap t:$mux", " ('-widemux' only)");
run("muxcover <internal options>, ('-widemux' only)");
}
else if (widemux > 0) {
std::string muxcover_args = " -dmux=0";