From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 2 Jan 2020 23:14:12 +0000 (-0800)
Subject: Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
X-Git-Tag: working-ls180~849^2~79
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5f970863023881caaa3a64120a0f767386d35d62;p=yosys.git

Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
---

5f970863023881caaa3a64120a0f767386d35d62
diff --cc techlibs/xilinx/synth_xilinx.cc
index f2a9ae982,b0c4795ee..2f4c503f2
--- 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");