文献
J-GLOBAL ID:201302263627546187
整理番号:13A1056431
静的解析からの誘導によるハードウェア・アサーションのマイニング
Mining Hardware Assertions With Guidance From Static Analysis
著者 (3件):
HERTZ Samuel
(Univ. Illinois at Urbana-Champaign, IL, USA)
,
SHERIDAN David
(Univ. Illinois at Urbana-Champaign, IL, USA)
,
VASUDEVAN Shobha
(Univ. Illinois at Urbana-Champaign, IL, USA)
資料名:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
巻:
32
号:
6
ページ:
952-965
発行年:
2013年06月
JST資料番号:
B0142C
ISSN:
0278-0070
CODEN:
ITCSDI
資料種別:
逐次刊行物 (A)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)