論文の概要: SANGAM: SystemVerilog Assertion Generation via Monte Carlo Tree Self-Refine

• arxiv url: http://arxiv.org/abs/2506.13983v1
• Date: Wed, 11 Jun 2025 06:43:24 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-18 17:34:59.239043
• Title: SANGAM: SystemVerilog Assertion Generation via Monte Carlo Tree Self-Refine
• Title（参考訳）: SANGAM: モンテカルロ木自己精製によるシステムVerilogアサーション生成
• Authors: Adarsh Gupta, Bhabesh Mali, Chandan Karfa,
• Abstract要約: 本稿では,産業レベルの仕様からSVAを自動生成するためのLLM誘導モンテカルロ木探索を用いたSystemVerilog Assertion GenerationフレームワークであるSANGAMを紹介する。 その結果、我々のフレームワークであるSANGAMは、より堅牢なSVAを生成できることを示した。
• 参考スコア（独自算出の注目度）: 0.5737287537823071
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Recent advancements in the field of reasoning using Large Language Models (LLMs) have created new possibilities for more complex and automatic Hardware Assertion Generation techniques. This paper introduces SANGAM, a SystemVerilog Assertion Generation framework using LLM-guided Monte Carlo Tree Search for the automatic generation of SVAs from industry-level specifications. The proposed framework utilizes a three-stage approach: Stage 1 consists of multi-modal Specification Processing using Signal Mapper, SPEC Analyzer, and Waveform Analyzer LLM Agents. Stage 2 consists of using the Monte Carlo Tree Self-Refine (MCTSr) algorithm for automatic reasoning about SVAs for each signal, and finally, Stage 3 combines the MCTSr-generated reasoning traces to generate SVA assertions for each signal. The results demonstrated that our framework, SANGAM, can generate a robust set of SVAs, performing better in the evaluation process in comparison to the recent methods.
• Abstract（参考訳）: 大規模言語モデル(LLM)を用いた推論の分野での最近の進歩は、より複雑で自動的なハードウェア・アクセレーション・ジェネレーションの新たな可能性を生み出している。 本稿では,産業レベルの仕様からSVAを自動生成するためのLLM誘導モンテカルロ木探索を用いたSystemVerilog Assertion GenerationフレームワークであるSANGAMを紹介する。 提案フレームワークは3段階のアプローチを用いており、Stage 1はSignal Mapper、SPEC Analyzer、Waveform Analyzer LLM Agentsを用いたマルチモーダル仕様処理で構成されている。 ステージ2は、各信号に対するSVAの自動推論にMCTSr(Monte Carlo Tree Self-Refine)アルゴリズムを使用し、最後に、MCTSrの生成した推論トレースを組み合わせて各信号に対するSVAアサーションを生成する。 その結果、我々のフレームワークであるSANGAMは、より堅牢なSVAを生成できることを示した。

関連論文リスト

• Pangu Embedded: An Efficient Dual-system LLM Reasoner with Metacognition [95.54406667705999]
  Pangu Embeddedは、Ascend Neural Processing Units (NPU) 上で開発された効率的なLarge Language Model (LLM) 推論器である。 既存の推論最適化 LLM でよく見られる計算コストと推論遅延の問題に対処する。 単一の統一モデルアーキテクチャ内で、迅速な応答と最先端の推論品質を提供する。
  論文  参考訳（メタデータ） (2025-05-28T14:03:02Z)
• I-MCTS: Enhancing Agentic AutoML via Introspective Monte Carlo Tree Search [10.718560472954644]
  イントロスペクティブモンテカルロ木探索(Introspective Monte Carlo Tree Search, I-MCTS)は、イントロスペクティブプロセスを通じてツリーノードを反復的に拡張する新しいアプローチである。 我々は,各ノードの解の直接評価を容易にするために,LLM(Large Language Model)ベースの値モデルを統合する。 当社のアプローチでは,強力なオープンソースAutoMLエージェントと比較して,パフォーマンスが6%向上している。
  論文  参考訳（メタデータ） (2025-02-20T16:19:09Z)
• Leveraging LLM Agents for Automated Optimization Modeling for SASP Problems: A Graph-RAG based Approach [7.790822602801334]
  本稿では,検索拡張生成(RAG)技術に基づく自動モデリング手法を提案する。 提案手法(MAG-RAG)はいくつかのAOMベンチマークより優れている。
  論文  参考訳（メタデータ） (2025-01-30T13:00:15Z)
• Training of Scaffolded Language Models with Language Supervision: A Survey [62.59629932720519]
  本調査は,戦後のLM周辺における新規構造物の設計と最適化に関する文献を整理した。 本稿では,この階層構造を足場型LMと呼び,ツールを用いた多段階プロセスに統合されたLMに焦点を当てる。
  論文  参考訳（メタデータ） (2024-10-21T18:06:25Z)
• Toward General Instruction-Following Alignment for Retrieval-Augmented Generation [63.611024451010316]
  Retrieval-Augmented Generation (RAG) システムの効果的な適用には、自然な指示に従うことが不可欠である。 RAGシステムにおける命令追従アライメントのための,最初の自動化,拡張性,検証可能な合成パイプラインであるVIF-RAGを提案する。
  論文  参考訳（メタデータ） (2024-10-12T16:30:51Z)
• Latent Logic Tree Extraction for Event Sequence Explanation from LLMs [19.90330712436838]
  医療やロボティクスなどの現代のハイテイクシステムは、しばしば巨大なストリーミングイベントシーケンスを生成する。 我々のゴールは、Large Language Models (LLMs) から論理木に基づく説明を引き出すための効率的なプラグイン・アンド・プレイツールを設計し、観測された各イベントシーケンスに対するカスタマイズされた洞察を提供することです。 オンライン設定では、ローカルに構築された軽量なモデルが、数回だけ繰り返して、各シーケンスのLSMから最も関連性の高いルールを反復的に抽出します。
  論文  参考訳（メタデータ） (2024-06-03T09:10:42Z)
• Recommender Systems with Generative Retrieval [58.454606442670034]
  本稿では,対象候補の識別子を自己回帰的に復号する新たな生成検索手法を提案する。 そのために、各項目のセマンティックIDとして機能するために、意味論的に意味のあるコードワードを作成します。 提案手法を用いて学習した推薦システムは,様々なデータセット上での現在のSOTAモデルよりも大幅に優れていることを示す。
  論文  参考訳（メタデータ） (2023-05-08T21:48:17Z)
• Entailment Tree Explanations via Iterative Retrieval-Generation Reasoner [56.08919422452905]
  我々はIRGR(Iterative Retrieval-Generation Reasoner)と呼ばれるアーキテクチャを提案する。 本モデルでは,テキストの前提からステップバイステップの説明を体系的に生成することにより,与えられた仮説を説明することができる。 前提条件の検索と細分化木の生成に関する既存のベンチマークを上回り、全体の正しさはおよそ300%向上した。
  論文  参考訳（メタデータ） (2022-05-18T21:52:11Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。