Kategoria BISAC: Technology & Engineering >> Electronics - Circuits - General

The purpose of this introductory book is to couple the teaching of chaotic circuit and systems theory with the use of field programmable gate arrays (FPGAs).

As such, it differs from other texts on chaos: first, it puts emphasis on combining theoretical methods, simulation tools and physical realization to help the reader gain an intuitive understanding of the properties of chaotic systems. Second, the "medium" used for physical realization is the FPGA. These devices are massively parallel architectures that can be configured to realize a variety of logic functions. Hence, FPGAs can be...

This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including those associated with many of the most common memory cores, controller IPs and system-on-chip (SoC) buses. Readers will also benefit from the author s practical coverage of new verification methodologies. such as bug localization, UVM, and scan-chain. A SoC case study is presented to compare traditional verification with the new verification...

. Provides an introduction to near-threshold computing, enabling reader with a variety of tools to face the challenges of the...

This books discusses the design, electrical simulation and layout of a 2nd-order ∑∆ analog-to-digital converter (ADC), using oxide thin-film transistors (TFTs) technology. The authors provide a unified view of materials science and electronics engineering, in order to guide readers from both fields through key topics. To accomplish this goal, background regarding materials, device physics, characterization techniques, circuit design and layout is given together with a detailed discussion of experimental data. The final simulation results clearly demonstrate the potential of the...

This book describes state-of-the-art techniques for designing real-time computer systems. The author shows how to estimate precisely the effect of cache architecture on the execution time of a program, how to dispatch workload on multicore processors to optimize resources, while meeting deadline constraints, and how to use closed-form mathematical approaches to characterize highly variable workloads and their interaction in a networked environment. Readers will learn how to deal with unpredictable timing behaviors of computer systems on different levels of system granularity and...

This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. 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.

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic...