Search papers, labs, and topics across Lattice.
This paper introduces MechMem-RTL, a novel framework for repairing register-transfer-level (RTL) designs by leveraging verified mechanism memories rather than relying on text-based task similarity. By linking past debugging experiences to specific hardware execution semantics, the framework improves the accuracy of repairs for complex sequential logic errors. Evaluated across 48 public RTL tasks, MechMem-RTL achieved a successful resolution rate of 62.5%, significantly outperforming traditional feedback repair and task-similarity retrieval methods.
Reusing verified debugging records, MechMem-RTL resolves 62.5% of complex RTL errors, outperforming existing methods that rely on text similarity.
Large language models (LLMs) can automatically repair register-transfer-level (RTL) designs. However, fixing complex sequential logic errors requires reusing past debugging experience. Existing retrieval-augmented generation (RAG) relies on task-text similarity to provide this experience. This text-based approach often misguides the model because natural language poorly reflects cycle-level hardware execution semantics. To address this, we present MechMem-RTL, a repair framework that reuses verifier-confirmed repair records instead of text similarity. Each stored record strictly links trigger evidence, a diagnosed failure mechanism, a local repair action, preservation constraints, and a verification summary. For a new failure, MechMem-RTL injects a past record only when deterministic verifier evidence is strictly compatible with the stored trigger. Otherwise, the system uses only current verifier evidence. We evaluate MechMem-RTL on 48 public sequential RTL tasks across six repair models. With at most two repair attempts per task, MechMem-RTL successfully resolves 180 out of 288 task-model pairs, outperforming standard feedback repair (109 pairs) and task-similarity RAG (107 pairs).
