@misc{indiciaec76d78c10a7f,
  title = {EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations},
  author = {FNU Aditi},
  year = {2026},
  url = {https://arxiv.org/abs/2609.26751},
  note = {Source identifier: 2609.26751}
}