An Extraction Method of Processor Behavior and Its Application to Design Verification

An Extraction Method of Processor Behavior and Its Application to Design Verification

Toshihiko Nakamura

生駒 : 奈良先端科学技術大学院大学, 1995.3

Thesis / Diss.

Volume No.

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R000087

2

  • [IS]1995(8)

Restricted

Details

Publication year

1995

Form

38p

Alternative title

プロセッサの制御情報の自動抽出とそれを用いた設計検証に関する研究

Series title

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1995年3月

Note

学位記番号: 修第101号

授与年月日: 1995/03/24

学位の種類: 修士(工学)

学生番号: 0351083

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

中村, 寿彦 (ナカムラ, トシヒコ)

Subject

pipeline control

processor architecture

behavior extraction

design verification

code scheduling