arXiv cs.LG
EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations
EquivSVA: 동등한 RTL 구현 간 행동 검증이 완료된 데이터셋
No write-up yet — this entry is still just the auto-fetched hook. Aaron's own summary (200–500 words) will replace this note once he's written it.