Luciano Lavagno – författare

Visar alla böcker från författaren Luciano Lavagno. Handla med fri frakt och snabb leverans.

40 produkter

Kategorier

40 produkter

UML for Real
Design of Embedded Real-Time Systems
AvBran V. Selic,Grant Martinm. fl.
E-bok
PDF, Engelska, 2007
2 127 kr
Läs direkt efter köp
The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That world—as the proverbial Mr. Murphy tells us—is an unpredictable and often unfriendly place. Consequently, there is a very strong motivation to investigate and apply advanced design methods and technologies that could simplify and improve the reliability of real-time software design and implementation. As a result, from the first versions of UML issued in the mid 1990’s, designers of embedded and real-time systems have taken to UML with vigour and enthusiasm. However, the dream of a complete, model-driven design flow from specification through automated, optimised code generation, has been difficult to realise without some key improvements in UML semantics and syntax, specifically targeted to the real-time systems problem. With the enhancements in UML that have been proposed and are near standardisation with UML 2. 0, many of these improvements have been made. In the Spring of 2003, adoption of a formalised UML 2. 0 specification by the members of the Object Management Group (OMG) seems very close. It is therefore very appropriate to review the status of UML as a set of notations for embedded real-time systems - both the state of the art and best practices achieved up to this time with UML of previous generations - and where the changes embodied in the 2.
Synthesis and Control of Discrete Event Systems
AvBenoît Caillaud,Philippe Darondeaum. fl.
Inbunden, Engelska, 2002
1 106 kr
Skickas inom 10-15 vardagar
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.
Hardware Design and Petri Nets
AvAlex Yakovlev,Luis Gomesm. fl.
Inbunden, Engelska, 2000
1 655 kr
Skickas inom 10-15 vardagar
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 as 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. This text is divided into five parts, which cover aspects of behavioural 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. It serves as a reference source and may be used as a text for advanced courses on the subject.
Del 232 - Springer International Series in Engineering and Computer Science
Algorithms for Synthesis and Testing of Asynchronous Circuits
AvLuciano Lavagno,Alberto L. Sangiovanni-Vincentelli
Inbunden, Engelska, 1993
2 424 kr
Skickas inom 10-15 vardagar
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 eliminate totally 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. This book describes a variety of mathematical models and of algorithms that form the backbone and the body of a new design methodology for asyn chronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in ex ploring 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, nevertheless it could be used as a reference book in an advanced course in logic synthesis or asynchronous design.
Del 404 - Springer International Series in Engineering and Computer Science
Hardware-Software Co-Design of Embedded Systems
The POLIS Approach
AvF. Balarin,Paolo Giustom. fl.
Inbunden, Engelska, 1997
1 655 kr
Skickas inom 10-15 vardagar
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). Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it. 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. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.
EDA for IC System Design, Verification, and Testing
AvLouis Scheffer,Luciano Lavagnom. fl.
Inbunden, Engelska, 2006
3 208 kr
Skickas inom 3-6 vardagar
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 first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.
EDA for IC Implementation, Circuit Design, and Process Technology
AvLuciano Lavagno,Louis Schefferm. fl.
Inbunden, Engelska, 2006
2 706 kr
Skickas inom 10-15 vardagar
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. Save on the complete set.
Electronic Design Automation for Integrated Circuits Handbook, Second Edition - Two Volume Set
Taylor & Francis Ltd
2022
2 954 kr
Skickas inom 10-15 vardagar
Comprised of two volumes, Electronic Design Automation for Integrated Circuits Handbook, Second Edition addresses all major areas of EDA for integrated circuits (ICs). Chapters contributed by leading experts authoritatively discuss an array of topics ranging from system design to physical implementation.New to This Edition:Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costsSignificant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithographyNew coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, back-annotating system-level models, 3D circuit integration, and clock designOffering improved depth and modernity, Electronic Design Automation for Integrated Circuits Handbook, Second Edition – Two-Volume Set provides a valuable, state-of-the-art reference for EDA students, researchers, and professionals.
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
Volume 2
AvLuciano Lavagno,Grant Martinm. fl.
Inbunden, Engelska, 2026
3 740 kr
Skickas inom 10-15 vardagar
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology, the second of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Third Edition, thoroughly examines real‑time logic (RTL) to GDSII generation, analog/mixed‑signal design, physical verification, and technology computer‑aided design (TCAD). Chapters contributed by leading experts authoritatively discuss design for manufacturability (DFM) at the nanoscale, power supply network design and analysis, design modeling, and much more.New to This Edition:Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non‑recurring engineering (NRE) costsSignificant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithographyNew coverage of cutting‑edge applications and approaches realized in the decade since the publication of the second edition—these are illustrated by updates including the impact of new analog layout methods, chiplet integration, and power‑optimized design, in various chaptersOffering improved depth and modernity, this book provides a valuable, state‑of‑the‑art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for Integrated Circuits Handbook, Two Volume Set, Third Edition
Taylor & Francis Ltd
2026
4 410 kr
Skickas inom 10-15 vardagar
Comprised of two volumes, Electronic Design Automation for Integrated Circuits Handbook, Third Edition addresses all major areas of EDA for integrated circuits (ICs). Chapters contributed by leading experts authoritatively discuss an array of topics ranging from system design to physical implementation.New to This Edition:· Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs· Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography· New coverage of cutting-edge applications and approaches realized in the decade since the publication of the second edition—these are illustrated by updates including the impact of AI/ML and new analog layout methods, new high-level synthesis algorithms, and power-optimized designOffering improved depth and modernity, Electronic Design Automation for Integrated Circuits Handbook, Third Edition – Two-Volume Set provides a valuable, state-of-the-art reference for EDA students, researchers, and professionals.
Electronic Design Automation for Integrated Circuits Handbook
Volume 1
AvLouis K. Scheffer,Igor L. Markovm. fl.
E-bok
PDF, Engelska, 2026
3 083 kr
Läs direkt efter köp
Electronic Design Automation for IC System Design, Verification, and Testing, the first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Third Edition, thoroughly examines systemâ€‘level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, hardware acceleration and emulation, and much more.
New to This Edition:
Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower nonâ€‘recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cuttingâ€‘edge applications and approaches realized in the decade since the publication of the second editionâ€”these are illustrated by updates including the impact of AI/ML, new highâ€‘level synthesis algorithms, and RISCâ€‘V in various chapters
Offering improved depth and modernity, this book provides a valuable, stateâ€‘ofâ€‘theâ€‘art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
Volume 2
AvLouis K. Scheffer,Igor L. Markovm. fl.
E-bok
PDF, Engelska, 2026
4 287 kr
Läs direkt efter köp
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology, the second of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Third Edition, thoroughly examines real time logic (RTL) to GDSII generation, analog/mixed signal design, physical verification, and technology computer aided design (TCAD). Chapters contributed by leading experts authoritatively discuss design for manufacturability (DFM) at the nanoscale, power supply network design and analysis, design modeling, and much more.New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting edge applications and approaches realized in the decade since the publication of the second edition-these are illustrated by updates including the impact of new analog layout methods, chiplet integration, and power optimized design, in various chapters Offering improved depth and modernity, this book provides a valuable, state of the art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for Integrated Circuits Handbook
Volume 1
AvLouis K. Scheffer,Igor L. Markovm. fl.
E-bok
Engelska, 2026
3 083 kr
Läs direkt efter köp
Electronic Design Automation for IC System Design, Verification, and Testing, the first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Third Edition, thoroughly examines systemâ€‘level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, hardware acceleration and emulation, and much more.
New to This Edition:
Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower nonâ€‘recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cuttingâ€‘edge applications and approaches realized in the decade since the publication of the second editionâ€”these are illustrated by updates including the impact of AI/ML, new highâ€‘level synthesis algorithms, and RISCâ€‘V in various chapters
Offering improved depth and modernity, this book provides a valuable, stateâ€‘ofâ€‘theâ€‘art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
Volume 2
AvLouis K. Scheffer,Igor L. Markovm. fl.
E-bok
Engelska, 2026
4 275 kr
Läs direkt efter köp
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology, the second of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Third Edition, thoroughly examines real time logic (RTL) to GDSII generation, analog/mixed signal design, physical verification, and technology computer aided design (TCAD). Chapters contributed by leading experts authoritatively discuss design for manufacturability (DFM) at the nanoscale, power supply network design and analysis, design modeling, and much more.New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting edge applications and approaches realized in the decade since the publication of the second edition-these are illustrated by updates including the impact of new analog layout methods, chiplet integration, and power optimized design, in various chapters Offering improved depth and modernity, this book provides a valuable, state of the art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for Integrated Circuits Handbook
Volume 1
AvLuciano Lavagno,Grant E. Martinm. fl.
Inbunden, Engelska, 2026
2 706 kr
Skickas inom 10-15 vardagar
Electronic Design Automation for IC System Design, Verification, and Testing, the first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Third Edition, thoroughly examines system‑level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, hardware acceleration and emulation, and much more.New to This Edition:Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non‑recurring engineering (NRE) costsSignificant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithographyNew coverage of cutting‑edge applications and approaches realized in the decade since the publication of the second edition—these are illustrated by updates including the impact of AI/ML, new high‑level synthesis algorithms, and RISC‑V in various chaptersOffering improved depth and modernity, this book provides a valuable, state‑of‑the‑art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for IC System Design, Verification, and Testing
AvLuciano Lavagno,Igor L. Markovm. fl.
Häftad, Engelska, 2018
1 314 kr
Skickas inom 10-15 vardagar
The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more.New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costsSignificant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithographyNew coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, and back-annotating system-level modelsOffering improved depth and modernity, Electronic Design Automation for IC System Design, Verification, and Testing provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
AvLuciano Lavagno,Igor L. Markovm. fl.
Häftad, Engelska, 2018
1 314 kr
Skickas inom 10-15 vardagar
The second of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology thoroughly examines real-time logic (RTL) to GDSII (a file format used to transfer data of semiconductor physical layout) design flow, analog/mixed signal design, physical verification, and technology computer-aided design (TCAD). Chapters contributed by leading experts authoritatively discuss design for manufacturability (DFM) at the nanoscale, power supply network design and analysis, design modeling, and much more.New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costsSignificant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithographyNew coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on 3D circuit integration and clock designOffering improved depth and modernity, Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for IC System Design, Verification, and Testing
AvLouis K. Scheffer,Igor L. Markovm. fl.
E-bok
Engelska, 2017
1 542 kr
Läs direkt efter köp
The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more.
New to This Edition:

Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, and back-annotating system-level models
Offering improved depth and modernity, Electronic Design Automation for IC System Design, Verification, and Testing provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
AvLouis K. Scheffer,Igor L. Markovm. fl.
E-bok
Engelska, 2017
1 542 kr
Läs direkt efter köp
The second of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology thoroughly examines real-time logic (RTL) to GDSII (a file format used to transfer data of semiconductor physical layout) design flow, analog/mixed signal design, physical verification, and technology computer-aided design (TCAD). Chapters contributed by leading experts authoritatively discuss design for manufacturability (DFM) at the nanoscale, power supply network design and analysis, design modeling, and much more.
New to This Edition:

Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on 3D circuit integration and clock design
Offering improved depth and modernity, Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.
EDA for IC Implementation, Circuit Design, and Process Technology
AvGrant Martin,Louis Schefferm. fl.
E-bok
Engelska, 2018
2 998 kr
Läs direkt efter köp
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. Save on the complete set.
EDA for IC System Design, Verification, and Testing
AvGrant Martin,Luciano Lavagnom. fl.
E-bok
Engelska, 2018
2 998 kr
Läs direkt efter köp
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 first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.
UML for Real
Design of Embedded Real-Time Systems
AvLuciano Lavagno,Grant Martinm. fl.
Inbunden, Engelska, 2003
1 703 kr
Skickas inom 10-15 vardagar
The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That world—as the proverbial Mr. Murphy tells us—is an unpredictable and often unfriendly place. Consequently, there is a very strong motivation to investigate and apply advanced design methods and technologies that could simplify and improve the reliability of real-time software design and implementation. As a result, from the first versions of UML issued in the mid 1990’s, designers of embedded and real-time systems have taken to UML with vigour and enthusiasm. However, the dream of a complete, model-driven design flow from specification through automated, optimised code generation, has been difficult to realise without some key improvements in UML semantics and syntax, specifically targeted to the real-time systems problem. With the enhancements in UML that have been proposed and are near standardisation with UML 2. 0, many of these improvements have been made. In the Spring of 2003, adoption of a formalised UML 2. 0 specification by the members of the Object Management Group (OMG) seems very close. It is therefore very appropriate to review the status of UML as a set of notations for embedded real-time systems - both the state of the art and best practices achieved up to this time with UML of previous generations - and where the changes embodied in the 2.
EDA for IC System Design, Verification, and Testing
AvGrant Martin,Luciano Lavagnom. fl.
E-bok
PDF, Engelska, 2018
2 967 kr
Läs direkt efter köp
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 first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.
EDA for IC Implementation, Circuit Design, and Process Technology
AvGrant Martin,Louis Schefferm. fl.
E-bok
PDF, Engelska, 2018
2 998 kr
Läs direkt efter köp
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. Save on the complete set.
Synthesis and Control of Discrete Event Systems
AvBenoît Caillaud,Philippe Darondeaum. fl.
Häftad, Engelska, 2010
1 104 kr
Skickas inom 10-15 vardagar
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.
Hardware Design and Petri Nets
AvAlex Yakovlev,Luis Gomesm. fl.
Häftad, Engelska, 2010
1 653 kr
Skickas inom 10-15 vardagar
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.
UML for Real
Design of Embedded Real-Time Systems
AvLuciano Lavagno,Grant Martinm. fl.
Häftad, Engelska, 2010
1 703 kr
Skickas inom 10-15 vardagar
The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That world—as the proverbial Mr. Murphy tells us—is an unpredictable and often unfriendly place. Consequently, there is a very strong motivation to investigate and apply advanced design methods and technologies that could simplify and improve the reliability of real-time software design and implementation. As a result, from the first versions of UML issued in the mid 1990’s, designers of embedded and real-time systems have taken to UML with vigour and enthusiasm. However, the dream of a complete, model-driven design flow from specification through automated, optimised code generation, has been difficult to realise without some key improvements in UML semantics and syntax, specifically targeted to the real-time systems problem. With the enhancements in UML that have been proposed and are near standardisation with UML 2. 0, many of these improvements have been made. In the Spring of 2003, adoption of a formalised UML 2. 0 specification by the members of the Object Management Group (OMG) seems very close. It is therefore very appropriate to review the status of UML as a set of notations for embedded real-time systems - both the state of the art and best practices achieved up to this time with UML of previous generations - and where the changes embodied in the 2.
Del 232 - Springer International Series in Engineering and Computer Science
Algorithms for Synthesis and Testing of Asynchronous Circuits
AvLuciano Lavagno,Alberto L. Sangiovanni-Vincentelli
Häftad, Engelska, 2012
2 421 kr
Skickas inom 10-15 vardagar
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 eliminate totally 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. This book describes a variety of mathematical models and of algorithms that form the backbone and the body of a new design methodology for asyn chronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in ex ploring 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, nevertheless it could be used as a reference book in an advanced course in logic synthesis or asynchronous design.
Del 404 - Springer International Series in Engineering and Computer Science
Hardware-Software Co-Design of Embedded Systems
The POLIS Approach
AvF. Balarin,Paolo Giustom. fl.
Häftad, Engelska, 2013
1 653 kr
Skickas inom 10-15 vardagar
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). Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it. 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. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.
Algorithms for Synthesis and Testing of Asynchronous Circuits
AvAlberto L. Sangiovanni-Vincentelli,Luciano Lavagno
E-bok
PDF, Engelska, 2012
3 181 kr
Läs direkt efter köp
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 eliminate totally 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. This book describes a variety of mathematical models and of algorithms that form the backbone and the body of a new design methodology for asyn chronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in ex ploring 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, nevertheless it could be used as a reference book in an advanced course in logic synthesis or asynchronous design.

Luciano Lavagno – författare

UML for Real

Synthesis and Control of Discrete Event Systems

Hardware Design and Petri Nets

Algorithms for Synthesis and Testing of Asynchronous Circuits

Hardware-Software Co-Design of Embedded Systems

EDA for IC System Design, Verification, and Testing

EDA for IC Implementation, Circuit Design, and Process Technology

Electronic Design Automation for Integrated Circuits Handbook, Second Edition - Two Volume Set

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Electronic Design Automation for Integrated Circuits Handbook, Two Volume Set, Third Edition

Electronic Design Automation for Integrated Circuits Handbook

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Electronic Design Automation for Integrated Circuits Handbook

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Electronic Design Automation for Integrated Circuits Handbook

Electronic Design Automation for IC System Design, Verification, and Testing

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Electronic Design Automation for IC System Design, Verification, and Testing

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

EDA for IC Implementation, Circuit Design, and Process Technology

EDA for IC System Design, Verification, and Testing

UML for Real

EDA for IC System Design, Verification, and Testing

EDA for IC Implementation, Circuit Design, and Process Technology

Synthesis and Control of Discrete Event Systems

Hardware Design and Petri Nets

UML for Real

Algorithms for Synthesis and Testing of Asynchronous Circuits

Hardware-Software Co-Design of Embedded Systems

Algorithms for Synthesis and Testing of Asynchronous Circuits