詳細情報

刊年

1995

形態

48p

別書名

論理関数の正規因子分解を用いた論理設計検証

シリーズ名

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

注記

学位記番号: 修第99号

授与年月日: 1995/03/24

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

学生番号: 0351079

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

中江, 達哉 (ナカエ, タツヤ)

件名

Logic Design Verification

Logic Function

Combinational Logic Circuit

Circuit Decomposition

Binary Decision Diagrams

Generalized Cofactor