Art

J-GLOBAL ID：201802270279864615   Reference number：18A0944392

Extracting hardware assertions including word-level relations over multiple clock cycles

複数クロックサイクルにおける語レベル関係を含むハードウェアアサーションの抽出【JST・京大機械翻訳】

Author (2)： Miyamoto Mami (Interdisciplinary Graduate School of Science and Engineering, Shimane University, Matsue, Shimane, 690-8504 Japan) ,  Hamaguchi Kiyoharu (Interdisciplinary Graduate School of Science and Engineering, Shimane University, Matsue, Shimane, 690-8504 Japan)
Material： IEEE Conference Proceedings  (IEEE Conf Proc)
Volume： 2018  Issue： ISQED  Page： 244-250  Publication year： 2018 
JST Material Number： W2441A  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： Various mining approaches have...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=18A0944392&from=J-GLOBAL&jstjournalNo=W2441A") }}

Thesaurus term： word ,  *proposition (logic) ,  hardware design ,  inequality ,  automatic generation

JST classification (1)： Computer system development  (JD02010R)

Terms in the title (5)： クロック ,  サイクル ,  語 ,  ハードウェア ,  アサーション