Veri-Sure: Multi-Agent RTL Code Generation with Temporal Tracing, Slicing and Formal Verification

arXiv:2601.19747 · cs.AR, cs.AI, cs.SE · Submitted 2026-01-27 · Read on arXiv

cs.AR, cs.AI, cs.SE

Submitted: 2026-01-27

Updated: 2026-10-15

Terminology

• Verification — 3× in this paper · explained in 2 episodes
• Formal Verification — 2× in this paper · explained in 2 episodes
• Agentic System — 1× in this paper · explained in 2 episodes
• Benchmark — 1× in this paper · explained in 2 episodes
• Hallucination — 1× in this paper · explained in 4 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 8 episodes
• Multi-Agent Framework — 1× in this paper · explained in 3 episodes
• Register-Transfer Level — 1× in this paper
• Semantic Drift — 1× in this paper · explained in 3 episodes
• Trace — 1× in this paper · explained in 2 episodes

Related papers

• WitCert: Sound Runtime Risk Observability and Gating for KV-Cache Quantization
• Golden Ruler: A Numeric Format Catalog with Bit-Exact Conformance Vectors for FP8, BF16, MXFP4, and Microscaling Formats
• RFChipAgent: Multi-Agentic AI Flow for Analog/RF Chip Design
• PoisonCap: Efficient Hierarchical Temporal Safety for CHERI
• Provisioning to Runtime Optimization of a 100 MW-Scale AI Cluster
• Bit-Accurate Modeling of GPU Matrix Multiply-Accumulate Units: Demystifying Numerical Discrepancy and Accuracy