From 90cd49995b9bf18c4b6e7e7bbea237617753b29b Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Mon, 13 Apr 2020 16:20:15 -0700 Subject: [PATCH] xaiger: do not treat (* init=1'bx *) as 1'b0 --- backends/aiger/xaiger.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2