From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 13 Apr 2020 23:20:15 +0000 (-0700)
Subject: xaiger: do not treat (* init=1'bx *) as 1'b0
X-Git-Tag: working-ls180~549^2~63
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=90cd49995b9bf18c4b6e7e7bbea237617753b29b;p=yosys.git

xaiger: do not treat (* init=1'bx *) as 1'b0
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 5d15df310..1006d56c6 100644
--- 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