Keyword : speed independence

Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers
Jordi CORTADELLA  Michael KISHINEVSKY  Alex KONDRATYEV  Luciano LAVAGNO  Alexandre YAKOVLEV 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/03/20
Vol. E80-D  No. 3  pp. 315-325
Type of Manuscript: Special Section PAPER (Special Issue on Asynchronous Circuit and System Design)
Category: Synthesis
Keyword: 
asynchronous circuit,  speed independence,  technology mapping,  Petri net,  event insertion, 
  Summary |  Full Text:PDF (879.3KB)
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/20
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 graph,  occurrence net,  asynchronous circuit,  derive logic functions,  state space explosion,  speed independence, 
  Summary |  Full Text:PDF (620.7KB)