文献

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)

タイトルに関連する用語 (4件)： 形式的検証 ,  統合 ,  ツール ,  フロー