Scholar
Satwik Patnaik
Google Scholar ID: W6IEe98AAAAJ
Assistant Professor, Electrical and Computer Engineering, University of Delaware
Hardware Security
Computer Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,520
H-index
25
i10-index
39
Publications
20
Co-authors
25
list available
Publications
1 items
STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
2025
Cited
0
Co-authors
15 total
Ozgur Sinanoglu
Professor of Electrical and Computer Engineering, New York University Abu Dhabi
Johann Knechtel
New York University Abu Dhabi
Muhammad Shafique
Professor, ECE, New York University (AD-UAE, Tandon-USA), Director eBRAIN Lab
Jeyavijayan (JV) Rajendran
Associate Professor of Electrical and Computer Engineering, Texas A&M University
Vasudev Gohil
Siemens EDA
Mohammed Nabeel Thari Moopan
Research Engineer, DFX lab, NYUAD
Baker Mohammad
Computer and Information Engineering, Khalifa University
Haocheng Li
The Chinese University of Hong Kong
