3 Commits

Author	SHA1	Message	Date
Yilou Wang	935b2564eb	Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)	2026-04-20 07:43:18 +02:00
Veripool API Bot	ce4d35aa85	Verilog format	2026-03-03 07:21:24 -05:00
Ryszard Rozak	bac98df46b	Support named properties (#3667)	2022-11-01 18:53:47 -04:00