projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6b3aa91)
xaiger: do not treat (* init=1'bx *) as 1'b0
authorEddie Hung <eddie@fpgeh.com>
Mon, 13 Apr 2020 23:20:15 +0000 (16:20 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
backends/aiger/xaiger.cc patch | blob | history

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 5d15df310ff5362374357ab2fc6654b09fe960b0..1006d56c6a84aa39b22fb1dac03d7429ff2a5f8d 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -652,7 +652,7 @@ struct XAigerWriter
                                        write_s_buffer(0);
                                else {
                                        log_assert(init == State::Sx);
-                                       write_s_buffer(0);
+                                       write_s_buffer(2);
                                }
 
                                // Use arrival time from output of flop box