|
About the Developers category
|
|
0
|
48
|
March 20, 2025
|
|
Adding support for LATCH mapping to `dfflibmap`
|
|
1
|
25
|
June 22, 2026
|
|
Consistent source location transfer with Patch
|
|
3
|
127
|
June 11, 2026
|
|
Fixing `IdString` refcounting
|
|
11
|
172
|
June 11, 2026
|
|
An update on C++-ification of logging APIs
|
|
5
|
115
|
June 9, 2026
|
|
Poll: LLMs - quality, morality, opportunity, policy
|
|
2
|
124
|
May 29, 2026
|
|
Proving the prover, or "How do we verify we're constructing SVA assertions correctly?"
|
|
3
|
173
|
May 29, 2026
|
|
RFC: Announcing the new intermediate representation Property IR for assertions (SVA/PSL)
|
|
4
|
311
|
May 18, 2026
|
|
Itp engine: fixpoint convergence and skip parameter
|
|
0
|
68
|
May 15, 2026
|
|
SDC support roadmap
|
|
4
|
245
|
May 7, 2026
|
|
New PR with up to 2.57x performance improvements
|
|
3
|
144
|
April 27, 2026
|
|
Upcoming ABC flow changes
|
|
3
|
171
|
April 21, 2026
|
|
Non-determinism with OpenROAD
|
|
6
|
178
|
March 27, 2026
|
|
Src attribute preservation
|
|
1
|
74
|
February 26, 2026
|
|
Default branch changes for nextpnr, icestorm, prjtrellis and prjoxide
|
|
0
|
50
|
February 26, 2026
|
|
Big ideas for the future of Yosys
|
|
0
|
104
|
February 20, 2026
|
|
RFC: SVA / PSL implementation ideas
|
|
3
|
119
|
February 10, 2026
|
|
[Proposal] Automatic test for Yosys cell libraries?
|
|
2
|
98
|
January 26, 2026
|
|
RFC: Upstreaming a small set of Verific frontend options from silimate fork
|
|
4
|
133
|
January 20, 2026
|
|
Flops with parametrized ALOAD aren't optimized and synthesis fails
|
|
5
|
101
|
January 6, 2026
|
|
Sanitizing by default
|
|
0
|
56
|
December 12, 2025
|
|
RTLIL and Verilog producers and consumers expectations for scopename and hdlname
|
|
1
|
104
|
November 29, 2025
|
|
Multithreading and coverage counters: disable coverage by default?
|
|
2
|
77
|
November 26, 2025
|
|
Handling non-const pointer fields and pointer-like structure fields when making const RTLIL objects thread-safe
|
|
0
|
56
|
November 10, 2025
|
|
Replacing json11?
|
|
1
|
88
|
November 7, 2025
|
|
Adding gmock to test dependencies
|
|
3
|
91
|
November 1, 2025
|
|
Cleaning up log sinks
|
|
2
|
77
|
October 21, 2025
|
|
gowin:Mapping DSP cells (MULT36x36, MULT18x18 and MULT9x9) during synthesis
|
|
2
|
100
|
October 7, 2025
|
|
Parallel OptMergePass implementation
|
|
17
|
249
|
October 6, 2025
|
|
Quoted strings in pass arguments
|
|
4
|
114
|
October 6, 2025
|