From: Robert Baruch <robert.c.baruch@gmail.com>
Date: Wed, 17 Feb 2021 00:34:09 +0000 (-0800)
Subject: Fixes command line for abc pass in -fast -sop mode
X-Git-Tag: working-ls180~79^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1d79222af48399051b038ca8ec3052977e933d4a;p=yosys.git

Fixes command line for abc pass in -fast -sop mode
---

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index 1169e3da0..d5286f4e9 100644
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -38,7 +38,7 @@
 #define ABC_FAST_COMMAND_LIB "strash; dretime; map {D}"
 #define ABC_FAST_COMMAND_CTR "strash; dretime; map {D}; buffer; upsize {D}; dnsize {D}; stime -p"
 #define ABC_FAST_COMMAND_LUT "strash; dretime; if"
-#define ABC_FAST_COMMAND_SOP "strash; dretime; cover -I {I} -P {P}"
+#define ABC_FAST_COMMAND_SOP "strash; dretime; cover {I} {P}"
 #define ABC_FAST_COMMAND_DFL "strash; dretime; map"
 
 #include "kernel/register.h"