文献
J-GLOBAL ID:201302277770918797
整理番号:13A1896267
POWER-TRUCTOR:構造的パワーインテントの形式的検証および填補のための統合型ツールフロー
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent
著者 (7件):
HAZRA Aritra
(IIT Kharagpur, Kharagpur, IND)
,
MUKHERJEE Rajdeep
(IIT Kharagpur, Kharagpur, IND)
,
DASGUPTA Pallab
(IIT Kharagpur, Kharagpur, IND)
,
PAL Ajit
(IIT Kharagpur, Kharagpur, IND)
,
HARER Kevin M.
(Synopsys Inc., CA, USA)
,
BANERJEE Ansuman
(ACMU, Kolkata, IND)
,
MUKHERJEE Subhankar
(Mentor Graphics (India) Private Ltd., Karnataka, IND)
資料名:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
巻:
32
号:
11
ページ:
1801-1813
発行年:
2013年11月
JST資料番号:
B0142C
ISSN:
0278-0070
CODEN:
ITCSDI
資料種別:
逐次刊行物 (A)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)