Skip to content

Commit 678fb5d

Browse files
committed
new bugs
1 parent b7d560f commit 678fb5d

File tree

2 files changed

+9
-1
lines changed

2 files changed

+9
-1
lines changed

README.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,7 @@ Other suggested names are:
3737
- Scheduling semantics violation
3838
- cxxrtl
3939
- [cxxrtl: -O1 optimisation unbuffers wires too permissively](https://github.com/YosysHQ/yosys/issues/5371)
40+
- [cxxrtl: timing bug in flip-flop evaluation](https://github.com/YosysHQ/yosys/issues/5471)
4041

4142
### Low quality bugs
4243

@@ -48,7 +49,8 @@ Other suggested names are:
4849
- [Simulation error in always @* block ?](https://github.com/steveicarus/iverilog/issues/1254)
4950
This bug is interesting because icarus verilog is the only one of the free simulators to correctly handle this initialisation, but did not want to bother the other repos for the moment (if I am desperate for opening issues then so be it)
5051
- Is it a posedge if there is no transition from 0 to 1 but an intialisation value already at one, same for negedge (cxxrtl does not agree with the other simulators about this)
51-
- Transfuzz bugs not fixed yet
52+
- Previously known
53+
- [The out-of-bounds part-select write behavior is inconsistent with IEEE](https://github.com/verilator/verilator/issues/2984)
5254
- [`opt_muxtree` broken optimisation](https://github.com/YosysHQ/yosys/issues/4151)
5355
- Non exploitable and duplicate
5456
- [yosys-slang: weird assignement to int error](https://github.com/povik/yosys-slang/issues/230)
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
# Already known issues
2+
3+
These issues are kept for internal tracking purposes for time to bug metrics
4+
5+
- [The out-of-bounds part-select write behavior is inconsistent with IEEE](https://github.com/verilator/verilator/issues/2984)
6+

0 commit comments

Comments
 (0)