Jordi Cortadella

Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

Jordi Cortadella, Luciano Lavagno, Alex Yakovlev · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 1996 · 505 citations · Full text

Engineering, Computer Engineering, Computer Science +13

Deriving Petri nets from finite transition systems

Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno et al. · IEEE Transactions on Computers · 1998 · 235 citations · Full text

Engineering, Computer Engineering, Computer Science +13

Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications

Jordi Cortadella, A. Kondratyev, Luciano Lavagno et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 177 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Synthesis of synchronous elastic architectures

Jordi Cortadella, Mike Kishinevsky, Bill Grundmann · 2006 · 162 citations · Full text

Engineering, Computer Engineering, Computer Science +15

Working-zone encoding for reducing the energy in microprocessor address buses

Enric Musoll, T. Lang, Jordi Cortadella · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1998 · 157 citations · Full text

Engineering, Computer Engineering, Computer Science +17