luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 06:07:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Eddie Hung
2020-05-14 10:33:56 -07:00
parent 6b3aa91a2a
commit 90cd49995b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
backends/aiger/xaiger.cc
+1 -1
View File
@@ -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