Canonical Factorization of Logic Functions and Its Application to BDD Based Logic Design Verification

Canonical Factorization of Logic Functions and Its Application to BDD Based Logic Design Verification

Tatsuya Nakae

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

Thesis / Diss.

Send by email

Address

Subject

Volume No.

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

1

R000083

2

  • [IS]1995(7)

Restricted

Send by email

Address

Subject

Details

Publication year

1995

Form

48p

Alternative title

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

Series title

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

Note

学位記番号: 修第99号

授与年月日: 1995/03/24

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

学生番号: 0351079

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

Subject

Logic Design Verification

Logic Function

Combinational Logic Circuit

Circuit Decomposition

Binary Decision Diagrams

Generalized Cofactor

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo