VeriChat is a retrieval-augmented multi-agent conversational system for hardware security verification that integrates EDA tools and reports 87.73% faithfulness while demonstrating autonomous Trojan detection on an AES design.
Assertain: Automated security assertion generation using large language mod- els,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
VeriChat: An Agentic Conversational AI Assistant for Hardware Security Verification
VeriChat is a retrieval-augmented multi-agent conversational system for hardware security verification that integrates EDA tools and reports 87.73% faithfulness while demonstrating autonomous Trojan detection on an AES design.