Keyword : signal transition graph


Design of Asynchronous Controllers with Delay Insensitive Interface
Hiroshi SAITO Alex KONDRATYEV Jordi CORTADELLA Luciano LAVAGNO Alex YAKOVLEV Takashi NANYA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/12/01
Vol. E85-A  No. 12 ; pp. 2577-2585
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Design Methodology
Keyword: 
DI interfacesignal transition graphhazardsbehavioral and gate-level transformations
 Summary | Full Text:PDF

Automatic Process-Oriented Asynchronous Control Unit Generation from Control Data Flow Graphs
Euiseok KIM Jeong-Gun LEE Dong-Ik LEE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/08/01
Vol. E84-A  No. 8 ; pp. 2014-2028
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
automatic asynchronous control unit generationprocess-orientedcontrol data flow graphssignal transition graph
 Summary | Full Text:PDF

Test Generation for SI Asynchronous Circuits with Undetectable Faults from Signal Transition Graph Specification
Eunjung OH Jeong-Gun LEE Dong-Ik LEE Ho-Yong CHOI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/06/01
Vol. E84-A  No. 6 ; pp. 1506-1514
Type of Manuscript:  Special Section PAPER (Special Section on Papers Selected from 2000 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000))
Category: 
Keyword: 
ATPGSI asynchronous circuitssignal transition graphtesting
 Summary | Full Text:PDF

On Deriving Logic Functions of Asynchronous Circuits by STG Unfoldings
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/03/25
Vol. E80-D  No. 3 ; pp. 336-343
Type of Manuscript:  Special Section PAPER (Special Issue on Asynchronous Circuit and System Design)
Category: Synthesis
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsstate space explosionspeed independence
 Summary | Full Text:PDF

An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/25
Vol. E79-A  No. 6 ; pp. 818-824
Type of Manuscript:  Special Section PAPER (Special Section of Papers Selected from 1995 Joint Technical Conference on Circuits/Systems, Computers and Communications (JTC-CSCC '95))
Category: 
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsdvoidance of state space explosion
 Summary | Full Text:PDF

An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction
Toshiyuki MIYAMOTO Dong-Ik LEE Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1504-1510
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsstate space explosion
 Summary | Full Text:PDF