Samit Shahnawaz Miftah

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Ultrasonic Images

Spectrum Analysis

Bug Localization

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Kanad Basu
Assert-O: Context-based Assertion Optimization using LLMs. ACM Great Lakes Symposium on VLSI (2024)
Samit Shahnawaz Miftah, Shamik Kundu, Austin Mordahl, Shiyi Wei, Kanad Basu
RTL-Spec: RTL Spectrum Analysis for Security Bug Localization. HOST (2024)