論文の概要: Using Neural Networks for Novelty-based Test Selection to Accelerate
Functional Coverage Closure
- arxiv url: http://arxiv.org/abs/2207.00445v3
- Date: Wed, 14 Jun 2023 21:53:05 GMT
- ステータス: 処理完了
- システム内更新日: 2023-06-17 03:52:28.946602
- Title: Using Neural Networks for Novelty-based Test Selection to Accelerate
Functional Coverage Closure
- Title(参考訳): ニューラルネットワークによる新規なテスト選択による機能被覆の高速化
- Authors: Xuan Zheng, Kerstin Eder and Tim Blackmore
- Abstract要約: 本稿では,ニューラルネットワークに基づく新しいテスト選択のための,高度に自動化されたフレームワークを提案する。
このフレームワークの3つの構成は、商用信号処理ユニットでテストされる。
3つともランダムなテスト選択に勝り、シミュレーションの最大の節約率は49.37%であり、99.5%にまで達した。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Novel test selectors used in simulation-based verification have been shown to
significantly accelerate coverage closure regardless of the number of coverage
holes. This paper presents a configurable and highly-automated framework for
novel test selection based on neural networks. Three configurations of this
framework are tested with a commercial signal processing unit. All three
convincingly outperform random test selection with the largest saving of
simulation being 49.37% to reach 99.5% coverage. The computational expense of
the configurations is negligible compared to the simulation reduction. We
compare the experimental results and discuss important characteristics related
to the performance of the configurations.
- Abstract(参考訳): シミュレーションに基づく検証に使用される新しいテストセレクタは、カバレッジホールの数に関わらず、カバレッジ閉鎖を著しく加速することが示されている。
本稿ではニューラルネットワークに基づく新しいテスト選択のための構成可能かつ高度に自動化されたフレームワークを提案する。
このフレームワークの3つの構成は商用信号処理ユニットでテストされる。
3つとも確率的にランダムなテスト選択を上回っており、最大のシミュレーションの節約率は49.37%で99.5%である。
構成の計算コストは、シミュレーションの削減と比べて無視できる。
実験結果を比較し,構成の性能に関する重要な特徴について考察する。
関連論文リスト
- RealNet: A Feature Selection Network with Realistic Synthetic Anomaly
for Anomaly Detection [7.626097310990373]
本稿では,リアルな合成異常と適応的な特徴選択を備えた特徴再構成ネットワークであるRealNetを紹介する。
我々は、異常認識特徴選択(AFS)と再構成残像選択(RRS)を開発する。
その結果,現在の最先端手法と比較して,イメージAUROCとPixelAUROCの両面で有意な改善が見られた。
論文 参考訳(メタデータ) (2024-03-09T12:25:01Z) - Multilayer Multiset Neuronal Networks -- MMNNs [55.2480439325792]
本研究は,2層以上の類似性ニューロンを組み込んだ多層神経回路網について述べる。
また,回避すべき画像領域に割り当てられる反プロトタイプ点の利用についても検討した。
論文 参考訳(メタデータ) (2023-08-28T12:55:13Z) - Adaptive Siamese Tracking with a Compact Latent Network [219.38172719948048]
追跡タスクを分類に変換することで,シームズをベースとしたトラッカーを簡易化する直感的なビューを提供する。
そこで本研究では,視覚シミュレーションと実追跡例を用いて,詳細な解析を行う。
そこで我々は,古典的なSiamRPN++,SiamFC,SiamBANの3つのトラッカーを調整した。
論文 参考訳(メタデータ) (2023-02-02T08:06:02Z) - Layer Ensembles [95.42181254494287]
本稿では,ネットワークの各層に対する独立なカテゴリ分布の集合を考慮した不確実性推定手法を提案する。
その結果,メモリと実行時間が少なくなるモデルが得られた。
論文 参考訳(メタデータ) (2022-10-10T17:52:47Z) - Automatic Neural Network Hyperparameter Optimization for Extrapolation:
Lessons Learned from Visible and Near-Infrared Spectroscopy of Mango Fruit [7.462336024223667]
本稿では、可視・近赤外分光(VNIR)の領域に間に合うように、ニューラルネットワークを自動で設定する方法について考察する。
ニューラルネットワークモデルの外挿を促進するために、テストセットと同じような時間でシフトしたサンプルのモデル構成を検証することを検討する。
アンサンブルにより,最先端モデルの分散と精度が向上することがわかった。
論文 参考訳(メタデータ) (2022-10-03T00:41:05Z) - Learning to Increase the Power of Conditional Randomization Tests [8.883733362171032]
モデル-X条件ランダム化テストは、条件独立性テストのための一般的なフレームワークである。
本稿では,モデルXテストのパワー向上を目的とした新しいモデル適合方式を提案する。
論文 参考訳(メタデータ) (2022-07-03T12:29:25Z) - Hybrid Intelligent Testing in Simulation-Based Verification [0.0]
数百万のテストは、カバレッジの目標を達成するために必要かもしれない。
カバレッジ指向のテスト選択は、カバレッジフィードバックからバイアステストまで、最も効果的なテストへと学習する。
ノベルティ駆動検証は、以前の刺激とは異なる刺激を識別し、シミュレートすることを学ぶ。
論文 参考訳(メタデータ) (2022-05-19T13:22:08Z) - Supervised Learning for Coverage-Directed Test Selection in
Simulation-Based Verification [0.0]
本稿では,自動制約抽出とテスト選択のための新しい手法を提案する。
カバレッジ指向のテスト選択は、カバレッジフィードバックからの教師付き学習に基づいている。
本稿では,手作業による制約記述の低減,効果的なテストの優先順位付け,検証資源の消費の低減,大規模で実生活のハードウェア設計におけるカバレッジ閉鎖の促進について述べる。
論文 参考訳(メタデータ) (2022-05-17T17:49:30Z) - Adversarial Examples Detection with Bayesian Neural Network [57.185482121807716]
本稿では,ランダムな成分が予測器の滑らかさを向上できるという観測によって動機づけられた敵の例を検出するための新しい枠組みを提案する。
本稿では,BATer を略した新しいベイズ対向型サンプル検出器を提案し,対向型サンプル検出の性能を向上させる。
論文 参考訳(メタデータ) (2021-05-18T15:51:24Z) - Noisy Adaptive Group Testing using Bayesian Sequential Experimental
Design [63.48989885374238]
病気の感染頻度が低い場合、Dorfman氏は80年前に、人のテストグループは個人でテストするよりも効率が良いことを示した。
本研究の目的は,ノイズの多い環境で動作可能な新しいグループテストアルゴリズムを提案することである。
論文 参考訳(メタデータ) (2020-04-26T23:41:33Z) - Location-Aware Feature Selection Text Detection Network [98.35434435947462]
我々は新しい位置認識機能選択テキスト検出ネットワーク(LASNet)を提案する。
LASNetは、異なる場所から適切な機能を選択し、バウンディングボックスの5つのコンポーネントを別々に予測し、これらのコンポーネントの組み合わせによって最終バウンディングボックスを取得する。
LASNetは、単一のモデルと単一スケールのテストで最先端のパフォーマンスを達成し、既存の回帰ベースの検出器よりも優れています。
論文 参考訳(メタデータ) (2020-04-23T06:45:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。