Art

J-GLOBAL ID：200902206846414273   Reference number：07A0602221

Microprocessor Verification via Feedback-Adjusted Markov Models

フィードバック調整したMarkovモデルによるマイクロプロセッサの検証

Author (3)： WAGNER Ilya (Univ. Michigan, MI, USA) ,  BERTACCO Valeria (Univ. Michigan, MI, USA) ,  AUSTIN Todd (Univ. Michigan, MI, USA)
Material： IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  (IEEE Trans Comput-Aided Des Integr Circuits Syst)
Volume： 26  Issue： 6  Page： 1126-1138  Publication year： Jun. 2007 
JST Material Number： B0142C  ISSN： 0278-0070  CODEN： ITCSDI  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Thesaurus term： feedback ,...
Semi thesaurus term： Markov model

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0602221&from=J-GLOBAL&jstjournalNo=B0142C") }}

JST classification (2)： General  (NC03161C) ,  General-purpose arithmetic and control units  (JC04020N)

Terms in the title (4)： フィードバック ,  Markovモデル ,  マイクロプロセッサ ,  検証