|
RFC: Announcing the new intermediate representation Property IR for assertions (SVA/PSL)
|
|
0
|
15
|
April 30, 2026
|
|
New PR with up to 2.57x performance improvements
|
|
3
|
65
|
April 27, 2026
|
|
Upcoming ABC flow changes
|
|
3
|
86
|
April 21, 2026
|
|
timing closure degraded
|
|
5
|
61
|
April 19, 2026
|
|
Verification of designs involving multiple clocks
|
|
2
|
26
|
April 8, 2026
|
|
Non-determinism with OpenROAD
|
|
6
|
89
|
March 27, 2026
|
|
Yosys 0.61+21 up5k 48mhz internal clock won't build (no PLL)
|
|
2
|
32
|
March 16, 2026
|
|
Getting 49.15 MHz clock from 3.072 MHz external clock
|
|
1
|
30
|
March 9, 2026
|
|
SRMODE = "CE_OVER_LSR" how to implement in Yosys?
|
|
17
|
61
|
March 5, 2026
|
|
CXXRTL virtual interfaces
|
|
0
|
20
|
March 2, 2026
|
|
What is the best way to drive Yosys CLI (to use CXXRTL) from Rust?
|
|
4
|
41
|
March 1, 2026
|
|
Src attribute preservation
|
|
1
|
24
|
February 26, 2026
|
|
Default branch changes for nextpnr, icestorm, prjtrellis and prjoxide
|
|
0
|
18
|
February 26, 2026
|
|
Big ideas for the future of Yosys
|
|
0
|
77
|
February 20, 2026
|
|
RFC: SVA / PSL implementation ideas
|
|
3
|
80
|
February 10, 2026
|
|
Consistent source location transfer with Patch
|
|
1
|
39
|
February 9, 2026
|
|
Async2sync and write_aiger -vmap
|
|
2
|
31
|
February 9, 2026
|
|
[Proposal] Automatic test for Yosys cell libraries?
|
|
2
|
51
|
January 26, 2026
|
|
How do you lint your Yosys Verilog projects?
|
|
4
|
40
|
January 26, 2026
|
|
Setundef doesn't respect selection
|
|
1
|
16
|
January 21, 2026
|
|
RFC: Upstreaming a small set of Verific frontend options from silimate fork
|
|
4
|
70
|
January 20, 2026
|
|
Stopping to prevent exponential design size explosion
|
|
2
|
70
|
January 16, 2026
|
|
Flops with parametrized ALOAD aren't optimized and synthesis fails
|
|
5
|
40
|
January 6, 2026
|
|
SBY: liveness check (deadlock / livelock)
|
|
2
|
63
|
December 17, 2025
|
|
Sanitizing by default
|
|
0
|
21
|
December 12, 2025
|
|
Internal pins in Liberty files
|
|
1
|
41
|
December 9, 2025
|
|
RTLIL and Verilog producers and consumers expectations for scopename and hdlname
|
|
1
|
50
|
November 29, 2025
|
|
Multithreading and coverage counters: disable coverage by default?
|
|
2
|
36
|
November 26, 2025
|
|
SDC support roadmap
|
|
3
|
160
|
November 20, 2025
|
|
Write_json: buffer output after NOT gate left floating
|
|
1
|
36
|
November 19, 2025
|