Skip to main content
Search Button
United States Kobo store Gift Cards Help
Rakuten Kobo
Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Embedded Systems eBook Series

Showing 1 - 12 of 12 results
Skip side bar filters

  • Multiprocessor Scheduling for Real-Time Systems

    by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo ...
    Series series Embedded Systems
    This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping ... Read more

    $107.99 USD

People who read this also enjoyed

  • SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications

    by Ashok B. Mehta ...
    Series series Engineering (R0)
    This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SytemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model ... Read more

    $143.09 USD

  • SVA: The Power of Assertions in SystemVerilog

    by Surrendra Dudani, Eduard Cerny, John Havlicek, Dmitry Korchemny ...
    Series series Engineering (R0)
    This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection and formal analysis. The book provides detailed descriptions of all the language features of SVA, accompanied by step-by-step examples of ... Read more

    $107.09 USD

  • Introduction to Embedded Systems

    Using Microcontrollers and the MSP430

    by Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier ...
    Series series Engineering (R0)
    This textbook serves as an introduction to the subject of embedded systems design, using microcontrollers as core components. It develops concepts from the ground up, covering the development of embedded systems technology, architectural and organizational aspects of controllers and systems, processor models, and peripheral devices. Since microprocessor-based embedded systems tightly blend ... Read more

    $58.49 USD

  • FPGAs and Parallel Architectures for Aerospace Applications

    Soft Errors and Fault-Tolerant Design

    Edited by Fernanda Kastensmidt, Paolo Rech ...
    Series series Engineering (R0)
    This book introduces the concepts of soft errors in FPGAs, as well as the motivation for using commercial, off-the-shelf (COTS) FPGAs in mission-critical and remote applications, such as aerospace. The authors describe the effects of radiation in FPGAs, present a large set of soft-error mitigation techniques that can be applied in these circuits, as well as methods for qualifying these circuits ... Read more

    $89.09 USD

  • SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications

    by Ashok B. Mehta ...
    Series series Engineering (R0)
    This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SystemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification using SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the source ... Read more

    $143.09 USD

  • Foundations of Hardware IP Protection

    Edited by Lilian Bossuet, Lionel Torres ...
    Series series Engineering (R0)
    This book provides a comprehensive and up-to-date guide to the design of security-hardened, hardware intellectual property (IP). Readers will learn how IP can be threatened, as well as protected, by using means such as hardware obfuscation/camouflaging, watermarking, fingerprinting (PUF), functional locking, remote activation, hidden transmission of data, hardware Trojan detection, protection ... Read more

    $80.09 USD

  • Embedded Software Verification and Debugging

    Edited by Djones Lettnin, Markus Winterholer ...
    Series series Engineering (R0)
    This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches ... Read more

    $80.99 USD

  • Dependable Multicore Architectures at Nanoscale

    Edited by Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli ...
    Series series Engineering (R0)
    This book provides comprehensive coverage of the dependability challenges in today's advanced computing systems. It is an in-depth discussion of all the technological and design-level techniques that may be used to overcome these issues and analyzes various dependability-assessment methods. The impact of individual application scenarios on the definition of challenges and solutions is considered ... Read more

    $89.09 USD

  • Emerging Memory Technologies

    Design, Architecture, and Applications

    Edited by Yuan Xie ...
    This book explores the design implications of emerging, non-volatile memory (NVM) technologies on future computer memory hierarchy architecture designs. Since NVM technologies combine the speed of SRAM, the density of DRAM, and the non-volatility of Flash memory, they are very attractive as the basis for future universal memories. This book provides a holistic perspective on the topic, covering ... Read more

    $89.09 USD

  • Formal Specification Level

    Concepts, Methods, and Algorithms

    by Mathias Soeken, Rolf Drechsler ...
    Series series Engineering (R0)
    This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted ... Read more

    $89.09 USD

  • Analog Integrated Circuit Design Automation

    Placement, Routing and Parasitic Extraction Techniques

    by Ricardo Martins, Nuno Lourenço, Nuno Horta ...
    Series series Engineering (R0)
    This book introduces readers to a variety of tools for analog layout design automation. After discussing the placement and routing problem in electronic design automation (EDA), the authors overview a variety of automatic layout generation tools, as well as the most recent advances in analog layout-aware circuit sizing. The discussion includes different methods for automatic placement (a template ... Read more

    $89.09 USD