Luciano Lavagno
Cited by
Cited by
SIS: A system for sequential circuit synthesis
ME Sentovich
Memorandom no. UCB/ERL M92/41, 1992
Hardware-software co-design of embedded systems: the POLIS approach
F Balarin, P Giusto, A Jurecska, C Passerone, E Sentovich, B Tabbara, ...
Springer Science & Business Media, 2012
Design of embedded systems: Formal models, validation, and synthesis
S Edwards, L Lavagno, EA Lee, A Sangiovanni-Vincentelli
Proceedings of the IEEE 85 (3), 366-390, 1997
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
IEICE Transactions on information and Systems 80 (3), 315-325, 1997
Metropolis: An integrated electronic system design environment
F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ...
Computer 36 (4), 45-52, 2003
Deriving Petri nets from finite transition systems
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
IEEE transactions on computers 47 (8), 859-882, 1998
Hardware-software codesign of embedded systems
M Chiodo, P Giusto, A Jurecska, HC Hsieh, A Sangiovanni-Vincentelli, ...
IEEE micro 14 (4), 26-36, 1994
Logic synthesis for asynchronous controllers and interfaces
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
Springer Science & Business Media, 2012
Desynchronization: Synthesis of asynchronous circuits from synchronous specifications
J Cortadella, A Kondratyev, L Lavagno, CP Sotiriou
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006
EDA for IC implementation, circuit design, and process technology
L Lavagno, L Scheffer, G Martin
CRC press, 2018
Algorithms for synthesis and testing of asynchronous circuits
L Lavagno, A Sangiovanni-Vincentelli
Springer Science & Business Media, 1993
UML for Real
L Lavagno, G Martin, B Selic
Kluwer Academic Publishers, 2003
Algorithms for synthesis of hazard-free asynchronous circuits
L Lavagno, K Keutzer, A Sangiovanni-Vincentelli
Proceedings of the 28th ACM/IEEE Design Automation Conference, 302-308, 1991
Scheduling for embedded real-time systems
F Balarin, L Lavagno, P Murthy, A Sangiovanni-Vincentelli, CD Systems
IEEE Design & Test of Computers 15 (1), 71-82, 1998
Formal models for embedded system design
M Sgroi, L Lavagno, A Sangiovanni-Vincentelli
IEEE Design & Test of Computers 17 (2), 14-27, 2000
Embedded UML: a merger of real-time UML and co-design
G Martin, L Lavagno, J Louis-Guerin
Proceedings of the ninth international symposium on Hardware/software …, 2001
Hardware design and Petri nets
A Yakovlev, L Gomes, L Lavagno
Kluwer Academic Publishers 1 (2), 3, 2000
Handshake protocols for de-synchronization
I Blunno, J Cortadella, A Kondratyev, L Lavagno, K Lwin, C Sotiriou
10th International Symposium on Asynchronous Circuits and Systems, 2004 …, 2004
Synetgy: Algorithm-hardware co-design for convnet accelerators on embedded fpgas
Y Yang, Q Huang, B Wu, T Zhang, L Ma, G Gambardella, M Blott, ...
Proceedings of the 2019 ACM/SIGDA international symposium on field …, 2019
ECL: A specification environment for system-level design
L Lavagno, E Sentovich
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 511-516, 1999
The system can't perform the operation now. Try again later.
Articles 1–20