文献
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)