abc9: cleanup

diff --git a/passes/techmap/abc9_exe.cc b/passes/techmap/abc9_exe.cc
index d3db0065c2c58d58eb819db79a83cd9ebc0df4c1..898285c69f09d2f572c96001ef30294fd797be99 100644 (file)
--- a/passes/techmap/abc9_exe.cc
+++ b/passes/techmap/abc9_exe.cc
@@ -362,7 +362,7 @@ struct Abc9ExePass : public Pass {
        }
        void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
        {
-               log_header(design, "Executing ABC9_MAP pass (technology mapping using ABC9).\n");
+               log_header(design, "Executing ABC9_EXE pass (technology mapping using ABC9).\n");
 
 #ifdef ABCEXTERNAL
                std::string exe_file = ABCEXTERNAL;

diff --git a/techlibs/xilinx/abc9_map.v b/techlibs/xilinx/abc9_map.v
index 7dc027176e40a728ddf0a8495c90985472ff6f97..539fa45475c5964f78b6a4e780ec926f46bf852a 100644 (file)
--- a/techlibs/xilinx/abc9_map.v
+++ b/techlibs/xilinx/abc9_map.v
@@ -215,11 +215,11 @@ module FDCE (output Q, (* techmap_autopurge *) input C, CE, D, CLR);
       .IS_PRE_INVERTED(IS_CLR_INVERTED)
     ) _TECHMAP_REPLACE_ (
       .D(~D), .Q($Q), .C(C), .CE(CE), .PRE(CLR)
-                                            // ^^^ Note that async
-                                            //     control is not directly
-                                            //     supported by abc9 but its
-                                            //     behaviour is captured by
-                                            //     $__ABC9_ASYNC1 below
+                                        // ^^^ Note that async
+                                        //     control is not directly
+                                        //     supported by abc9 but its
+                                        //     behaviour is captured by
+                                        //     $__ABC9_ASYNC1 below
     );
     // Since this is an async flop, async behaviour is dealt with here
     $__ABC9_ASYNC1 abc_async (.A($QQ), .S(CLR ^ IS_CLR_INVERTED), .Y(QQ));
@@ -233,11 +233,11 @@ module FDCE (output Q, (* techmap_autopurge *) input C, CE, D, CLR);
       .IS_CLR_INVERTED(IS_CLR_INVERTED)
     ) _TECHMAP_REPLACE_ (
       .D(D), .Q($Q), .C(C), .CE(CE), .CLR(CLR)
-                                           // ^^^ Note that async
-                                           //     control is not directly
-                                           //     supported by abc9 but its
-                                           //     behaviour is captured by
-                                           //     $__ABC9_ASYNC0 below
+                                       // ^^^ Note that async
+                                       //     control is not directly
+                                       //     supported by abc9 but its
+                                       //     behaviour is captured by
+                                       //     $__ABC9_ASYNC0 below
     );
     // Since this is an async flop, async behaviour is dealt with here
     $__ABC9_ASYNC0 abc_async (.A($QQ), .S(CLR ^ IS_CLR_INVERTED), .Y(QQ));
@@ -258,11 +258,11 @@ module FDCE_1 (output Q, (* techmap_autopurge *) input C, CE, D, CLR);
       .INIT(1'b0)
     ) _TECHMAP_REPLACE_ (
       .D(~D), .Q($Q), .C(C), .CE(CE), .PRE(CLR)
-                                            // ^^^ Note that async
-                                            //     control is not directly
-                                            //     supported by abc9 but its
-                                            //     behaviour is captured by
-                                            //     $__ABC9_ASYNC1 below
+                                        // ^^^ Note that async
+                                        //     control is not directly
+                                        //     supported by abc9 but its
+                                        //     behaviour is captured by
+                                        //     $__ABC9_ASYNC1 below
     );
     $__ABC9_ASYNC1 abc_async (.A($QQ), .S(CLR), .Y(QQ));
   end
@@ -272,11 +272,11 @@ module FDCE_1 (output Q, (* techmap_autopurge *) input C, CE, D, CLR);
       .INIT(1'b0)
     ) _TECHMAP_REPLACE_ (
       .D(D), .Q($Q), .C(C), .CE(CE), .CLR(CLR)
-                                           // ^^^ Note that async
-                                           //     control is not directly
-                                           //     supported by abc9 but its
-                                           //     behaviour is captured by
-                                           //     $__ABC9_ASYNC0 below
+                                       // ^^^ Note that async
+                                       //     control is not directly
+                                       //     supported by abc9 but its
+                                       //     behaviour is captured by
+                                       //     $__ABC9_ASYNC0 below
     );
     $__ABC9_ASYNC0 abc_async (.A($QQ), .S(CLR), .Y(QQ));
   end endgenerate
@@ -303,11 +303,11 @@ module FDPE (output Q, (* techmap_autopurge *) input C, CE, D, PRE);
       .IS_CLR_INVERTED(IS_PRE_INVERTED),
     ) _TECHMAP_REPLACE_ (
       .D(~D), .Q($Q), .C(C), .CE(CE), .CLR(PRE)
-                                            // ^^^ Note that async
-                                            //     control is not directly
-                                            //     supported by abc9 but its
-                                            //     behaviour is captured by
-                                            //     $__ABC9_ASYNC0 below
+                                        // ^^^ Note that async
+                                        //     control is not directly
+                                        //     supported by abc9 but its
+                                        //     behaviour is captured by
+                                        //     $__ABC9_ASYNC0 below
     );
     $__ABC9_ASYNC0 abc_async (.A($QQ), .S(PRE ^ IS_PRE_INVERTED), .Y(QQ));
   end
@@ -320,11 +320,11 @@ module FDPE (output Q, (* techmap_autopurge *) input C, CE, D, PRE);
       .IS_PRE_INVERTED(IS_PRE_INVERTED),
     ) _TECHMAP_REPLACE_ (
       .D(D), .Q($Q), .C(C), .CE(CE), .PRE(PRE)
-                                           // ^^^ Note that async
-                                           //     control is not directly
-                                           //     supported by abc9 but its
-                                           //     behaviour is captured by
-                                           //     $__ABC9_ASYNC1 below
+                                       // ^^^ Note that async
+                                       //     control is not directly
+                                       //     supported by abc9 but its
+                                       //     behaviour is captured by
+                                       //     $__ABC9_ASYNC1 below
     );
     $__ABC9_ASYNC1 abc_async (.A($QQ), .S(PRE ^ IS_PRE_INVERTED), .Y(QQ));
   end endgenerate
@@ -344,11 +344,11 @@ module FDPE_1 (output Q, (* techmap_autopurge *) input C, CE, D, PRE);
       .INIT(1'b0)
     ) _TECHMAP_REPLACE_ (
       .D(~D), .Q($Q), .C(C), .CE(CE), .CLR(PRE)
-                                            // ^^^ Note that async
-                                            //     control is not directly
-                                            //     supported by abc9 but its
-                                            //     behaviour is captured by
-                                            //     $__ABC9_ASYNC0 below
+                                        // ^^^ Note that async
+                                        //     control is not directly
+                                        //     supported by abc9 but its
+                                        //     behaviour is captured by
+                                        //     $__ABC9_ASYNC0 below
     );
     $__ABC9_ASYNC0 abc_async (.A($QQ), .S(PRE), .Y(QQ));
   end
@@ -358,11 +358,11 @@ module FDPE_1 (output Q, (* techmap_autopurge *) input C, CE, D, PRE);
       .INIT(1'b0)
     ) _TECHMAP_REPLACE_ (
       .D(D), .Q($Q), .C(C), .CE(CE), .PRE(PRE)
-                                           // ^^^ Note that async
-                                           //     control is not directly
-                                           //     supported by abc9 but its
-                                           //     behaviour is captured by
-                                           //     $__ABC9_ASYNC1 below
+                                       // ^^^ Note that async
+                                       //     control is not directly
+                                       //     supported by abc9 but its
+                                       //     behaviour is captured by
+                                       //     $__ABC9_ASYNC1 below
     );
     $__ABC9_ASYNC1 abc_async (.A($QQ), .S(PRE), .Y(QQ));
   end endgenerate