diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-13 16:20:15 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-14 10:33:56 -0700 |
| commit | 90cd49995b9bf18c4b6e7e7bbea237617753b29b (patch) | |
| tree | 700f53976511842c724b2cb0cb13f0bb79968659 /backends/aiger | |
| parent | 6b3aa91a2a1f717ebf4ce7155b134e9d556ac1ab (diff) | |
| download | yosys-90cd49995b9bf18c4b6e7e7bbea237617753b29b.tar.gz yosys-90cd49995b9bf18c4b6e7e7bbea237617753b29b.tar.bz2 yosys-90cd49995b9bf18c4b6e7e7bbea237617753b29b.zip | |
xaiger: do not treat (* init=1'bx *) as 1'b0
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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 |