write_xaiger to skip POs driven by 1'bx
authorEddie Hung <eddie@fpgeh.com>
Thu, 20 Jun 2019 17:21:57 +0000 (10:21 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 00:37:54 +0000 (17:37 -0700)
backends/aiger/xaiger.cc

index 1485e2b0c23876f3a1f997e56bc17cea5d487454..12b23cfe9141683a59ed0ea518d9d1cd0af00bcf 100644 (file)
@@ -152,9 +152,13 @@ struct XAigerWriter
                                }
 
                                if (wire->port_output || keep) {
-                                       if (bit != wirebit)
-                                               alias_map[wirebit] = bit;
-                                       output_bits.insert(wirebit);
+                                       if (bit != RTLIL::Sx) {
+                                               if (bit != wirebit)
+                                                       alias_map[wirebit] = bit;
+                                               output_bits.insert(wirebit);
+                                       }
+                                       else
+                                               log_debug("Skipping PO '%s' driven by 1'bx\n", log_signal(wirebit));
                                }
                        }
                }