Lavagno, Luciano 1959-
Overview
| Works: | 64 works in 170 publications in 1 language and 2,176 library holdings |
|---|---|
| Genres: | Conference papers and proceedings Academic theses |
| Roles: | Author, Editor, Collector, Other, Contributor, Opponent, htt |
Publication Timeline
.
Most widely held works by
Luciano Lavagno
UML for real : design of embedded real-time systems by
Luciano Lavagno(
)
26 editions published between 2003 and 2011 in English and held by 343 WorldCat member libraries worldwide
The Unified Modeling Language is rapidly gaining acceptance as the mechanism of choice to model complex software systems at various steps of their specification and design, using a number of orthogonal views that illustrate use cases, class diagrams and even detailed state machine-based behaviors of objects. The book aims to show the reality of UML as a medium for specification and implementation of real-time systems, illustrating both the current capabilities and limits of UML for this task, and future directions that will improve its usefulness for real-time and embedded product design
26 editions published between 2003 and 2011 in English and held by 343 WorldCat member libraries worldwide
The Unified Modeling Language is rapidly gaining acceptance as the mechanism of choice to model complex software systems at various steps of their specification and design, using a number of orthogonal views that illustrate use cases, class diagrams and even detailed state machine-based behaviors of objects. The book aims to show the reality of UML as a medium for specification and implementation of real-time systems, illustrating both the current capabilities and limits of UML for this task, and future directions that will improve its usefulness for real-time and embedded product design
EDA for IC implementation, circuit design, and process technology by
Luciano Lavagno(
)
11 editions published between 2005 and 2018 in English and held by 282 WorldCat member libraries worldwide
"Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The second volume, EDA for IC Implementation, Circuit Design, and Process Technology, thoroughly examines real-time logic to GDSII (a file format used to transfer data of semiconductor physical layout), analog/mixed signal design, physical verification, and technology CAD (TCAD). Chapters contributed by leading experts authoritatively discuss design for manufacturability at the nanoscale, power supply network design and analysis, design modeling, and much more."--Publisher's website
11 editions published between 2005 and 2018 in English and held by 282 WorldCat member libraries worldwide
"Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The second volume, EDA for IC Implementation, Circuit Design, and Process Technology, thoroughly examines real-time logic to GDSII (a file format used to transfer data of semiconductor physical layout), analog/mixed signal design, physical verification, and technology CAD (TCAD). Chapters contributed by leading experts authoritatively discuss design for manufacturability at the nanoscale, power supply network design and analysis, design modeling, and much more."--Publisher's website
EDA for IC system design, verification, and testing by
Lou Scheffer(
)
13 editions published between 2005 and 2018 in English and held by 257 WorldCat member libraries worldwide
Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits. This book examines system-level design, microarchitectural design, logical verification, and testing. It discusses processor modeling and design tools, hardware acceleration and emulation, and more
13 editions published between 2005 and 2018 in English and held by 257 WorldCat member libraries worldwide
Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits. This book examines system-level design, microarchitectural design, logical verification, and testing. It discusses processor modeling and design tools, hardware acceleration and emulation, and more
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems by
Mary Jane Irwin(
)
2 editions published in 2004 in English and held by 244 WorldCat member libraries worldwide
2 editions published in 2004 in English and held by 244 WorldCat member libraries worldwide
Hardware design and Petri nets by
Alex Yakovlev(
Book
)
11 editions published between 2000 and 2011 in English and held by 200 WorldCat member libraries worldwide
Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages. Hardware Design and Petri Nets is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets. Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject
11 editions published between 2000 and 2011 in English and held by 200 WorldCat member libraries worldwide
Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages. Hardware Design and Petri Nets is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets. Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject
Electronic design automation for IC implementation, circuit design, and process technology by
Luciano Lavagno(
)
13 editions published between 2006 and 2018 in English and held by 174 WorldCat member libraries worldwide
Section 1. RTL to GDSII, or synthesis, place, and route -- Section 2. Analog and mixed-signal design -- Section 3. Physical verification -- Section 4. Technology computer-aided design
13 editions published between 2006 and 2018 in English and held by 174 WorldCat member libraries worldwide
Section 1. RTL to GDSII, or synthesis, place, and route -- Section 2. Analog and mixed-signal design -- Section 3. Physical verification -- Section 4. Technology computer-aided design
Algorithms for synthesis and testing of asynchronous circuits by
Luciano Lavagno(
Book
)
7 editions published between 1993 and 1996 in English and held by 159 WorldCat member libraries worldwide
While the book has not been written as a textbook, nevertheless it could be used as a reference book in an advanced course in logic synthesis or asynchronous design. Algorithms for Synthesis and Testing of Asynchronous Circuits also includes an extensive literature review. The review summarizes and compares classical papers from the 1960s with the most recent developments in the areas of asynchronous circuit design testing and verification
7 editions published between 1993 and 1996 in English and held by 159 WorldCat member libraries worldwide
While the book has not been written as a textbook, nevertheless it could be used as a reference book in an advanced course in logic synthesis or asynchronous design. Algorithms for Synthesis and Testing of Asynchronous Circuits also includes an extensive literature review. The review summarizes and compares classical papers from the 1960s with the most recent developments in the areas of asynchronous circuit design testing and verification
Electronic design automation for IC system design, verification, and testing by
Luciano Lavagno(
)
9 editions published between 2016 and 2018 in English and held by 126 WorldCat member libraries worldwide
As part of a two-book series devoted to Electronic Design Automation for Integrated Circuits, this first installment examines logical design, focusing on system-level and micro-architectural design, verification and testing. It begins with a general overview followed by application-specific tools and methods, specification and modeling languages, high-level synthesis approaches, power estimation methods, simulation techniques and testing procedures
9 editions published between 2016 and 2018 in English and held by 126 WorldCat member libraries worldwide
As part of a two-book series devoted to Electronic Design Automation for Integrated Circuits, this first installment examines logical design, focusing on system-level and micro-architectural design, verification and testing. It begins with a general overview followed by application-specific tools and methods, specification and modeling languages, high-level synthesis approaches, power estimation methods, simulation techniques and testing procedures
Hardware-software co-design of embedded systems : the POLIS approach by
Felice Balarin(
)
5 editions published in 1997 in English and held by 87 WorldCat member libraries worldwide
Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects, and will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students
5 editions published in 1997 in English and held by 87 WorldCat member libraries worldwide
Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects, and will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students
Synthesis and control of discrete event systems by
Benoît Caillaud(
)
1 edition published in 2002 in English and held by 71 WorldCat member libraries worldwide
The first motivation of Synthesis and Control of Discrete Event Systems is to inform the reader of recent developments and current trends in system synthesis. This is a field of active research aiming to supply efficient techniques for developing safe systems in various areas, covering control of embedded and manufacturing systems, distributed implementation of systems and protocols, and hardware circuits. In all areas, considerations about distribution and care for an efficient implementation of the synthesised systems play an increasing role, justified by better applicability to problems encountered in the design of practical systems. The second motivation of the book, which is a selection of presentations given at two workshops on synthesis of controllers and on synthesis of concurrent systems, is to incite the research community to establish stronger links between two subjects that could be better related, as several presentations do show. The selected papers are research papers ranging from theory to practice, with automata, products of automata and Petri nets playing a prominent role. All areas mentioned above as areas of application of system synthesis are covered by some of the selected papers
1 edition published in 2002 in English and held by 71 WorldCat member libraries worldwide
The first motivation of Synthesis and Control of Discrete Event Systems is to inform the reader of recent developments and current trends in system synthesis. This is a field of active research aiming to supply efficient techniques for developing safe systems in various areas, covering control of embedded and manufacturing systems, distributed implementation of systems and protocols, and hardware circuits. In all areas, considerations about distribution and care for an efficient implementation of the synthesised systems play an increasing role, justified by better applicability to problems encountered in the design of practical systems. The second motivation of the book, which is a selection of presentations given at two workshops on synthesis of controllers and on synthesis of concurrent systems, is to incite the research community to establish stronger links between two subjects that could be better related, as several presentations do show. The selected papers are research papers ranging from theory to practice, with automata, products of automata and Petri nets playing a prominent role. All areas mentioned above as areas of application of system synthesis are covered by some of the selected papers
Algorithms for Synthesis and Testing of Asynchronous Circuits by
Luciano Lavagno(
)
2 editions published in 1993 in English and held by 63 WorldCat member libraries worldwide
The design of asynchronous circuits is increasingly important in solving problems such as complexity management, modularity, power consumption and clock distribution in large digital integrated circuits. Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards synchronous design techniques that had much more structure and were much easier to verify and synthesize. System design requirements made it impossible to totally eliminate the use of asynchronous circuits. Given the objective difficulty encountered by designers, the asynchronous components of electronic systems, such as interfaces, became a serious bottleneck in the design process. The use of new models and some theoretical breakthroughs made it possible to develop asynchronous design techniques that were reliable and effective. Algorithms for Synthesis and Testing of Asynchronous Circuits describes a variety of mathematical models and of algorithms that form the backbone and the body of a new design methodology for asynchronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in exploring the possibility of designing asynchronous circuits. It requires a solid mathematical background in discrete event systems and algorithms. While the book has not been written as a textbook, it could nevertheless be used as a reference book in an advanced course in logic synthesis or asynchronous design. Algorithms for Synthesis and Testing of Asynchronous Circuits also includes an extensive literature review, which summarizes and compares classical papers from the 1960s with the most recent developments in the areas of asynchronous circuit design testing and verification. The validity and utility of employment tests have become entangled in the debate over the 1991 Civil Rights Bill. Worried about compliance with new federal guidelines for test validity, and concerned about possible lawsuits, the business world became wary of pre-employment testing in the early 1980s, but the use of employment testing increased throughout that decade
2 editions published in 1993 in English and held by 63 WorldCat member libraries worldwide
The design of asynchronous circuits is increasingly important in solving problems such as complexity management, modularity, power consumption and clock distribution in large digital integrated circuits. Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards synchronous design techniques that had much more structure and were much easier to verify and synthesize. System design requirements made it impossible to totally eliminate the use of asynchronous circuits. Given the objective difficulty encountered by designers, the asynchronous components of electronic systems, such as interfaces, became a serious bottleneck in the design process. The use of new models and some theoretical breakthroughs made it possible to develop asynchronous design techniques that were reliable and effective. Algorithms for Synthesis and Testing of Asynchronous Circuits describes a variety of mathematical models and of algorithms that form the backbone and the body of a new design methodology for asynchronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in exploring the possibility of designing asynchronous circuits. It requires a solid mathematical background in discrete event systems and algorithms. While the book has not been written as a textbook, it could nevertheless be used as a reference book in an advanced course in logic synthesis or asynchronous design. Algorithms for Synthesis and Testing of Asynchronous Circuits also includes an extensive literature review, which summarizes and compares classical papers from the 1960s with the most recent developments in the areas of asynchronous circuit design testing and verification. The validity and utility of employment tests have become entangled in the debate over the 1991 Civil Rights Bill. Worried about compliance with new federal guidelines for test validity, and concerned about possible lawsuits, the business world became wary of pre-employment testing in the early 1980s, but the use of employment testing increased throughout that decade
Electronic design automation for integrated circuits handbook(
Book
)
4 editions published between 2006 and 2016 in English and held by 49 WorldCat member libraries worldwide
4 editions published between 2006 and 2016 in English and held by 49 WorldCat member libraries worldwide
Algorithms for synthesis and testing of asynchronous circuits by
Luciano Lavagno(
Book
)
3 editions published between 1993 and 1996 in English and held by 22 WorldCat member libraries worldwide
3 editions published between 1993 and 1996 in English and held by 22 WorldCat member libraries worldwide
Design automation of real-life asynchronous devices and systems by
Luciano Lavagno(
)
4 editions published between 2006 and 2007 in English and held by 9 WorldCat member libraries worldwide
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks is becoming impossible. In static timing analysis process variations and signal integrity issues stretch the timing margins to the point where they become too conservative and result in significant overdesign. Importance and difficulty of such problems push some developers to once again turn to asynchronous alternatives. However, the electronics industry for the most part is still reluctant to adopt asynchronous design (with a few notable exceptions) due to a common belief that we still lack a commercial-quality Electronic Design Automation tools (similar to the synchronous RTL-to-GDSII flow) for asynchronous circuits. The purpose of this paper is to counteract this view by presenting design flows that can tackle large designs without significant changes with respect to synchronous design flow. We are limiting ourselves to four design flows that we believe to be closest to this goal. We start from the Tangram flow, because it is the most commercially proven and it is one of the oldest from a methodological point of view. The other three flows (Null Convention Logic, de-synchronization, and gate-level pipelining) could be considered together as asynchronous re-implementations of synchronous (RTL- or gate-level) specifications. The main common idea is substituting the global clocks by local synchronizations. Their most important aspect is to open the possibility to implement large legacy synchronous designs in an almost "push button" manner, where all asynchronous machinery is hidden, so that synchronous RTL designers do not need to be re-educated. These three flows offer a trade-off from very low overhead, almost synchronous implementations, to very high performance, extremely robust dual-rail pipelines
4 editions published between 2006 and 2007 in English and held by 9 WorldCat member libraries worldwide
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks is becoming impossible. In static timing analysis process variations and signal integrity issues stretch the timing margins to the point where they become too conservative and result in significant overdesign. Importance and difficulty of such problems push some developers to once again turn to asynchronous alternatives. However, the electronics industry for the most part is still reluctant to adopt asynchronous design (with a few notable exceptions) due to a common belief that we still lack a commercial-quality Electronic Design Automation tools (similar to the synchronous RTL-to-GDSII flow) for asynchronous circuits. The purpose of this paper is to counteract this view by presenting design flows that can tackle large designs without significant changes with respect to synchronous design flow. We are limiting ourselves to four design flows that we believe to be closest to this goal. We start from the Tangram flow, because it is the most commercially proven and it is one of the oldest from a methodological point of view. The other three flows (Null Convention Logic, de-synchronization, and gate-level pipelining) could be considered together as asynchronous re-implementations of synchronous (RTL- or gate-level) specifications. The main common idea is substituting the global clocks by local synchronizations. Their most important aspect is to open the possibility to implement large legacy synchronous designs in an almost "push button" manner, where all asynchronous machinery is hidden, so that synchronous RTL designers do not need to be re-educated. These three flows offer a trade-off from very low overhead, almost synchronous implementations, to very high performance, extremely robust dual-rail pipelines
Algorithms for Synthesis and Testing of Asynchronous Circuits by
Luciano Lavagno(
)
in English and held by 8 WorldCat member libraries worldwide
in English and held by 8 WorldCat member libraries worldwide
Synthesis and testing of bounded wire delay asynchronous circuits from signal transition graphs by
Luciano Lavagno(
Book
)
4 editions published in 1992 in English and held by 7 WorldCat member libraries worldwide
4 editions published in 1992 in English and held by 7 WorldCat member libraries worldwide
EDA for IC implementation, circuit design, and process technology(
Book
)
1 edition published in 2006 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 2006 in English and held by 5 WorldCat member libraries worldwide
Electronic design automation for IC system design, verification, and testing(
Book
)
1 edition published in 2016 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 2016 in English and held by 4 WorldCat member libraries worldwide
High speed asynchronous arbiter by
A. V Yakovlev(
Book
)
2 editions published in 1993 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1993 in English and held by 3 WorldCat member libraries worldwide
more
fewer
Audience Level
| 0 |
 |
1 | ||
| General | Special | |||
Related Identities
- Martin, Grant (Grant Edmund) Editor
- Scheffer, Lou Other Author Editor
- Sangiovanni-Vincentelli, Alberto
- Selic, Bran Editor
- Zhao, Wei
- ACM Digital Library
- Mahlke, Scott
- Irwin, Mary Jane
- Yakovlev, Alex Other Author Editor Collector
- Gomes, Luís Other Collector Editor
Useful Links
Associated Subjects
Artificial intelligence Asynchronous circuits Asynchronous circuits--Design and construction Asynchronous circuits--Mathematical models Asynchronous circuits--Testing Compilers (Computer programs) Computer-aided design Computer-aided engineering Computer engineering Computers Computers, Special purpose Computer science Computer software--Development Digital integrated circuits--Design and construction Discrete-time systems Electrical engineering Electronic circuits Electronic data processing Electronic digital computers--Circuits--Mathematical models Electronic digital computers--Circuits--Testing Electronics Embedded computer systems Embedded computer systems--Computer-aided design Embedded computer systems--Design and construction Embedded computer systems--Design and construction--Data processing Embedded computer systems--Programming Engineering Integrated circuits Integrated circuits--Computer-aided design Integrated circuits--Design Integrated circuits--Design and construction Integrated circuits--Testing Integrated circuits--Verification--Data processing Integrated circuits--Very large scale integration Machinery Manufacturing processes Microelectronics Modeling languages (Computer science) Object-oriented methods (Computer science) Operating systems (Computers) Parallel processing (Electronic computers) Petri nets Programmable controllers Programmable controllers--Computer-aided design Real-time data processing Software engineering System analysis Systems engineering UML (Computer science)
