|
About the Developers category
|
|
0
|
49
|
March 20, 2025
|
|
Your CMake workflows
|
|
1
|
46
|
July 23, 2026
|
|
Adding support for LATCH mapping to `dfflibmap`
|
|
1
|
30
|
June 22, 2026
|
|
Consistent source location transfer with Patch
|
|
3
|
140
|
June 11, 2026
|
|
Fixing `IdString` refcounting
|
|
11
|
176
|
June 11, 2026
|
|
An update on C++-ification of logging APIs
|
|
5
|
117
|
June 9, 2026
|
|
Poll: LLMs - quality, morality, opportunity, policy
|
|
2
|
172
|
May 29, 2026
|
|
Proving the prover, or "How do we verify we're constructing SVA assertions correctly?"
|
|
3
|
195
|
May 29, 2026
|
|
RFC: Announcing the new intermediate representation Property IR for assertions (SVA/PSL)
|
|
4
|
326
|
May 18, 2026
|
|
Itp engine: fixpoint convergence and skip parameter
|
|
0
|
71
|
May 15, 2026
|
|
SDC support roadmap
|
|
4
|
262
|
May 7, 2026
|
|
New PR with up to 2.57x performance improvements
|
|
3
|
148
|
April 27, 2026
|
|
Upcoming ABC flow changes
|
|
3
|
197
|
April 21, 2026
|
|
Non-determinism with OpenROAD
|
|
6
|
186
|
March 27, 2026
|
|
Src attribute preservation
|
|
1
|
75
|
February 26, 2026
|
|
Default branch changes for nextpnr, icestorm, prjtrellis and prjoxide
|
|
0
|
53
|
February 26, 2026
|
|
Big ideas for the future of Yosys
|
|
0
|
110
|
February 20, 2026
|
|
RFC: SVA / PSL implementation ideas
|
|
3
|
120
|
February 10, 2026
|
|
[Proposal] Automatic test for Yosys cell libraries?
|
|
2
|
99
|
January 26, 2026
|
|
RFC: Upstreaming a small set of Verific frontend options from silimate fork
|
|
4
|
140
|
January 20, 2026
|
|
Flops with parametrized ALOAD aren't optimized and synthesis fails
|
|
5
|
110
|
January 6, 2026
|
|
Sanitizing by default
|
|
0
|
60
|
December 12, 2025
|
|
RTLIL and Verilog producers and consumers expectations for scopename and hdlname
|
|
1
|
107
|
November 29, 2025
|
|
Multithreading and coverage counters: disable coverage by default?
|
|
2
|
81
|
November 26, 2025
|
|
Handling non-const pointer fields and pointer-like structure fields when making const RTLIL objects thread-safe
|
|
0
|
57
|
November 10, 2025
|
|
Replacing json11?
|
|
1
|
89
|
November 7, 2025
|
|
Adding gmock to test dependencies
|
|
3
|
95
|
November 1, 2025
|
|
Cleaning up log sinks
|
|
2
|
79
|
October 21, 2025
|
|
gowin:Mapping DSP cells (MULT36x36, MULT18x18 and MULT9x9) during synthesis
|
|
2
|
110
|
October 7, 2025
|
|
Parallel OptMergePass implementation
|
|
17
|
260
|
October 6, 2025
|