About J-GLOBAL

日本語

Font size
  • A
  • A

Articleの詳細情報

ArticleJ-GLOBAL ID:200902131014333478整理番号:99A0378361

電子システムの設計技術と設計自動化 あるクラスのOut‐of‐order型パイプラインCPUの設計の正しさの十分条件とその形式的検証

Design Technologies and Design Automation of Electronic Systems. A Formal Verification Method of Pipelined Microprocessors with Out-of-order Execution.

著者:竹中崇(大阪大 大学院)、北道淳司(大阪大 大学院)、谷口健一(大阪大 大学院)
資料名:情報処理学会論文誌 巻:40 号:4 ページ:1587-1596
発行年:1999年04月15日
  • J-GLOBAL home
  • Bookmark J-GLOBAL

J-GLOBAL: Linking, Expanding and Sparking

About J-GLOBAL

Linking

J-GLOBAL links information that represents the key to research and development. For example, linking articles and patents with people (authors and inventors) enables the extraction of a sequence of information.
It’s useful for making new discoveries and uncovering new information.

Expanding

The system enables searches of similar kinds of content through linkage with external sites.
It helps you to obtain knowledge from dissimilar fields and discover concepts that cross the boundaries of specialisms.

Sparking

Through repeated linkage and expansioniteration, J-GLOBAL provides unexpected hints for problem-solving and the illumination of new ideas.