This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

In a world where innovation and sustainability are paramount, Fundamentals of Design of Experiments for Automotive Engineering: Volume I serves as a definitive guide to harnessing the power of statistical thinking in product development. As first of four volumes in SAE International’s DOE for Product Reliability Growth series, this book presents a practical, application-focused approach by emphasizing DOE as a dynamic tool for automotive engineers. It showcases real-world examples, demonstrating how process improvements and system optimizations can significantly enhance product reliability. The author, Yung Chiang, leverages extensive product development expertise to present a comprehensive process that ensures product performance and reliability throughout its entire lifecycle. Whether individuals are involved in research, design, testing, manufacturing, or marketing, this essential reference equips them with the skills needed to excel in their respective roles. This book explores the potential of Reliability and Sustainability with DOE, featuring the following topics: - Fundamental prerequisites for deploying DOE: Product reliability processes, measurement uncertainty, failure analysis, and design for reliability. - Full factorial design 2K: A system identification tool for relating objectives to factors and understanding main and interactive effects. - Fractional factorial design 2RK-P: Ideal for identifying main effects and 2-factor interactions. - General fractional factorial design LK-P: Systematically identification of significant inputs and analysis of nonlinear behaviors. - Composite designs as response surface methods: Resolving interactions and optimizing decisions with limited factors. - Adapting to practical challenges with “short” DOE: Leveraging optimization schemes like D-optimality, and A-optimality for optimal results. Readers are encouraged not to allow product failures to hinder progress but to embrace the "statistical thinking" embedded in DOE. This book can illuminate the path to designing products that stand the test of time, resulting in satisfied customers and thriving businesses. (ISBN 9781468606027, ISBN 9781468606034, ISBN 9781468606041, DOI 10.4271/9781468606034)

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.

This book presents a new set of embedded system design techniques called multidimensional data flow, which combine the various benefits offered by existing methodologies such as block-based system design, high-level simulation, system analysis and polyhedral optimization. It describes a novel architecture for efficient and flexible high-speed communication in hardware that can be used both in manual and automatic system design and that offers various design alternatives, balancing achievable throughput with required hardware size. This book demonstrates multidimensional data flow by showing its potential for modeling, analysis, and synthesis of complex image processing applications. These applications are presented in terms of their fundamental properties and resulting design constraints. Coverage includes a discussion of how far the latter can be met better by multidimensional data flow than alternative approaches. Based on these results, the book explains the principles of fine-grained system level analysis and high-speed communication synthesis. Additionally, an extensive review of related techniques is given in order to show their relation to multidimensional data flow.

This book highlights both the key achievements of electronic systems design targeting SoC implementation style, and the future challenges presented by the continuing scaling of CMOS technology.

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.

This book serves as a reference for researchers and designers in Embedded Systems who need to explore design alternatives. It provides a design space exploration methodology for the analysis of system characteristics and the selection of the most appropriate architectural solution to satisfy requirements in terms of performance, power consumption, number of required resources, etc. Coverage focuses on the design of complex multimedia applications, where the choice of the optimal design alternative in terms of application/architecture pair is too complex to be pursued through a full search comparison, especially because of the multi-objective nature of the designer’s goal, the simulation time required and the number of parameters of the multi-core architecture to be optimized concurrently.