From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 2 Jan 2020 20:44:06 +0000 (-0800)
Subject: Merge remote-tracking branch 'origin/master' into xaig_dff
X-Git-Tag: working-ls180~881^2^2~18
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b454735bea6727f346fdbbc28f261b40d91c61ba;p=yosys.git

Merge remote-tracking branch 'origin/master' into xaig_dff
---

b454735bea6727f346fdbbc28f261b40d91c61ba
diff --cc techlibs/xilinx/synth_xilinx.cc
index af9f21756,b0c4795ee..e2a625f9b
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@@ -107,11 -107,8 +107,11 @@@ struct SynthXilinxPass : public ScriptP
  		log("    -flatten\n");
  		log("        flatten design before synthesis\n");
  		log("\n");
 +		log("    -dff\n");
 +		log("        run 'abc9' with -dff option\n");
 +		log("\n");
  		log("    -retime\n");
- 		log("        run 'abc' with -dff option\n");
+ 		log("        run 'abc' with '-dff -D 1' options\n");
  		log("\n");
  		log("    -abc9\n");
  		log("        use new ABC9 flow (EXPERIMENTAL)\n");