詳細情報

刊年

1997

別書名

レジスタ転送レベル論理回路の設計検証のための回路縮小法について

シリーズ名

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

注記

学位記番号: 修第461号

授与年月日: 1997/03/24

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

学生番号: 9551043

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

坂手, 孝規 (サカテ, タカノリ)

件名

Formal Design Verification

Register Transfer Level Circuit

Reduced Verification Model

Pipeline Processor

Verification of Behavior

Hardware Description Language