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...


Top Series in United States

Showing 1 - 12 of 12 results for “eduard cerny”
Skip side bar filters

  • 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

People who read this also enjoyed

  • Digital Design and Computer Architecture

    by David Harris, Sarah Harris ...
    Digital Design and Computer Architecture, Second Edition, takes a unique and modern approach to digital design, introducing the reader to the fundamentals of digital logic and then showing step by step how to build a MIPS microprocessor in both Verilog and VHDL. This new edition combines an engaging and humorous writing style with an updated and hands-on approach to digital design. It presents new ... Read more

    $63.89 USD

  • Embedded System Design

    Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

    by Peter Marwedel ...
    Series series Engineering (R0)
    A unique feature of this textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such ... Read more

    $58.99 USD

  • Securing Digital Video

    Techniques for DRM and Content Protection

    by Eric Diehl ...
    Series series Computer Science (R0)
    Content protection and digital rights management (DRM) are fields that receive a lot of attention: content owners require systems that protect and maximize their revenues; consumers want backwards compatibility, while they fear that content owners will spy on their viewing habits; and academics are afraid that DRM may be a barrier to knowledge sharing. DRM technologies have a poor reputation and ... Read more

    $80.09 USD

  • Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design

    Advances in Analog Circuit Design 2017

    Edited by Pieter Harpe, Kofi A. A. Makinwa, Andrea Baschirotto ...
    Series series Engineering (R0)
    This book is based on the 18 tutorials presented during the 26th workshop on Advances in Analog Circuit Design. Expert designers present readers with information about a variety of topics at the frontier of analog circuit design, with specific contributions focusing on hybrid ADCs, smart sensors for the IoT, sub-1V and advanced-node analog circuit design. This book serves as a valuable reference ... Read more

    $152.99 USD

  • Correct-by-Construction Approaches for SoC Design

    by Roopak Sinha, Parthasarathi Roop, Samik Basu ...
    This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct SoCs from multiple, possibly mismatching, components. ... Read more

    $89.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

  • 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

  • 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

  • Computing with Memory for Energy-Efficient Robust Systems

    by Somnath Paul, Swarup Bhunia ...
    Series series Engineering (R0)
    This book analyzes energy and reliability as major challenges faced by designers of computing frameworks in the nanometer technology regime. The authors describe the existing solutions to address these challenges and then reveal a new reconfigurable computing platform, which leverages high-density nanoscale memory for both data storage and computation to maximize the energy-efficiency and ... Read more

    $98.09 USD

  • Fog Computing in the Internet of Things

    Intelligence at the Edge

    Edited by Amir M. Rahmani, Pasi Liljeberg, Jürgo-Sören Preden, Axel Jantsch ...
    Series series Engineering (R0)
    This book describes state-of-the-art approaches to Fog Computing, including the background of innovations achieved in recent years. Coverage includes various aspects of fog computing architectures for Internet of Things, driving reasons, variations and case studies. The authors discuss in detail key topics, such as meeting low latency and real-time requirements of applications, interoperability, ... Read more

    $98.09 USD

  • System-Level Validation

    High-Level Modeling and Directed Test Generation Techniques

    by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin ...
    Series series Engineering (R0)
    This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and ... Read more

    $89.09 USD