Embedded system, Asynchronous communication, Software, Embedded software and Formal specification are his primary areas of study. He has researched Embedded system in several fields, including Computer architecture, Logic synthesis, Application software, Hardware software and Formal verification. His Asynchronous communication study integrates concerns from other disciplines, such as Asynchronous circuit, Asynchronous system and Concurrency.
His studies deal with areas such as Electronic system-level design and verification, Instruction set and Computer engineering as well as Software. Luciano Lavagno has included themes like High-level synthesis, Software design, Design flow and Functional specification in his Embedded software study. His work deals with themes such as Finite-state machine and Formal methods, which intersect with Formal specification.
Luciano Lavagno mainly focuses on Embedded system, Asynchronous communication, Software, Computer architecture and Wireless sensor network. His Embedded system study combines topics in areas such as Model-based design and Embedded software. His research integrates issues of Electronic circuit, Asynchronous circuit, Logic synthesis, Asynchronous system and Petri net in his study of Asynchronous communication.
His study looks at the relationship between Petri net and topics such as Theoretical computer science, which overlap with Concurrency and Finite-state machine. Software and Formal specification are frequently intertwined in his study. His Design flow research is multidisciplinary, incorporating perspectives in Integrated circuit design and Electronic design automation.
His main research concerns Field-programmable gate array, Embedded system, Parallel computing, High-level synthesis and Capacitive sensing. His research on Field-programmable gate array also deals with topics like
His work carried out in the field of Software brings together such families of science as Model-based design, Wireless sensor network, Application domain and Source code. His High-level synthesis research also works with subjects such as
Luciano Lavagno mainly investigates Field-programmable gate array, Capacitive sensing, Computer hardware, High-level synthesis and Embedded system. The various areas that he examines in his Field-programmable gate array study include Overhead, SystemC, Speedup and Memory corruption. Luciano Lavagno interconnects Acoustics, Electronic engineering and Artificial intelligence in the investigation of issues within Capacitive sensing.
His Computer hardware research includes elements of Key and Task. His High-level synthesis research incorporates elements of Parallel programming model, Software, Database and Source code. He works in the field of Embedded system, focusing on Electronic design automation in particular.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Hardware-software co-design of embedded systems: the POLIS approach
Felice Balarin;Massimiliano Chiodo;Paolo Giusto;Harry Hsieh.
(1997)
Design of embedded systems: formal models, validation, and synthesis
S. Edwards;L. Lavagno;E.A. Lee;A. Sangiovanni-Vincentelli.
Proceedings of the IEEE (1997)
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
Jordi Cortadella;Michael Kishinevsky;Alex Kondratyev;Luciano Lavagno.
IEICE Transactions on Information and Systems (1997)
Hardware-Software Co-Design of Embedded Systems
Felice Balarin;Massimiliano Chiodo;Paolo Giusto;Harry Hsieh.
(1997)
Metropolis: an integrated electronic system design environment
F. Balarin;Y. Watanabe;H. Hsieh;L. Lavagno.
IEEE Computer (2003)
Hardware-software codesign of embedded systems
M. Chiodo;P. Giusto;A. Jurecska;H.C. Hsieh.
IEEE Micro (1994)
Deriving Petri nets from finite transition systems
J. Cortadella;M. Kishinevsky;L. Lavagno;A. Yakovlev.
IEEE Transactions on Computers (1998)
Logic Synthesis for Asynchronous Controllers and Interfaces
Jordi Cortadella;Michael Kishinevsky;A. Kondratyev;Luciano Lavagno.
(2002)
Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications
J. Cortadella;A. Kondratyev;L. Lavagno;C.P. Sotiriou.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2006)
UML for Real
Luciano Lavagno;Grant Martin;Bran Selic.
(2003)
University of California, Berkeley
Universitat Politècnica de Catalunya
Newcastle University
University of California, San Diego
Polytechnic University of Turin
Facebook (United States)
Polytechnic University of Turin
Google (United States)
University of California, Berkeley
University of California, Berkeley
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: