most citedVeritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form

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

collaborators

11 papers

cs.CR2025

TrojanLoC: LLM-based Framework for RTL Trojan Localization

Weihua Xiao, Zeng Wang, Minghao Shao +6

Hardware Trojans (HT s) are a persistent threat to integrated circuits, especially when inserted at the register-transfer level (RTL). Existing methods typically first convert the…

cs.CR2025

LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs

Akashdeep Saha, Zeng Wang, Prithwish Basu Roy +3

Despite rapid progress in logic locking (LL), reproducibility remains a challenge as codes are rarely made public. We present LockForge, a first-of-its-kind, multi-agent large lang…

cs.CR2025

NetDeTox: Adversarial and Efficient Evasion of Hardware-Security GNNs via RL-LLM Orchestration

Zeng Wang, Minghao Shao, Akashdeep Saha +4

Graph neural networks (GNNs) have shown promise in hardware security by learning structural motifs from netlist graphs. However, this reliance on motifs makes GNNs vulnerable to ad…

cs.LG2025

VeriDispatcher: Multi-Model Dispatching through Pre-Inference Difficulty Prediction for RTL Generation Optimization

Zeng Wang, Weihua Xiao, Minghao Shao +4

Large Language Models (LLMs) show strong performance in RTL generation, but different models excel on different tasks because of architecture and training differences. Prior work m…

eess.SY2025

Large Language Models (LLMs) for Electronic Design Automation (EDA)

Kangwei Xu, Denis Schwachhofer, Jason Blocklove +10

With the growing complexity of modern integrated circuits, hardware engineers are required to devote more effort to the full design-to-manufacturing workflow. This workflow involve…

cs.CR2025

Targeted Wearout Attacks in Microprocessor Cores

Joshua Mashburn, Johann Knechtel, Florian Klemme +3

Negative-Bias Temperature Instability is a dominant aging mechanism in nanoscale CMOS circuits such as microprocessors. With this aging mechanism, the rate of device aging is depen…