WEKO3
アイテム
二分決定グラフを用いた不確定入力に対する論理関数の評価アルゴリズム
https://ipsj.ixsq.nii.ac.jp/records/121769
https://ipsj.ixsq.nii.ac.jp/records/1217694600dc9c-826c-4b0f-b7e0-49ea917007dc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001343457.pdf (223.5 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1992-02-24 | |||||
| タイトル | ||||||
| タイトル | 二分決定グラフを用いた不確定入力に対する論理関数の評価アルゴリズム | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | An Evaluation Algorithm of Switching Functions for an Unknown Input Based on Binary Decision Diagrams | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 明治大学理工学部 情報科学科 | ||||||
| 著者所属 | ||||||
| 明治大学理工学部 情報科学科 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Meiji University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Meiji University | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | ある、n変数の2値論理関数fに対して入力変数のうち幾つかはOまたは1に確定しているが、残りの幾つかの値は不確定、即ち、Oか1か不明であることがある。この様な不確定な入力を含む場合の論理関数の値の定め方と、論理関数が2段のAND-OR論理式によって表現されている時、その値を求めるアルゴリズムについては既に報告されている。一方、AkersやBryantらによって提案されている二分決定グラフを用いた論理関数の表現方法が実際の大規模な論理回路の表現方法として有望視されている。本報告では論理関数の表現方法に二分決定グラフを用いることで、不確定入力に対する論理関数の評価を高速に行うアルゴリズムを提案する。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第44回, 号 ハードウェア, p. 141-142, 発行日 1992-02-24 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
