Aditi

aditigupta

AI & ML interests

None yet

Recent Activity

authored a paper about 3 hours ago

EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations

authored a paper about 3 hours ago

Robustness of LLM-Generated SystemVerilog Assertions to Semantics-Preserving RTL Transformations

updated a dataset about 18 hours ago

aditigupta/EquivSVA

View all activity

Organizations

None yet

aditigupta 's datasets 1

aditigupta/EquivSVA

Viewer • Updated about 18 hours ago • 480 • 22