文献

J-GLOBAL ID：201802270279864615   整理番号：18A0944392

複数クロックサイクルにおける語レベル関係を含むハードウェアアサーションの抽出【JST・京大機械翻訳】

Extracting hardware assertions including word-level relations over multiple clock cycles

著者 (2件)： Miyamoto Mami (Interdisciplinary Graduate School of Science and Engineering, Shimane University, Matsue, Shimane, 690-8504 Japan) ,  Hamaguchi Kiyoharu (Interdisciplinary Graduate School of Science and Engineering, Shimane University, Matsue, Shimane, 690-8504 Japan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： ISQED  ページ： 244-250  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ハードウェア設計の実行トレースからの時間的主張の自動生成のための様々なマイニングアプローチが提案されている。これらのアプローチは,LTL公式またはPSLに基づく主張を扱うことができ,それらの多くは,不等式,追加などの単語レベルの関係を表すことができる。しかし,既存の方法では,このような関係はクロックサイクル内でのみ探索される。それらは入力における2つの値が加えられるような特性を抽出することができず,その結果は出力において後に2つのクロックサイクルが現れる。実行トレースを解析し,関係を含む主張を生成することにより,原子命題としての変数間の複数のクロックサイクルにわたる関係を抽出する方法を提案した。また,提案手法では,命題として複数のクロックサイクルにわたる原子命題間の頻繁な関係を抽出することにより,原子命題の結合を効率的に生成することができる。実験結果は,提案方法の実現可能性を実証した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： 単語 ,  *命題 ,  ハードウェア設計 ,  不等式 ,  自動生成

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： クロック ,  サイクル ,  語 ,  ハードウェア ,  アサーション