From: Robert Ou <rqou@robertou.com>
Date: Tue, 29 Aug 2017 21:56:02 +0000 (-0700)
Subject: coolrunner2: Fix mapping of flip-flops
X-Git-Tag: yosys-0.8~325^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f08be430422c5fffc93cf0315e1894880b32b5b;p=yosys.git

coolrunner2: Fix mapping of flip-flops
---

diff --git a/techlibs/coolrunner2/synth_coolrunner2.cc b/techlibs/coolrunner2/synth_coolrunner2.cc
index ae4b84335..fa7d9ac78 100644
--- a/techlibs/coolrunner2/synth_coolrunner2.cc
+++ b/techlibs/coolrunner2/synth_coolrunner2.cc
@@ -153,7 +153,6 @@ struct SynthCoolrunner2Pass : public ScriptPass
 		{
 			run("abc -sop -I 40 -P 56");
 			run("coolrunner2_sop");
-			run("opt -fast");
 		}
 
 		if (check_label("map_cells"))