activity
20192026
most citedBenchmarking at the Frontier of Hardware Security: Lessons from Logic Locking

29 citations · 29 across the 8 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

SANGAM: SystemVerilog Assertion Generation via Monte Carlo Tree Self-Refine

Adarsh Gupta, Bhabesh Mali, Chandan Karfa

Recent advancements in the field of reasoning using Large Language Models (LLMs) have created new possibilities for more complex and automatic Hardware Assertion Generation techniq…