1 citations · 1 across the 3 of their papers we have counts for
3 papers
GRADE-RTL: Evaluating LLM-Generated RTL Beyond Compilation
Hepziba Susan, Shivaranjani G. R., Malik Imran +3
Large language models (LLMs) can generate register-transfer-level (RTL) code from natural-language specifications, but compilation alone does not establish structural completeness,…
An Overview of FPGA-inspired Obfuscation Techniques
Zain Ul Abideen, Sumathi Gokulanathan, Muayad J. Aljafar +1
Building and maintaining a silicon foundry is a costly endeavor that requires substantial financial investment. From this scenario, the semiconductor business has largely shifted t…
Simplifying Neural Networks using Formal Verification
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca +2
Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these engines on real-…