Petrify: Related publications
General description of the tool and its methodology
-
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev.
Petrify:
a tool for manipulating concurrent specifications and synthesis of asynchronous
controllers
IEICE Transactions on Information and Systems, Vol. E80-D, No.
3, March 1997, pages 315-325.
-
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev.
Petrify:
a tool for manipulating concurrent specifications and synthesis of asynchronous
controllers
Technical Report, Departament d'Arquitectura de Computadors,
Universitat Politecnica de Catalunya, April 1996.
-
M. Kishinevsky, J. Cortadella, A. Kondratyev and L. Lavagno.
Asynchronous
Interface Specification, Analysis and Synthesis
Technical Report LSI-98-14-R, Department of Software, Technical
University of Catalonia, March 1998. Extended version of the paper published
in DAC'98 (Powerpoint
slides)
-
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev.
Synthesis
of control circuits from STG specifications
In handouts of the Summer School on Asynchronous Circuit Design,
Technical University of Denmark, August 1997.
-
J. Cortadella.
Asynchronous circuit verification and synthesis with Petri nets.
Workshop on Hardware Design and Petri Nets (HWPN'98), Lisbon, June
23, 1998. (Invited talk).
(Powerpoint
slides)
-
J. Cortadella, M. Kishinevsky, A. Kondratyev and L. Lavagno.
Introduction to asynchronous circuit design: specification and synthesis
(tutorial).
6th. Int. Symp. on Advanced Research in Asynchronous Circuits and Systems,
Eilat (Israel), April 2000.
Powerpoint slides:
Synthesis of Petri nets
-
J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev.
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers, Vol. 47, No. 8, pages 859-882, August
1998.
-
J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev.
Deriving
Petri nets from finite transition systems
Technical Report UPC-DAC-96-19, Departament d'Arquitectura de Computadors,
Universitat Politecnica de Catalunya, June 1996.
-
J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev.
Synthesizing
Petri Nets from State-based Models
Proc. of ICCAD'95, pags. 164-171, Nov. 1995.
-
J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev.
Synthesizing
Petri Nets from State-based Models
Technical Report UPC-DAC-95-09, Departament d'Arquitectura de Computadors,
Universitat Politecnica de Catalunya, April 1995. (Extended version of
ICCAD'95 paper).
State encoding
-
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev.
A Region-Based Theory for State Assignment in Speed-Independent
Circuits
IEEE Transactions on Computer-Aided Design, Vol. 16, No. 8, pages
793-812, August 1997.
-
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev.
Complete
state encoding based on the theory of regions
Proc. of ASYNC'96, March 1996.
-
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev.
Methodology
and tools for state encoding in asynchronous circuit synthesis
Proc. of DAC'96, June 1996.
Logic decomposition and technology mapping
Concurrency reduction