RFC: SVA / PSL implementation ideas

widlarizer February 10, 2026, 11:08am 3

Additionally, this is done as part of the OSVISE project, and we’ll be integrating it with MLIR

Topic		Replies	Views
RFC: Announcing the new intermediate representation Property IR for assertions (SVA/PSL) Developers circt	4	278	May 18, 2026
Proving the prover, or "How do we verify we're constructing SVA assertions correctly?" Developers	3	138	May 29, 2026
SystemVerilog Assertions in Yosys Users	1	256	June 9, 2025
Announcing the RTLIL MLIR dialect for CIRCT Developers circt	1	156	September 22, 2025
SRMODE = "CE_OVER_LSR" how to implement in Yosys? Users	17	147	March 5, 2026