|
Flops with parametrized ALOAD aren't optimized and synthesis fails
|
|
5
|
63
|
January 6, 2026
|
|
SBY: liveness check (deadlock / livelock)
|
|
2
|
77
|
December 17, 2025
|
|
Sanitizing by default
|
|
0
|
37
|
December 12, 2025
|
|
Internal pins in Liberty files
|
|
1
|
61
|
December 9, 2025
|
|
RTLIL and Verilog producers and consumers expectations for scopename and hdlname
|
|
1
|
73
|
November 29, 2025
|
|
Multithreading and coverage counters: disable coverage by default?
|
|
2
|
52
|
November 26, 2025
|
|
Write_json: buffer output after NOT gate left floating
|
|
1
|
48
|
November 19, 2025
|
|
Yosys Formal : VCD Trace Dump
|
|
3
|
79
|
November 12, 2025
|
|
Handling non-const pointer fields and pointer-like structure fields when making const RTLIL objects thread-safe
|
|
0
|
36
|
November 10, 2025
|
|
Replacing json11?
|
|
1
|
63
|
November 7, 2025
|
|
Educational Uses of Open Source EDA Tools
|
|
2
|
108
|
November 4, 2025
|
|
Adding gmock to test dependencies
|
|
3
|
67
|
November 1, 2025
|
|
Gate Count Instability from Functionally Equivalent RTL
|
|
1
|
53
|
October 30, 2025
|
|
Cleaning up log sinks
|
|
2
|
72
|
October 21, 2025
|
|
Preserving RTL provenance (component context) through Yosys synthesis and AIG mapping
|
|
2
|
78
|
October 10, 2025
|
|
gowin:Mapping DSP cells (MULT36x36, MULT18x18 and MULT9x9) during synthesis
|
|
2
|
69
|
October 7, 2025
|
|
Correct method to ignore assert() statements?
|
|
2
|
98
|
October 6, 2025
|
|
Parallel OptMergePass implementation
|
|
17
|
192
|
October 6, 2025
|
|
Quoted strings in pass arguments
|
|
4
|
94
|
October 6, 2025
|
|
Seq #("xx____x_____________") pkt_err (clk, packet_error);
|
|
1
|
54
|
September 28, 2025
|
|
Announcing the RTLIL MLIR dialect for CIRCT
|
|
1
|
151
|
September 22, 2025
|
|
Cleaning up `log_id()` and `RTLIL::unescape_id()`
|
|
2
|
79
|
September 17, 2025
|
|
Faster RTLIL Parser
|
|
6
|
155
|
September 16, 2025
|
|
Making usage of `RTLIL::IdString` more efficient
|
|
6
|
88
|
September 9, 2025
|
|
Incremental Synthesis in Yosys
|
|
4
|
109
|
September 9, 2025
|
|
Fixing `RTLIL::Const`
|
|
3
|
63
|
September 5, 2025
|
|
PSA: LLVM21 on macOS is failing Yosys builds
|
|
0
|
43
|
September 1, 2025
|
|
SystemVerilog 2012 Parsing for RVFI
|
|
1
|
72
|
August 31, 2025
|
|
Larger N for input but less time used
|
|
4
|
95
|
August 28, 2025
|
|
Compiling cv32e40x with SBY
|
|
4
|
84
|
August 22, 2025
|