| SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992 | 2486 | 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 | 1145 | 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 | 818 | 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 | 795 | 1997 |
| Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003 | 674 | 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 | 350 | 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 | 343 | 1994 |
| Logic synthesis for asynchronous controllers and interfaces J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev Springer Science & Business Media, 2012 | 326 | 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 | 285 | 2006 |
| EDA for IC implementation, circuit design, and process technology L Lavagno, L Scheffer, G Martin CRC press, 2018 | 244* | 2018 |
| Algorithms for synthesis and testing of asynchronous circuits L Lavagno, A Sangiovanni-Vincentelli Springer Science & Business Media, 1993 | 203 | 1993 |
| UML for Real L Lavagno, G Martin, B Selic Kluwer Academic Publishers, 2003 | 196 | 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 | 190 | 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 | 184 | 1998 |
| Formal models for embedded system design M Sgroi, L Lavagno, A Sangiovanni-Vincentelli IEEE Design & Test of Computers 17 (2), 14-27, 2000 | 166 | 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 | 156 | 2001 |
| Hardware design and Petri nets A Yakovlev, L Gomes, L Lavagno Kluwer Academic Publishers 1 (2), 3, 2000 | 147 | 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 | 145 | 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 | 140 | 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 | 134 | 1999 |
