riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

slice bug corrected

This commit is contained in:
Ahmed Irfan 2014-01-20 18:35:52 +01:00
parent c347f2825f
commit aa3cb20e1e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/btor/btor.cc
View File

@ -275,7 +275,7 @@ struct BtorDumper
assert(wire_line_num>0); assert(wire_line_num>0);
++line_num; ++line_num;
str = stringf("%d slice %d %d %d %d;2", line_num, chunk->width, wire_line_num, str = stringf("%d slice %d %d %d %d;2", line_num, chunk->width, wire_line_num,
chunk->wire->width - chunk->offset - 1, chunk->wire->width - chunk->offset - chunk->width); chunk->width + chunk->offset - 1, chunk->offset);
fprintf(f, "%s\n", str.c_str()); fprintf(f, "%s\n", str.c_str());
l = line_num; l = line_num;
} }