Presentation | 1996/1/19 An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits Toshiyuki Miyamoto, Sadatoshi Kumagai, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Asynchronous circuit / STG / Occurrence net / Logic function / State space explosion |
Paper # | CST95-30 |
Date of Issue |
Conference Information | |
Committee | CST |
---|---|
Conference Date | 1996/1/19(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Concurrent System Technology (CST) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits |
Sub Title (in English) | |
Keyword(1) | Asynchronous circuit |
Keyword(2) | STG |
Keyword(3) | Occurrence net |
Keyword(4) | Logic function |
Keyword(5) | State space explosion |
1st Author's Name | Toshiyuki Miyamoto |
1st Author's Affiliation | Department of Electrical Engineering, Osaka University() |
2nd Author's Name | Sadatoshi Kumagai |
2nd Author's Affiliation | Department of Electrical Engineering, Osaka University |
Date | 1996/1/19 |
Paper # | CST95-30 |
Volume (vol) | vol.95 |
Number (no) | 471 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |