| 講演名 | 1994/3/10 含意操作に基づいた論理回路の簡単化手法について 梶原 誠司, 渡辺 克吉, 樹下 行三, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 多段論理回路の簡単化手法として,回路内の信号値の含意関係に基づいて冗長回路の付加と除去を繰り返し,回路を最小化する手法がある.本論文では,含意関係を用いた回路の付加と除去の操作をテスト生成アルゴリズムのSOCRATESに用いられる静的学習の中に取り入れて回路を簡単化する手法を提案する.本手法では,含意操作の過程により回路内に存在する分岐再収れんを簡単化する場合と異なる内部関数を表現する際に共有可能な論理ゲートを求めて簡単化する場合に分けて取り扱う.また,本手法をISCAS'85およびISCAS'89のベンチマーク回路に適用した結果についても報告する. |
| 抄録(英) | As a method of combinational logic optimization,it is known to minimize circuits by repeating the addition and removal of redundant elements based on the implied relation between two signal values.This paper presents a logic optimization method that introduces the procedures of redundancy addition and removal into the static learning.In the method it is considered to simplify reconvergence of fanout in circuits and to share gates to compose internal functions.Experimental results for ISCAS′85 and ISCAS′89 benchmark circuits are also reported. |
| キーワード(和) | 論理簡単化 / 含意操作 / 組合せ回路 / 静的学習 / 冗長除去 |
| キーワード(英) | logic optimization / Implication procedure / combinational circuit / static learning / redundancy removal |
| 資料番号 | VLD93-104,ICD93-199 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 1994/3/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 含意操作に基づいた論理回路の簡単化手法について |
| サブタイトル（和） | |
| タイトル（英） | A method of logic optimization based on implication procedures |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理簡単化 / logic optimization |
| キーワード(2)（和/英） | 含意操作 / Implication procedure |
| キーワード(3)（和/英） | 組合せ回路 / combinational circuit |
| キーワード(4)（和/英） | 静的学習 / static learning |
| キーワード(5)（和/英） | 冗長除去 / redundancy removal |
| 第 1 著者 氏名（和/英） | 梶原 誠司 / Seiji Kajihara |
| 第 1 著者 所属（和/英） | 大阪大学工学部応用物理学科 Department of Applied Physics,Faculty of Engineering,Osaka University |
| 第 2 著者 氏名（和/英） | 渡辺 克吉 / Katsuyoshi Watanabe |
| 第 2 著者 所属（和/英） | 大阪大学工学部応用物理学科 Department of Applied Physics,Faculty of Engineering,Osaka University |
| 第 3 著者 氏名（和/英） | 樹下 行三 / Kozo Kinoshita |
| 第 3 著者 所属（和/英） | 大阪大学工学部応用物理学科 Department of Applied Physics,Faculty of Engineering,Osaka University |
| 発表年月日 | 1994/3/10 |
| 資料番号 | VLD93-104,ICD93-199 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 504 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |