WorldCat Identities

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
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
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
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

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
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
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
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
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
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
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
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

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

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
Algorithms for Synthesis and Testing of Asynchronous Circuits by Luciano Lavagno( )

in English and held by 8 WorldCat member libraries worldwide

Hardware Design and Petri Nets( )

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

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

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

High speed asynchronous arbiter by A. V Yakovlev( Book )

2 editions published in 1993 in English and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.58 (from 0.41 for Proceeding ... to 0.94 for Hardware D ...)

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)
Electronic design automation for integrated circuits handbook
Covers
EDA for IC implementation, circuit design, and process technologyEDA for IC system design, verification, and testingHardware design and Petri netsElectronic design automation for IC implementation, circuit design, and process technologyAlgorithms for synthesis and testing of asynchronous circuitsElectronic design automation for IC system design, verification, and testingHardware-software co-design of embedded systems : the POLIS approachElectronic design automation for integrated circuits handbook
Alternative Names
Luciano Lavagno onderzoeker

Languages
English (121)