Michael KISHINEVSKY


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/25
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 circuitspeed independencetechnology mappingPetri netevent insertion
 Summary | Full Text:PDF