文献

J-GLOBAL ID：201902238209507461   整理番号：19A2929397

効果的な自動動的アサーション採鉱プラットフォームのエンジニアリング【JST・京大機械翻訳】

Engineering of an Effective Automatic Dynamic Assertion Mining Platform

著者 (6件)： Ghasempouri Tara (Tallinn University of Technology,Department of Computer System,Estonia) ,  Malburg Jan (German Aerospace Center Institute of Space Systems,Avionics Systems,Germany) ,  Danese Alessandro (University of Verona,Department of Computer Science,Italy) ,  Pravadelli Graziano (University of Verona,Department of Computer Science,Italy) ,  Fey Goerschwin (Institute of Embedded Systems, Hamburg University of Technology,Germany) ,  Raik Jaan (Tallinn University of Technology,Department of Computer System,Estonia)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： VLSI-SoC  ページ： 111-116  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ハードウェア設計の仕様マイニングのために,RTLとシステムレベルの両方でいくつかのアプローチが存在する。これらのアプローチは,設計の挙動を特定することを主張する。いくつかの技術はソースコードそのものを必要とするが,他はシミュレーショントレースから直接的に主張を抽出することができる。いくつかのアプローチの性能は,シミュレーショントレース/使用ケースの数に非常に依存するが,限られた数のシミュレーショントレースから主張を抽出できるアプローチが存在する。この側面とは別に,各主張者のコアは他のものと異なっている。いくつかは静的解析または情報フロー解析に基づいているが,いくつかは主張を定義するための表現テンプレートを使用する。残念ながら,現在のアプローチのそれが特別なタイプの設計の機能性の記述においてより効果的であるとはほとんど考えられていない。そこで,本研究では,テンプレートに基づく動的依存性グラフに基づいている主張マイナを解析した。両アプローチから主張を生成した。評価は,抽出された主張の両方の主張集合に関する故障解析を考慮する。さらに,両方のセットを結合して,故障解析をそれらに適用した。実験結果により,各セットは,ほぼ同じ数の故障を検出し,一方,2つのセットを組み合わせると,検出された故障の数が増加することを示した。最後に,本研究における研究に基づいて,効果的な主張者のための新しい,より効率的なアーキテクチャを開発した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 計算機アーキテクチャ ,  マイナ ,  ハードウェア設計 ,  シミュレーション ,  CASE ,  故障解析 ,  *採鉱
準シソーラス用語： 情報フロー ,  静的解析 ,  ソースコード , 【Automatic Indexing@JST】

分類 (4件)： パターン認識  (JE07000S) ,  図形・画像処理一般  (JE04010I) ,  生体計測  (EL03020C) ,  運転者  (TB01040V)

タイトルに関連する用語 (4件)： アサーション ,  採鉱 ,  プラットフォーム ,  エンジニアリング