|
CXXRTL virtual interfaces
|
|
0
|
38
|
March 2, 2026
|
|
What is the best way to drive Yosys CLI (to use CXXRTL) from Rust?
|
|
4
|
130
|
March 1, 2026
|
|
Src attribute preservation
|
|
1
|
98
|
February 26, 2026
|
|
Default branch changes for nextpnr, icestorm, prjtrellis and prjoxide
|
|
0
|
59
|
February 26, 2026
|
|
Big ideas for the future of Yosys
|
|
0
|
126
|
February 20, 2026
|
|
RFC: SVA / PSL implementation ideas
|
|
3
|
127
|
February 10, 2026
|
|
Async2sync and write_aiger -vmap
|
|
2
|
104
|
February 9, 2026
|
|
[Proposal] Automatic test for Yosys cell libraries?
|
|
2
|
108
|
January 26, 2026
|
|
How do you lint your Yosys Verilog projects?
|
|
4
|
172
|
January 26, 2026
|
|
Setundef doesn't respect selection
|
|
1
|
66
|
January 21, 2026
|
|
RFC: Upstreaming a small set of Verific frontend options from silimate fork
|
|
4
|
160
|
January 20, 2026
|
|
Stopping to prevent exponential design size explosion
|
|
2
|
131
|
January 16, 2026
|
|
Flops with parametrized ALOAD aren't optimized and synthesis fails
|
|
5
|
154
|
January 6, 2026
|
|
SBY: liveness check (deadlock / livelock)
|
|
2
|
101
|
December 17, 2025
|
|
Sanitizing by default
|
|
0
|
68
|
December 12, 2025
|
|
Internal pins in Liberty files
|
|
1
|
126
|
December 9, 2025
|
|
RTLIL and Verilog producers and consumers expectations for scopename and hdlname
|
|
1
|
116
|
November 29, 2025
|
|
Multithreading and coverage counters: disable coverage by default?
|
|
2
|
96
|
November 26, 2025
|
|
Write_json: buffer output after NOT gate left floating
|
|
1
|
76
|
November 19, 2025
|
|
Yosys Formal : VCD Trace Dump
|
|
3
|
129
|
November 12, 2025
|
|
Handling non-const pointer fields and pointer-like structure fields when making const RTLIL objects thread-safe
|
|
0
|
59
|
November 10, 2025
|
|
Replacing json11?
|
|
1
|
113
|
November 7, 2025
|
|
Educational Uses of Open Source EDA Tools
|
|
2
|
181
|
November 4, 2025
|
|
Adding gmock to test dependencies
|
|
3
|
103
|
November 1, 2025
|
|
Gate Count Instability from Functionally Equivalent RTL
|
|
1
|
75
|
October 30, 2025
|
|
Cleaning up log sinks
|
|
2
|
83
|
October 21, 2025
|
|
Preserving RTL provenance (component context) through Yosys synthesis and AIG mapping
|
|
2
|
104
|
October 10, 2025
|
|
gowin:Mapping DSP cells (MULT36x36, MULT18x18 and MULT9x9) during synthesis
|
|
2
|
156
|
October 7, 2025
|
|
Correct method to ignore assert() statements?
|
|
2
|
138
|
October 6, 2025
|
|
Parallel OptMergePass implementation
|
|
17
|
335
|
October 6, 2025
|