More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems.

FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as well as the importance of their industrial environment in Computer Science and Micro-electronics. In 2009, FDL was organized in the attractive south of France area of Sophia Antipolis. together with the DASIP (Design and Architectures for Signal and Image Processing) Conference and the SAME (Sophia Antipolis MicroElectronics ) Forum.

All submitted papers were carefully reviewed to build a program with 27 full and 10 short contributions. From these, the Program Committee selected a shorter list, based on the evaluations of the reviewers, and the originality and relevance of the work that was presented at the Forum. The revised, and sometimes extended versions of these contributions constitute the chapters of this volume.

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip. It is intended as a reference for researchers and lecturers, as well as a state of the art milestone for designers and CAD developers.

The PID controller is the most common option in the realm of control applications and is dominant in the process control industry. Among the related analytical methods, Internal Model Control (IMC) has gained remarkable industrial acceptance due to its robust nature and good set-point responses. However, the traditional application of IMC results in poor load disturbance rejection for lag-dominant and integrating plants. This book presents an IMC-like design method which avoids this common pitfall and is devised to work well for plants of modest complexity, for which analytical PID tuning is plausible. For simplicity, the design only focuses on the closed-loop sensitivity function, including formulations for the H and H2 norms. Aimed at graduate students and researchers in control engineering, this book: Considers both the robustness/performance and the servo/regulation trade-offs Presents a systematic, optimization-based approach, ultimately leading to well-motivated, model-based, and analytically derived tuning rules Shows how to tune PID controllers in a unified way, encompassing stable, integrating, and unstable processes Finds in the Weighted Sensitivity Problem the sweet spot of robust, optimal, and PID control Provides a common analytical framework that generalizes existing tuning proposals

This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.

The CMOS technology are has quickly grown, calling for a new text---and here it is, covering the analysis and design of CMOS integrated circuits that practicing engineers need to master to succeed. Filled with many examples and chapter-ending problems, the book not only describes the thought process behind each circuit topology, but also considers the rationale behind each modification. The analysis and design techniques focus on CMOS circuits but also apply to other IC technologies. Design of Analog CMOS Integrated Circuits deals with the analysis and design of analog CMOS integrated circuits, emphasizing recent technological developments and design paradigms that students and practicing engineers need to master to succeed in today's industry. Based on the author's teaching and research experience in the past ten years, the text follows three general principles: (1) Motivate the reader by describing the significance and application of each idea with real-world problems; (2) Force the reader to look at concepts from an intuitive point of view, preparing him/her for more complex problems; (3) Complement the intuition by rigorous analysis, confirming the results obtained by the intuitive, yet rough approach.

This book focuses on the modelling methodology of microstrip interconnects, discussing various structures of single-input multiple-output (SIMO) tree interconnects for signal integrity (SI) engineering. Further, it describes lumped and distributed transmission line elements based on single-input single-output (SIMO) models of symmetric and asymmetric trees, and investigates more complicated phenomenon, such as interbranch coupling. The modelling approaches are based on the analytical methods using the Z-, Y- and T-matrices. The established method enables the S-parameters and voltage transfer function of SIMO tree to be determined. Providing illustrative results with frequency and time domain analyses for each tree interconnect structure, the book is a valuable resource for researchers, engineers, and graduate students in fields of analogue, RF/microwave, digital and mixed circuit design, SI and manufacturing engineering.

This book provides readers with invaluable overviews and updates of the most important topics in the radiation-effects field, enabling them to face significant challenges in the quest for the insertion of ever-higher density and higher performance electronic components in satellite systems. Readers will benefit from the up-to-date coverage of the various primary (classical) sub-areas of radiation effects, including the space and terrestrial radiation environments, basic mechanisms of total ionizing dose, digital and analog single-event transients, basic mechanisms of single-event effects, system-level SEE analysis, device-level, circuit-level and system-level hardening approaches, and radiation hardness assurance. Additionally, this book includes in-depth discussions of several newer areas of investigation, and current challenges to the radiation effects community, such as radiation hardening by design, the use of Commercial-Off-The-Shelf (COTS) components in space missions, CubeSats and SmallSats, the use of recent generation FPGA's in space, and new approaches for radiation testing and validation. The authors provide essential background and fundamentals, in addition to information on the most recent advances and challenges in the sub-areas of radiation effects. Provides a concise introduction to the fundamentals of radiation effects, latest research results, and new test methods and procedures; Discusses the radiation effects and mitigation solutions for advanced integrated circuits and systems designed to operate in harsh radiation environments; Includes coverage of the impact of Small Satellites in the space industry.

This book offers readers an easy introduction into quantum computing as well as into the design for corresponding devices. The authors cover several design tasks which are important for quantum computing and introduce corresponding solutions. A special feature of the book is that those tasks and solutions are explicitly discussed from a design automation perspective, i.e., utilizing clever algorithms and data structures which have been developed by the design automation community for conventional logic (i.e., for electronic devices and systems) and are now applied for this new technology. By this, relevant design tasks can be conducted in a much more efficient fashion than before - leading to improvements of several orders of magnitude (with respect to runtime and other design objectives). Describes the current state of the art for designing quantum circuits, for simulating them, and for mapping them to real hardware; Provides a first comprehensive introduction into design automation for quantum computing that tackles practically relevant tasks; Targets the quantum computing community as well as the design automation community, showing both perspectives to quantum computing, and what impressive improvements are possible when combining the knowledge of both communities.

The PIC16F1847-Based PLC project supports up to 4 analog inputs and 1 analog output, 1 High Speed Counter, 2 PWM (pulse width modulation) outputs, 1 Drum Sequencer Instruction with up to 16 steps, the implementation of Sequential Function Charts (SFCs) with up to 24 steps. This volume presents advanced concepts of the PIC16F1847-Based PLC project and consists of topics like program control, high speed counter and PWM macros. It further explains memory related drum sequencer instruction, sequential functional charts, and analog input and output modules. Aimed at researchers and graduate students in electrical engineering, power electronics, robotics and automation, sensors, this book: Presents program control macros to enable or disable a block of PLC program or to move execution of a program from one place to another. Proposes a High-Speed Counter and four PWM Macros for high speed counting and PWM operations. Develops memory related macros to enable the user to do memory read/write operations. Provides a Drum Sequencer instruction with up to 16 steps and 16 outputs on each step. Discusses the implementation of Sequential Function Chart (SFC) elements with up to 24 steps.

This book provides readers with a variety of tools to address the challenges posed by hot carrier degradation, one of today's most complicated reliability issues in semiconductor devices. Coverage includes an explanation of carrier transport within devices and book-keeping of how they acquire energy ("become hot"), interaction of an ensemble of colder and hotter carriers with defect precursors, which eventually leads to the creation of a defect, and a description of how these defects interact with the device, degrading its performance.

The basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures are discussed in this book. Recently-developed integrated architecture design and software-supported design flow of FPGA and coarse-grain reconfigurable architecture are also described. The book is accompanied by an interactive CD which includes case studies and lab projects for the design of FPGA and Coarse-grain architectures.

This book presents the technology of millimetre waves and Terahertz (THz) antennas. It highlights the importance of moderate and high-gain aperture antennas as key devices for establishing point-to-point and point-to-multipoint radio links for far-field and near-field applications, such as high data-rate communications, intelligent transport, security imaging, exploration and surveillance systems. The book provides a comprehensive overview of the key antenna technologies developed for the mm wave and THz domains, including established ones - such as integrated lens antennas, advanced 2D and 3D horn antennas, transmit and reflect arrays, and Fabry-Perot antennas - as well as emerging metasurface antennas for near-field and far-field applications. It describes the pros and cons of each antenna technology in comparison with other available solutions, a discussion supplemented by practical examples illustrating the step-by-step implementation procedures for each antenna type. The measurement techniques available at these frequency ranges are also presented to close the loop of the antenna development cycle. In closing, the book outlines future trends in various antenna technologies, paving the way for further developments. Presenting content originating from the five-year ESF research networking program 'Newfocus' and co-authored by the most active and highly cited research groups in the domain of mm- and sub-mm-wave antenna technologies, the book offers a valuable guide for researchers and engineers in both industry and academia.

This book describes a new design methodology that allows optimization-based synthesis of RF systems in a hierarchical multilevel approach, in which the system is designed in a bottom-up fashion, from the device level up to the (sub)system level. At each level of the design hierarchy, the authors discuss methods that increase the design robustness and increase the accuracy and efficiency of the simulations. The methodology described enables circuit sizing and layout in a complete and automated integrated manner, achieving optimized designs in significantly less time than with traditional approaches.

Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form. The authors are recognized as the leading experts on the subject. The focus of the book is on logic minimization and includes such topics as two-level minimization, multi-level minimization, application of binary decision diagrams, delay optimization, asynchronous circuits, spectral method for logic design, field programmable gate array (FPGA) design, EXOR logic synthesis and technology mapping. Examples and illustrations are included so that each contribution can be read independently. Logic Synthesis and Optimization is an indispensable reference for academic researchers as well as professional CAD engineers.

Timely, authoritative, application-oriented… an in-depth exploration of current and future uses of FPGAs in digital systems The development of field-programmable gate arrays (FPGAs) may well be the most important breakthrough for the microelectronics industry since the invention of the microprocessor. Using FPGAs, a system designer working on a PC can now develop a working prototype in a few hours and change it at will in just a few minutes, rather than waiting weeks or months for a printed-circuit assembly or a custom integrated circuit to be built. This newfound ability to change a system by simply altering its configuration memory is also leading to exciting new forms of computing, such as array applications that exploit parallelism. Now in a book that functions equally well as a working professional reference and a pedagogically consistent computer engineering text, John V. Oldfield and Richard C. Dorf:

• Provide a detailed overview of FPGAs in digital systems design
• Explain the underlying principles, strengths, and limitations of most FPGA architectures
• Supply many real-life case studies, from elementary to advanced applications—including examples of "custom computing machines"
• Review cutting-edge developments, including new architectures and a new field-programmable interconnect chip
• Discuss key economic and business aspects of FPGA manufacture and applications and their role in intellectual property protection
• Demonstrate ways in which FPGAs offer plausible solutions to some of the major computing problems of our day

This book examines the new and important technology of asymmetric passive components for miniaturized microwave passive circuits. The asymmetric design methods and ideas set forth by the author are groundbreaking and have not been treated in previous works. Readers discover how these design methods reduce the circuit size of microwave integrated circuits and are also critical to reducing the cost of equipment such as cellular phones, radars, antennas, automobiles, and robots.
An introductory chapter on the history of asymmetric passive components, which began with asymmetric ring hybrids first described by the author, sets the background for the book. It lays a solid foundation with a chapter examining microwave circuit parameters such as scattering, ABCD, impedance, admittance, and image. A valuable feature of this chapter is a conversion table between the various circuit matrices characterizing two-port networks terminated in arbitrary impedances. The correct conversion has also never been treated in previous works.
Next, the author sets forth a thorough treatment of asymmetric passive component design, which covers the basic and indispensable elements for integration with other active or passive devices, including:
* Asymmetric ring hybrids
* Asymmetric branch-line hybrids
* Asymmetric three-port power dividers and N-way power dividers
* Asymmetric ring hybrid phase shifters and attenuators
* Asymmetric ring filters and asymmetric impedance transformers

With its focus on the principles of circuit element design, this is a must-have graduate-level textbook for students in microwave engineering, as well as a reference for design engineers who want to learn the new and powerful design method for asymmetric passive components.

This book discusses the digital design of integrated circuits under process variations, with a focus on design-time solutions. The authors describe a step-by-step methodology, going from logic gates to logic paths to the circuit level. Topics are presented in comprehensively, without overwhelming use of analytical formulations. Emphasis is placed on providing digital designers with understanding of the sources of process variations, their impact on circuit performance and tools for improving their designs to comply with product specifications. Various circuit-level "design hints" are highlighted, so that readers can use then to improve their designs. A special treatment is devoted to unique design issues and the impact of process variations on the performance of FinFET based circuits. This book enables readers to make optimal decisions at design time, toward more efficient circuits, with better yield and higher reliability.

Create low power, higher performance circuits with shorter design times using this practical guide to asynchronous design. This practical alternative to conventional synchronous design enables performance close to full-custom designs with design times that approach commercially available ASIC standard cell flows. It includes design trade-offs, specific design examples, and end-of-chapter exercises. Emphasis throughout is placed on practical techniques and real-world applications, making this ideal for circuit design students interested in alternative design styles and system-on-chip circuits, as well as circuit designers in industry who need new solutions to old problems.

This book provides readers with insight into an alternative approach for enhancing the reliability, security, and low power features of integrated circuit designs, related to transient faults, hardware Trojans, and power consumption. The authors explain how the addition of integrated sensors enables the detection of ionizing particles and how this information can be processed at a high layer. The discussion also includes a variety of applications, such as the detection of hardware Trojans and fault attacks, and how sensors can operate to provide different body bias levels and reduce power costs. Readers can benefit from these sensors-based approaches through designs with fast response time, non-intrusive integration on gate-level and reasonable design costs.

This fully updated textbook provides complete coverage of electrical circuits and introduces students to the field of energy conversion technologies, analysis and design. Chapters are designed to equip students with necessary background material in such topics as devices, switching circuit analysis techniques, converter types, and methods of conversion. The book contains a large number of examples, exercises, and problems to help enforce the material presented in each chapter. A detailed discussion of resonant and softswitching dc-to-dc converters is included along with the addition of new chapters covering digital control, non-linear control, and micro-inverters for power electronics applications. Designed for senior undergraduate and graduate electrical engineering students, this book provides students with the ability to analyze and design power electronic circuits used in various industrial applications.

This book describes for readers the protection of electronic hardware in space vehicles from the negative effects of space dust and electromagnetic irradiation. The authors explain the mechanisms of "space dust" (high velocity particles in space), the effects on the on-board electronic hardware of space vehicles, and development of protection methods from these influences on humans, equipment and microcircuits. Coverage includes hard-to-find technical information on the design of special boosters for accelerating microparticles to space velocities, techniques for conducting experiments on Earth, data processing, and practical examples. The authors also discuss fabrication technologies and composition of special, radio absorbent materials for protecting space vehicles from the electromagnetic irradiation.

This text discusses sigma- delta- type function circuits, peak detecting function circuits, and peak sampling function circuits in a detailed manner. It further covers all the function circuits designed by using the basic principles of the six building blocks: integrator, the 555 timer integrated circuit, switch, low pass fi lter, peak detector, and sample and hold circuit. It is a useful reference text for senior undergraduate and graduate students in the fi elds of electrical engineering and electronics and communication engineering. This book is accompanied by teaching resources, including a solution manual for the instructors. * Discusses function circuits such as multipliers, dividers, and multiplier cum dividers using the 555 timer. * Explains how function circuits are developed with a simple integrator and the 555 timer. * Extends the applications of 555 timers to perform in function circuits. * Covers important topics such as monostable multivibrator, inverting amplifi er, and peak responding divider. * Presents function circuit conversion such as multiplier to square root and divider to a multiplier. This comprehensive book covers the design of function circuits with the help of 555 timer integrated circuits in a single volume. It further discusses how derived function circuits are implemented with integrator, comparator, low pass fi lter, peak detector, and sample and hold circuits.

Polycrystalline SiGe has emerged as a promising MEMS (Microelectromechanical Systems) structural material since it provides the desired mechanical properties at lower temperatures compared to poly-Si, allowing the direct post-processing on top of CMOS. This CMOS-MEMS monolithic integration can lead to more compact MEMS with improved performance. The potential of poly-SiGe for MEMS above-aluminum-backend CMOS integration has already been demonstrated. However, aggressive interconnect scaling has led to the replacement of the traditional aluminum metallization by copper (Cu) metallization, due to its lower resistivity and improved reliability. Poly-SiGe for MEMS-above-CMOS sensors demonstrates the compatibility of poly-SiGe with post-processing above the advanced CMOS technology nodes through the successful fabrication of an integrated poly-SiGe piezoresistive pressure sensor, directly fabricated above 0.13 m Cu-backend CMOS. Furthermore, this book presents the first detailed investigation on the influence of deposition conditions, germanium content and doping concentration on the electrical and piezoresistive properties of boron-doped poly-SiGe. The development of a CMOS-compatible process flow, with special attention to the sealing method, is also described. Piezoresistive pressure sensors with different areas and piezoresistor designs were fabricated and tested. Together with the piezoresistive pressure sensors, also functional capacitive pressure sensors were successfully fabricated on the same wafer, proving the versatility of poly-SiGe for MEMS sensor applications. Finally, a detailed analysis of the MEMS processing impact on the underlying CMOS circuit is also presented.

Symbolic analysis is an intriguing topic in VLSI designs.

The analysis methods are crucial for the applications to the parasitic reduction and analog circuit evaluation. However, analyzing circuits symbolically remains a challenging research issue. Therefore, in this book, we survey the recent results as the progress of on-going works rather than as the solution of the field.

For parasitic reduction, we approximate a huge amount of electrical parameters into a simplified RLC network. This reduction allows us to handle very large integrated circuits with given memory capacity and CPU time. A symbolic analysis approach reduces the circuit according to the network topology. Thus, the designer can maintain the meaning of the original network and perform the analysis hierarchically.

For analog circuit designs, symbolic analysis provides the relation between the tunable parameters and the characteristics of the circuit. The analysis allows us to optimize the circuit behavior.

The book is divided into three parts. Part I touches on the basics of circuit analysis in time domain and in s domain. For an s domain expression, the Taylor's expansion with s approaching infinity is equivalent to the time domain solution after the inverse Laplace transform. On the other hand, the Taylor's expansion when s approaches zero derives the moments of the output responses in time domain.

Part II focuses on the techniques for parasitic reduction.

In Chapter 2, we present the approximation methods to match

the first few moments with reduced circuit orders.

In Chapter 3, we apply the Y-Delta transformation to reduce the dynamic linear network. The method finds the exact values of the low order coefficients of the numerator and denominator of the transfer function and thus matches part of the moments. In Chapter 4, we handle two major issues of the Y-Delta

transformation: common factors in fractional expressions and round-off errors. Chapter 5 explains the stability of the reduced expression, in particular the Ruth-Hurwitz Criterion. We make an effort to describe the proof of the Criterion because the details are omitted in most of the contemporary textbooks. In Chapter 6, we present techniques to synthesize circuits to approximate the reduced expressions after the transformation.

In Part III, we discuss symbolic generation of the determinants and cofactors for the application to analog designs. In Chapter 7, we depict the classical topological analysis approach. In Chapter 8, we describe a determinant decision diagram approach that exploits the sparsity of the matrix to accelerate the computation. In Chapter 9, we take only significant terms when we search through

determinant decision diagram to approximate the solution.

In Chapter 10, we extend the determinant decision diagram

to a hierarchical model. The construction of the modules through the hierarchy is similar to the Y-Delta transformation in the sense that a byproduct of common factors appears in the numerator and denominator. Therefore, we describe the method to prune the common factors.

This book offers fascinating insights into the key technical and scientific developments in the history of radar, from the first patent, taken out by Hulsmeyer in 1904, through to the present day. Landmark events are highlighted and fascinating insights provided into the exceptional people who made possible the progress in the field, including the scientists and technologists who worked independently and under strict secrecy in various countries across the world in the 1930s and the big businessmen who played an important role after World War II. The book encourages multiple levels of reading. The author is a leading radar researcher who is ideally placed to offer a technical/scientific perspective as well as a historical one. He has taken care to structure and write the book in such a way as to appeal to both non-specialists and experts. The book is not sponsored by any company or body, either formally or informally, and is therefore entirely unbiased. The text is enriched by approximately three hundred images, most of which are original and have been accessed by detailed searches in the archives.

For decades, people have searched for ways to harvest energy from natural sources. Lately, a desire to address the issue of global warming and climate change has popularized solar or photovoltaic technology, while piezoelectric technology is being developed to power handheld devices without batteries, and thermoelectric technology is being explored to convert wasted heat, such as in automobile engine combustion, into electricity. Featuring contributions from international researchers in both academics and industry, Energy Harvesting with Functional Materials and Microsystems explains the growing field of energy harvesting from a materials and device perspective, with resulting technologies capable of enabling low-power implantable sensors or a large-scale electrical grid. In addition to the design, implementation, and components of energy-efficient electronics, the book covers current advances in energy-harvesting materials and technology, including: High-efficiency solar technologies with lower cost than existing silicon-based photovoltaics Novel piezoelectric technologies utilizing mechanical energy from vibrations and pressure The ability to harness thermal energy and temperature profiles with thermoelectric materials Whether you're a practicing engineer, academician, graduate student, or entrepreneur looking to invest in energy-harvesting devices, this book is your complete guide to fundamental materials and applied microsystems for energy harvesting.