MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers (1997) [114 citations — 23 self]

Download:
Download as a PDF | Download as a PS
by Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev, Ne Ru England
IEICE Transactions on Information and Systems
http://www.lsi.upc.es/~jordic/publications/ps/dcis96_petrify.ps.gz
Add To MetaCart

Abstract:

synthesis of asynchronous controllers

Citations

2749 Communicating Sequential Processes – Hoare - 1985
1096 A Calculus of Communicating Systems – MILNER - 1980
237 Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits – Dill - 2001
191 Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications – Chu - 1987
78 Automatic gate-level synthesis of speed-independent circuits – Beerel, Meng - 1992
75 Analysis of Discrete Event Coordination – Kurshan - 1990
72 Algorithms for synthesis and testing of asynchronous circuits – Lavagno, Sangiovanni-Vincentelli - 1993
47 Basic gate implementation of speed-independent circuits – Kondratyev, Kishinevsky, et al. - 1994
41 Bounded delay timing analysis of a class of CSP programs with choice – Hulgaard, Burns - 1994
37 General conditions for the decomposition of state holding elements – Burns - 1996
34 Synthesizing Petri nets from state-based models – Cortadella, Kishinevsky, et al. - 1995
29 On the models for designing VLSI asynchronous digital systems – Chu - 1986
25 Complete state encoding based on the theory of regions – Cortadella, Kishinevsky, et al. - 1996
20 The synthesis problem of Petri nets – Desel, Reisig - 1992
16 On synchronic structure of transition systems – Bernardinello, Michelis, et al. - 1994
13 Partial (Set) 2-Structures – Ehrenfeucht, Rozenberg - 1990
11 Polynomial algorithms for the synthesis of bounded nets – Darondeau - 1994
10 Methodology and tools for state encoding in asynchronous circuit synthesis – Cortadella, Kishinevsky, et al. - 1996
7 Extended state diagrams and reactive systems – Drusinsky - 1994
6 Coupling technology mapping, logic optimization and state encoding – Cortadella, Kishinevsky, et al. - 1996
2 ConcurrentHardware: The Theory and Practice of Self-Timed Design – Kishinevsky, Kondratyev, et al. - 1993
View or Download | Add to My Collection | Correct Errors