Today more than 90% of all programmable processors are employed in embedded systems. This number is actually not surprising, contemplating that in a typical home you might find one or two PCs equipped with high-performance standard processors, and probably dozens of embedded systems, including electronic entertainment, household, and telecom devices, each of them equipped with one or more embedded processors. The question arises why programmable processors are so popular in embedded system design. The answer lies in the fact that they help to narrow the gap between chip capacity and designer productivity. Embedded processors cores are nothing but one step further towards improved design reuse, just along the lines of standard cells in logic synthesis and macrocells in RTL synthesis in earlier times of IC design. Additionally, programmable processors permit to migrate functionality from hardware to software, resulting in an even improved reuse factor as well as greatly increased flexibility.

The LISA processor design platform (LPDP) presented in Architecture Exploration for Embedded Processors with LISA addresses recent design challenges and results in highly satisfactory solutions. The LPDP covers all major high-level phases of embedded processor design and is capable of automatically generating almost all required software development tools from processor models in the LISA language. It supports a profiling-based, stepwise refinement of processor models down to cycle-accurate and even RTL synthesis models. Moreover, it elegantly avoids model inconsistencies otherwise omnipresent in traditional design flows.

The next step in design reuse is already in sight: SoC platforms, i.e., partially pre-designed multi-processor templates that can be quickly tuned towards given applications thereby guaranteeing a high degree of hardware/software reuse in system-level design. Consequently, the LPDP approach goes even beyond processor architecture design. The LPDP solution explicitly addresses SoC integration issues by offering comfortable APIs for external simulation environments as well as clever solutions for the problem of both efficient and user-friendly heterogeneous multiprocessor debugging.

Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have very regular structures that can be easily described at a higher level of abstraction. For example, describing (and verifying) an integer multiplier at the bit-level is very difficult, while the verification becomes easy when the outputs are grouped to build a bit-string. Recently, several approaches for formal circuit verification have been proposed that make use of these regularities. These approaches are based on Word-Level Decision Diagrams (WLDDs) which are graph-based representations of functions (similar to BDDs) that allow for the representation of functions with a Boolean range and an integer domain. Formal Verification of Circuits is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Firstly, different types of decision diagrams (including WLDDs) are introduced and theoretical properties are discussed that give further insight into the data structure. Secondly, implementation and minimization concepts are presented. Applications to arithmetic circuit verification and verification of designs specified by hardware description languages are described to show how WLDDs work in practice. Formal Verification of Circuits is intended for CAD developers and researchers as well as designers using modern verification tools. It will help people working with formal verification (in industry or academia) to keep informed about recent developments in this area.

Second in the series, Practical Aspects of Embedded System Design using Microcontrollers emphasizes the same philosophy of Learning by Doing and Hands on Approach with the application oriented case studies developed around the PIC16F877 and AT 89S52, today s most popular microcontrollers. Readers with an academic and theoretical understanding of embedded microcontroller systems are introduced to the practical and industry oriented Embedded System design. When kick starting a project in the laboratory a reader will be able to benefit experimenting with the ready made designs and C programs. One can also go about carving a big dream project by treating the designs and programs presented in this book as building blocks. Practical Aspects of Embedded System Design using Microcontrollers is yet another valuable addition and guides the developers to achieve shorter product development times with the use of microcontrollers in the days of increased software complexity.

Going through the text and experimenting with the programs in a laboratory will definitely empower the potential reader, having more or less programming or electronics experience, to build embedded systems using microcontrollers around the home, office, store, etc. Practical Aspects of Embedded System Design using Microcontrollers will serve as a good reference for the academic community as well as industry professionals and overcome the fear of the newbies in this field of immense global importance. "

The updated second edition of this book provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. The author explains methodology concepts for constructing testbenches that are modular and reusable. The book includes extensive coverage of the SystemVerilog 3.1a constructs such as classes, program blocks, randomization, assertions, and functional coverage. This second edition contains a new chapter that covers programs and interfaces as well as chapters with updated information on directed testbench and OOP, layered, and random testbench for an ATM switch.

This self-contained book addresses the need for analysis, characterization, estimation, and optimization of the various forms of power dissipation in the presence of process variations of nano-CMOS technologies. The authors show very large-scale integration (VLSI) researchers and engineers how to minimize the different types of power consumption of digital circuits. The material deals primarily with high-level (architectural or behavioral) energy dissipation.

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation. The core of this book focuses on new techniques that narrow the performance gap between the complexity of digital systems and the limited ability to verify them. In particular, it covers a range of solutions that exploit approximation and parametrization methods, including quasi-symbolic simulation, cycle-based symbolic simulation, and parameterizations based on disjoint-support decompositions.

In structuring this book, the author s hope was to provide interesting reading for a broad range of design automation readers. The first two chapters provide an overview of digital systems design and, in particular, verification. Chapter 3 reviews mainstream symbolic techniques in formal verification, dedicating most of its focus to symbolic simulation. The fourth chapter covers the necessary principles of parametric forms and disjoint-support decompositions. Chapters 5 and 6 focus on recent symbolic simulation techniques, and the final chapter addresses key topics needing further research.

Scalable Hardware Verification with Symbolic Simulation is for verification engineers and researchers in the design automation field.

Highlights:

• A discussion of the leading hardware verification techniques, including simulation and formal verification solutions
• Important concepts related to the underlying models and algorithms employed in the field
• The latest innovations in the area of symbolic simulation, exploiting techniques such as parametric forms and decomposition properties of Boolean functions
• Providing insights into possible new developments in the hardware verification

The Forum on Design Languages (FDL) is the European Forum to exchange experiences and learn new trends, in the application of languages and the associated design methods and tools, to design complex electronic systems. By offering several co-located workshops, this multi-faceted event gives an excellent opportunity to gain up-to-date knowledge across main aspects of such a wide field. All the workshops address as their common denominator the different application domains of system-design languages with the presentation of the latest research results and design experiences.
FDL'02 was organized as four focused workshops, Languages for Analog and Mixed-Signal system design, UML-based system specification and design, C/C++-based system design and Specification Formalisms for Proven design.

FDL served once more as the European Forum for electronic system design languages and consolidates as the main place in Europe where designers interested in design languages and their applications can meet and interchange experiences.

In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.

UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.

The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.

This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages

Many new topologies and circuit design techniques have emerged recently to improve the performance of active inductors, but a comprehensive treatment of the theory, topology, characteristics, and design constraint of CMOS active inductors and transformers, and a detailed examination of their emerging applications in high-speed analog signal processing and data communications over wire and wireless channels, is not available. This book is an attempt to provide an in-depth examination and a systematic presentation of the operation principles and implementation details of CMOS active inductors and transformers, and a detailed examination of their emerging applications in high-speed analog signal processing and data communications over wire and wireless channels.

The content of the book is drawn from recently published research papers and are not available in a single, cohesive book. Equal emphasis is given to the theory of CMOS active inductors and transformers, and their emerging applications. Major subjects to be covered in the book include: inductive characteristics in high-speed analog signal processing and data communications, spiral inductors and transformers - modeling and limitations, a historical perspective of device synthesis, the topology, characterization, and implementation of CMOS active inductors and transformers, and the application of CMOS active inductors and transformers in high-speed analog and digital signal processing and data communications.

Hardware Software Co-Design of a Multimedia SOC Platform is one of the first of its kinds to provide a comprehensive overview of the design and implementation of the hardware and software of an SoC platform for multimedia applications. Topics covered in this book range from system level design methodology, multimedia algorithm implementation, a sub-word parallel, single-instruction-multiple data (SIMD) processor design, and its virtual platform implementation, to the development of an SIMD parallel compiler as well as a real-time operating system (RTOS). Hardware Software Co-Design of a Multimedia SOC Platform is written for practitioner engineers and technical managers who want to gain first hand knowledge about the hardware-software design process of an SoC platform. It offers both tutorial-like details to help readers become familiar with a diverse range of subjects, and in-depth analysis for advanced readers to pursue further.

Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic systems.

This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.

All chapters in Applications of Specification and Design Languages for SoCs have been carefully revised and extended to offer up-to-date information. They also constitute excellent seeds for further researches and developments in the field of heterogeneous systems-on-chip design.

Principles of Asynchronous Circuit Design - A Systems Perspective addresses the need for an introductory text on asynchronous circuit design. Part I is an 8-chapter tutorial which addresses the most important issues for the beginner, including how to think about asynchronous systems. Part II is a 4-chapter introduction to Balsa, a freely-available synthesis system for asynchronous circuits which will enable the reader to get hands-on experience of designing high-level asynchronous systems. Part III offers a number of examples of state-of-the-art asynchronous systems to illustrate what can be built using asynchronous techniques. The examples range from a complete commercial smart card chip to complex microprocessors. The objective in writing this book has been to enable industrial designers with a background in conventional (clocked) design to be able to understand asynchronous design sufficiently to assess what it has to offer and whether it might be advantageous in their next design task.

Hopping, climbing and swimming robots, nano-size neural networks, motorless walkers, slime mould and chemical brains - "Artificial Life Models in Hardware" offers unique designs and prototypes of life-like creatures in conventional hardware and hybrid bio-silicon systems. Ideas and implementations of living phenomena in non-living substrates cast a colourful picture of state-of-art advances in hardware models of artificial life.

Pervasive healthcare is the conceptual system of providing healthcare to anyone, at anytime, and anywhere by removing restraints of time and location while increasing both the coverage and the quality of healthcare. Pervasive Healthcare Computing is at the forefront of this research, and presents the ways in which mobile and wireless technologies can be used to implement the vision of pervasive healthcare.

This vision includes prevention, healthcare maintenance and checkups; short-term monitoring (home healthcare), long-term monitoring (nursing home), and personalized healthcare monitoring; and incidence detection and management, emergency intervention, transportation and treatment. The pervasive healthcare applications include intelligent emergency management system, pervasive healthcare data access, and ubiquitous mobile telemedicine.

Pervasive Healthcare Computing includes the treatment of several new wireless technologies and the ways in which they will implement the vision of pervasive healthcare.

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task.

With this handbook-the first to focus on applying OOP to SystemVerilog-we'll show how to manage complexity by using layers of abstraction and base classes. By adapting these techniques, you will write more "reasonable" code, and build efficient and reusable verification components.

Both a learning tool and a reference, this handbook contains hundreds of real-world code snippets and three professional verification-system examples. You can copy and paste from these examples, which are all based on an open-source, vendor-neutral framework (with code freely available at www.trusster.com).

Learn about OOP techniques such as these:

• Creating classes-code interfaces, factory functions, reuse
• Connecting classes-pointers, inheritance, channels
• Using "correct by construction"-strong typing, base classes
• Packaging it up-singletons, static methods, packages

The first German edition of this book appeared in 1972, and in Polish translation in 1976. It covered the analysis and synthesis of sampled-data systems. The second German edition of 1983 ex tended the scope to design, in particular design for robustness of control system properties with respect to uncertainty of plant parameters. This book is a revised translation of the second Ger man edition. The revisions concern primarily a new treatment of the finite effect sequences and the use of nice numerical proper ties of Hessenberg forms. The introduction describes examples of sampled-data systems, in particular digital controllers, and analyzes the sampler and hold; also some design aspects are introduced. Chapter 2 reviews the modelling and analysis of continuous systems. Pole shifting is formulated as an affine mapping, here some n w material on fixing some eigenvalues or some gains in a design step is included. Chapter 3 treats the analysis of sampled-data systems by state space and z-transform methods. This includes sections on inter sampling behavior, time-delay systems, absolute stability and non synchronous sampling. Chapter 4 treats controllability and reach ability of discrete-time systems, controllability regions for con strained inputs and the choice of the sampling interval primarily under controllability aspects. Chapter 5 deals with observability and constructability both from the discrete and continuous plant output. Full and reduced order observers are treated as well as disturbance observers."

This book carefully details design tools and techniques for realizing low power and energy efficiency in a highly productive design methodology.

Important topics include:
- Microarchitectural techniques to reduce energy per operation
- Power reduction with timing slack from pipelining
- Analysis of the benefits of using multiple supply and threshold voltages
- Placement techniques for multiple supply voltages
- Verification for multiple voltage domains
- Improved algorithms for gate sizing, and assignment of supply and threshold voltages
- Power gating design automation to reduce leakage
- Relationships among tatistical timing, power analysis, and parametric yield optimization

Design examples illustrate that these techniques can improve energy efficiency by two to three times.

Evolvable Hardware (EHW) has emerged as a sub-domain of artificial evolution represented by a design methodology (consortium of methods) involving the application of Evolutionary Algorithms (EA) to the synthesis of digital and analogue electronic circuits and systems. Nevertheless, the most benefit for the society and indeed most revolutionizing application of EA is its hardware implementation leading to the EHW. These new EA based methodologies led to a new type of machines that is evolved to attain a desired behaviour, which means they have a behavioural computational intelligence. EHW is a special case of the adaptive hardware, namely being strongly related to the Adaptive Systems (AS) and the Adaptive Hardware (AH). The book presents a careful selection of the field that very well reflects the breadth of this high technology and its terminology and applications in context of the AS/AH. The harmonious symbiosis of the engineering approach and the accurate scientific methodology features the aspects of highly relevant and practical design principles governing the development of EHW and its connections with AS/AH. This book is both attractive and useful for everybody interested in the design and analysis of EHW in context of AS/AH and implementation of real time adaptive hardware hybrid intelligent systems.

Fully-depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications addresses the problem of reducing the supply voltage of conventional circuits for ultralow-power operation and explains power-efficient MTCMOS circuit design for FD-SOI devices at a supply voltage of 0.5 V. The topics include the minimum required knowledge of the fabrication of SOI substrates; FD-SOI devices and the latest developments in device and process technologies; and ultralow-voltage circuits, such as digital circuits, analog/RF circuits, and DC-DC converters. Each ultra-low-power technique related to devices and circuits is fully explained using figures to help understanding.

More and more digital devices are being used for informa tion processing and control purposes in a variety of systems applications, including industrial processes, power networks, biological systems and communication networks. This trend has been helped by the advent of microprocessors and the consequent availability of cheap distributed computing power. For those applications, where digital devices are used, it is reasonable to model the system in discrete-time. In addition there are other application areas, e.g. econometric systems, business systems, certain command and control systems, environmental systems, where the underlying models are in discrete-time and here discrete-time approaches to analysis and control are the most appropriate. In order to deal with these two situations, there has been a lot of interest in developing techLiques which allow us to do analysis, design and control of discrete-time systems. This book provides a comprehensive treatment of discrete time dynamical systems. It covers the topics of modelling, optimization techniques and control design. The book is designed to serve as a text for teaching at the first year graduate level. The material included is organized into eight chapters."

This book provides a practical guide for engineers doing low power System-on-Chip (SoC) designs. It covers various aspects of low power design from architectural issues and design techniques to circuit design of power gating switches. In addition to providing a theoretical basis for these techniques, the book addresses the practical issues of implementing them in today's designs with today's tools.

Welcome to Bavaria - Germany - to the THIRD EUROPEAN CARS/TRUCKS SIMULATION SYMPOSIUM. That Schliersee traditional workshop-type meeting is a follow-up to the first and the second symposia which took place in May 1984 and May 1989 respectively. The objective of gathering together is to cover most of the aspects of Automotive Mathematical Modelling and Simulation in theory and practice to promote the exchange of knowledge and experience between different national and international research groups in that field, taking into consideration that every seventh German employee is related to the automotive industry. This effect is also in power at least with the traditional Detroit (U.S.A.) Automotive Industries and the growing up Japanease as well. Futhermore, there is to strenghten the international contact between developers and users of modelling and simulation techniques considering the "new world order" started in 1991 with no borders between West and East affected by the Golf-War and followed up by the "open" European Community borders of 1992. VI The traditional International Conference jointly promoted by ASIMUTH - Applied Simulation Technology and some other members of the Society of Computer Simulaton created an interest to publish new projects including their results. A large number of contributed papers has been strictly examined and selected by the editorial commitee to guarantee a high international technical standard.

EUROGRAPHICS workshops on Graphics hardware have now become an established forum for an exchange of information con cerning the latest developments in this field of growing importance. The first workshop took place during EG'86 in Lisbon. All parti cipants in this event considered it a very rewarding workshop to be repeated at future EG conferences. This view was reinforced at the EG'87 Hardware Workshop in Amsterdam which firmly esta blished the need for and a high interest in such a colloquium of technical discussion in this specialist area within the annual EG conference. The third EG Hardware Workshop took place in Nice in 1988 and this volume is a record of the fourth workshop at EG'89 in Hamburg. The material in this book contains papers representing a com prehensive record of the contributions to the 1989 workshop. The first part considers Algorithms and Architectures of graphics systems. These papers discuss the broader issues of system design, without necessarily raising issues concerning the details of the implementation. The second part on Systems describes hardware solutions and realisations of machines dedicated to graphics processing. Many of these contributions make important references to algorithmic and architectural issues as well, but there is now a greater emphasis on realisation. Indeed many VLSI designs are described.

This book constitutes the refereed proceedings of the International Conference, GDC 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of grid and distributed computing.

This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. Each chapter contains an introduction and a summary as well as a section for the advanced reader, aiding an understanding of the advantages and limitations of each technique. Backed by many examples and illustrations, this text will appeal to a broad audience, from beginners in system design to experts. XXXXXXX Neuer Text This is a complete overview of existing techniques for hardware verification. It covers all approaches used in existing verification tools, such as symbolic methods for equivalence checking, temporal logic model checking, and higher-order logic theorem proving for verifying circuit correctness. The book helps readers to understand the advantages and limitations of each technique. Each chapter contains a summary as well as a section for the advanced reader.