アーカイブ / LLM / RAG
仕様に近い回路例を探し、生成コードを自己検証するHDLCoRe
HDLCoRe
HDLCoReの原論文から掲載した図です。細部はクリックして拡大できます。
原論文の図の説明を読む
Figure 1: Overview of HDLCoRe framework. (a) HDL-aware CoT with Self-verification Module. We first process the design description through task-specific prompts (SC-HDL, CC-HDL, SS-HDL, CS-HDL) to generate initial HDL code. The framework then prompts for testbench creation followed by step-by-step self-simulation to identify errors and optimize the code. (b) Efficient Heterogeneous RAG System. We extract multiple key components (High Level, Low Level, Module Header) from both the task description and heterogeneous database, compute similarity scores ( S H L S_{HL} , S L L S_{LL} , S M H S_{MH} ), and perform two-stage retrieval that first conducts broad filtering to select top-k samples from each category, then performs refined re-ranking to identify the most relevant HDL examples for the target task.
概要
- HDLCoReは、課題別の指示、HDL事例の二段階検索、モデルによる自己検証を組み合わせてVerilogを生成する。
- 著者らのRTLLM 2.0評価では、Qwen2.5 7Bの機能pass@1がDirectの12％に対し40％だった。
- 生成時の自己シミュレーションは実際のシミュレーターによる検証とは異なり、導入時には別途動作確認が必要になる。
補足：編集した模式図で仕組みを確認する
VISUAL EXPLAINER
図でつかむ、HDLCoReの仕組み
- 01回路仕様文
- 02関連HDL例の検索
- 03初稿と試験コード生成
- 04自己検証後のVerilog
原論文の説明をもとにした模式図です。処理の細部は省略しています。
研究の背景
HDLは回路の構造や動作を記述する言語である。大規模言語モデルが作るHDLは、見た目がもっともらしくても構文が通らず、指定した機能を満たさない場合がある。著者らは、その背景の一つに学習用HDLデータの少なさを挙げる。
回路では、信号の組み合わせによる出力だけでなく、クロックに伴う状態の変化も正しく表す必要がある。生成結果を設計の初稿に使うには、追加学習を行わずに誤りを減らす手順と、生成後に実際の動作を確かめる手段が重要になる。
手法
HDLCoReは仕様文に近いHDL事例を探し、課題に合わせた指示とともにモデルへ渡す。検索拡張生成（RAG）とは、保存した事例を生成時の参考情報にする方法である。仕様文と事例から概要、実装詳細、入出力を示すモジュール定義を抽出し、各要素で候補を絞ってから説明文全体で再順位付けする。
生成時は、組合せ回路か、時間とともに状態が変わる順序回路かを分け、さらに複雑さに応じて指示を変える。例えばクロックで値を保持する仕様は順序回路に当たる。モデルは初稿とテストベンチ（入力と期待動作を確かめる試験用コード）を作り、動作を段階的に推論して修正する。この自己シミュレーションは、実際にシミュレーターを実行する処理ではない。
新規性
著者らは、回路の種類と複雑さに応じた指示、関連事例の検索、モデルによる自己検証を一つの生成手順に組み合わせた。モデルの追加学習を必要としない構成である。
検索では、形式の異なるデータ源から事例を選ぶため、説明文を概要・実装詳細・入出力を含むモジュール定義に分ける。各要素で候補を絞った後、説明文全体で再順位付けする。
従来手法との違い
Directは仕様文をそのままモデルに渡す比較方法である。SPとCoDesは、生成時の推論を段階化する既存手法として比較されている。HDLCoReは、課題別の指示に検索事例を加え、生成した初稿をモデル自身に点検させる。
著者らの表では、対象となった全モデルでHDLCoReの機能pass@1とpass@5が各比較手法を上回った。ただし構文の合格率は常に最高ではない。比較できるのは、示されたモデルとRTLLM 2.0の条件での結果である。
実験結果
著者らは、複雑さの異なる50件のVerilog設計課題からなるRTLLM 2.0で評価した。Qwen2.5の7B・14B・32B・72BとQwen2.5-Coderの7B・14B・32Bを使い、Direct、SP、CoDesと比較した。構文はSynopsys VCSでコンパイルし、通過したコードだけを同ツールのシミュレーションで機能検証した。
一回の生成で成功する割合を示す機能pass@1は、Qwen2.5 7BでDirectの12％に対しHDLCoReは40％だった。五回の試行のいずれかが成功する機能pass@5は、同じモデルで18％に対し44％だった。著者らのこの実測結果は、生成手順内でモデルが行う自己シミュレーションとは区別する必要がある。
応用の可能性
編集上の応用案 · 論文が実証した用途とは区別しています。
編集上の応用案：社内の小規模な制御回路を対象に、担当者が入出力信号、クロック、期待する動作を記した仕様を入力し、設計者が確認するVerilog初稿を得る。検索元には、仕様文と確認済みコードを対応付けた社内事例が必要になる。
追加学習用データやセンサー入力は想定しない。正解ラベルとして期待動作を記したテストケースを別に用意し、社内の記述形式から概要・実装詳細・入出力を抽出できるよう事例を整える。出力は設計者が確認し、実際のコンパイルとシミュレーションで判定する。
応用先の候補からNauhに相談できます。
導入時の検証
導入時の検証案 · 対象データでの再評価が必要です。
導入時の検証案：仕様文と確認済みVerilogを対応付けた少数の社内事例を検索元にし、評価用には別の仕様と期待動作を示すテストケースを正解ラベルとして用意する。追加学習用データやセンサー入力は不要とし、事例から概要・実装詳細・入出力を抽出できる形に整える。
同じ評価用仕様で、仕様文を直接渡す方法と、検索・自己検証を加えた方法を比べる。初稿ごとのコンパイル成功率、テストケース通過率、設計者による修正件数を記録する。モデル自身の判定を合格基準とせず、実際の検証結果を使って採否を決める。
限界と課題
著者らは今後の課題として、性能・消費電力・面積の制約に合わせたHDL生成を挙げている。示された評価はVerilog設計課題の構文と機能に関するもので、これらの設計指標の結果は報告されていない。
編集上の検証事項は、モデルが作ったテストベンチと自己シミュレーションが実際の誤りをどれだけ発見できるかである。社内適用では検索事例の品質と対象仕様への適合も確かめる必要がある。生成手順は外部シミュレーターの結果を使わないが、本文には分類や結果整理にPythonスクリプトを使う記述がある。
出典
元のタイトル・要旨を確認する（英語）
HDLCoRe: A Training-Free Framework for Mitigating Hallucinations in LLM-Generated HDL
Recent advances in large language models (LLMs) have demonstrated remarkable capabilities in code generation tasks. However, when applied to hardware description languages (HDL), these models exhibit significant limitations due to data scarcity, resulting in hallucinations and incorrect code generation. To address these challenges, we propose HDLCoRe, a training-free framework that enhances LLMs' HDL generation capabilities through prompt engineering techniques and retrieval-augmented generation (RAG). Our approach consists of two main components: (1) an HDL-aware Chain-of-Thought (CoT) prompting technique with self-verification that classifies tasks by complexity and type, incorporates domain-specific knowledge, and guides LLMs through step-by-step self-simulation for error correction; and (2) a two-stage heterogeneous RAG system that addresses formatting inconsistencies through key component extraction and efficiently retrieves relevant HDL examples through sequential filtering and re-ranking. HDLCoRe eliminates the need for model fine-tuning while substantially improving LLMs' HDL generation capabilities. Experimental results demonstrate that our framework achieves superior performance on the RTLLM2.0 benchmark, significantly reducing hallucinations and improving both syntactic and functional correctness.
論文本体の取得範囲に基づく解説。AIが作成した未校閲の記事です。性能の数値は著者の評価条件に依存します。応用例と検証計画は編集上の提案です。解説更新：2026-10-01