Get started
Author

Fnu Aditi

Observed names: Aditi, FNU, FNU Aditi
Observed institution: Virginia Tech
OpenAlex ID: A5009577705
Hybrid Rule-based and Machine Learning System for Assertion Generation from Natural Language Specifications
2022 · Fnu Aditi, Michael S. Hsiao · Proceedings - Asian Test Symposium/Proceedings · 14
Validatable Generation of System Verilog Assertions from Natural Language Specifications
2023 · FNU Aditi, Michael S. Hsiao · International Conference on Transdisciplinary AI (TransAI) · 4
EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations
2026 · Aditi, FNU · arXiv (Cornell University)
PDF
Robustness of LLM-Generated SystemVerilog Assertions to Semantics-Preserving RTL Transformations
2026 · Aditi, FNU · arXiv (Cornell University)
PDF
Works count: 5
Citation count: 18
H-index: 2
I10-index: 1
Year
Topic
Type