arxiv:2609.26751
Aditi
aditigupta
AI & ML interests
None yet
Recent Activity
authored a paper about 2 months ago
EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations authored a paper about 2 months ago
Robustness of LLM-Generated SystemVerilog Assertions to Semantics-Preserving RTL Transformations updated a dataset about 2 months ago
aditigupta/EquivSVAOrganizations
None yet
