文献
J-GLOBAL ID:201902216150466097
整理番号:19A1771005
設計関心の分離を用いたRTLでの検証【JST・京大機械翻訳】
Verification at RTL Using Separation of Design Concerns
著者 (5件):
Safieddine Maya H.
(Department of Electronic Design Automation, IBM, Austin, TX, USA)
,
Zaraket Fadi A.
(Department of Electrical and Computer Engineering, Maroun Semaan Faculty of Engineering and Architecture, American University of Beirut, Beirut, Lebanon)
,
Kanj Rouwaida
(Department of Electrical and Computer Engineering, Maroun Semaan Faculty of Engineering and Architecture, American University of Beirut, Beirut, Lebanon)
,
El-Zein Ali
(Department of Electronic Design Automation, IBM, Austin, TX, USA)
,
Roesner Wolfgang
(Department of Electronic Design Automation, IBM, Austin, TX, USA)
資料名:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
巻:
38
号:
8
ページ:
1529-1542
発行年:
2019年
JST資料番号:
B0142C
ISSN:
0278-0070
CODEN:
ITCSDI
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)