| 講演名 | 1996/1/19 非同期式回路合成のための論理式導出の効率的手法 宮本 俊幸, 熊谷 貞俊, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 非同期式回路の動作記述のモデルとしてSTGがある. STGでは,ペトリネットの各トランジションに対して回路の入力信号やゲートの出力信号の変化の情報が付加されている.STGから論理式を導出するためには全ての状態を生成する必要がある.一般に,ペトリネットにおいて全状態空間を生成するには,指数オーダの時間を要することが知られている.本稿では,オカレンスネットを用いて,部分状態空間を生成することにより効率的に全状態空間を求める手法について述べる. |
| 抄録(英) | Signal Transition Graphs(STG's) are Petri nets, which were introduced to represent a behavior of asynchronous circuits. To derive logic functions from an STG, the reachability graph should be constructed. In the verification of STG's some method based on an Occurrence net(OCN) and its prefix, called an unfolding, has been proposed. OCN's can represent both causality and concurrency between two nodes by net structure. In this paper, we propose a method to derive a logic function by generating substate space of a given STG using the structural properties of OCN. The proposed method can be seem as a parallel algorithm for deriving a logic function. |
| キーワード(和) | 非同期式回路 / オカレンスネット / 論理式 / 状態空間爆発 |
| キーワード(英) | Asynchronous circuit / STG / Occurrence net / Logic function / State space explosion |
| 資料番号 | CST95-30 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1996/1/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 非同期式回路合成のための論理式導出の効率的手法 |
| サブタイトル（和） | |
| タイトル（英） | An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 非同期式回路 / Asynchronous circuit |
| キーワード(2)（和/英） | オカレンスネット / STG |
| キーワード(3)（和/英） | 論理式 / Occurrence net |
| キーワード(4)（和/英） | 状態空間爆発 / Logic function |
| 第 1 著者 氏名（和/英） | 宮本 俊幸 / Toshiyuki Miyamoto |
| 第 1 著者 所属（和/英） | 大阪大学工学部電気工学科 Department of Electrical Engineering, Osaka University |
| 第 2 著者 氏名（和/英） | 熊谷 貞俊 / Sadatoshi Kumagai |
| 第 2 著者 所属（和/英） | 大阪大学工学部電気工学科 Department of Electrical Engineering, Osaka University |
| 発表年月日 | 1996/1/19 |
| 資料番号 | CST95-30 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 471 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |