Veri-Sure：正しいRTLコード生成のための時間的追跡と形式検証を備えた契約認識型マルチエージェントフレームワーク

要約

大規模言語モデル（LLM）によるRTL設計における機能的な正確性の課題に対し、Veri-Sureというマルチエージェントフレームワークを提案。設計契約による意図の整合や静的依存スライスに基づく修正、形式検証を組み合わせることで、シミュレーションだけでは困難なシリコングレードの正確性を実現し、既存手法を凌駕する性能を示した。

全文は有料プランで閲覧できます。