Books and chapters


[CS16]
Jordi Cortadella and Sachin S. Sapatnekar. Static timing analysis. In Luciano Lavagno, Igor L. Markov, Grant E. Martin, and Louis K. Scheffer, editors, Electronic Design Automation for Integrated Circuits Handbook, Second Edition. CRC Presss, 2016. [ bib | URL ]
[CR04]
Jordi Cortadella and Wolfgang Reisig, editors. Applications and Theory of Petri Nets 2004, volume 3099 of Lecture Notes in Computer Science. Springer-Verlag, 2004. [ bib | URL ]
[CCKY04]
Josep Carmona, Jordi Cortadella, Victor Khomenko, and Alex Yakovlev. Synthesis of asynchronous hardware from Petri nets. In J. Desel, W. Reisig, and G. Rozenberg, editors, Lectures on Concurrency and Petri Nets: Advances in Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 345--401. Springer-Verlag, 2004. [ bib | PDF ]
[CYR02]
Jordi Cortadella, Alexandre Yakovlev, and Grzegorz Rozenberg, editors. Advances in Concurrency and Hardware Design, volume 2549 of Lecture Notes in Computer Science. Springer-Verlag, November 2002. [ bib | URL ]
[CCP02]
Josep Carmona, Jordi Cortadella, and Enric Pastor. Synthesis of reactive systems: Application to asynchronous circuit design. In J. Cortadella, A. Yakovlev, and G. Rozenberg, editors, Advances in Concurrency and Hardware Design, volume 2549 of Lecture Notes in Computer Science, pages 108--151. Springer-Verlag, 2002. [ bib | PDF ]
[CKK+02]
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, and Alexandre Yakovlev. Logic synthesis of asynchronous controllers and interfaces. Advanced Microelectronics. Springer-Verlag, 2002. [ bib | URL ]
[SC95]
Fermín Sánchez and Jordi Cortadella. Resource-constrained software pipelining for high-level synthesis of DSP systems. In M. Moonen and F. Catthoor, editors, Algorithms and Parallel VLSI Architectures III. Elsevier Science Publishers, 1995. [ bib ]
[CLV87]
Jordi Cortadella, José M. Llabería, and Mateo Valero. Arquitecturas orientadas a lenguajes basados en la lógica. In Inteligencia Artificial, chapter 21, pages 233--243. Ed. Marcombo, 1987. [ bib ]

This file was generated by bibtex2html 1.98.

 


Back to GAVINA group