mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 01:25:33 +00:00
Code Activity

Safe side: all flops have different mergeability class

Browse source
This commit is contained in:
Eddie Hung 2019-07-02 12:21:03 -07:00
parent a31e17182d
commit 69f4c039ce
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
backends/aiger/xaiger.cc
View file

@ -843,7 +843,7 @@ struct XAigerWriter
write_r_buffer(ff_bits.size());
int mergeability_class = 1;
for (auto cell : ff_bits)
write_r_buffer(mergeability_class);
write_r_buffer(mergeability_class++);
f << "r";
buffer_str = r_buffer.str();