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 “alexandre petrenko”
Skip side bar filters

  • The Unknown Component Problem

    Theory and Applications

    by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli ...
    Series series Engineering (R0)
    The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations ... Read more

    $143.09 USD

People who read this also enjoyed

  • Programmable Logic Controllers

    by William Bolton ...
    A programmable logic controllers (PLC) is a real-time system optimized for use in severe conditions such as high/low temperatures or an environment with excessive electrical noise. This control technology is designed to have multiple interfaces (I/Os) to connect and control multiple mechatronic devices such as sensors and actuators. Programmable Logic Controllers, Fifth Edition, continues to be a ... Read more

    $51.29 USD

  • 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

  • Digital Logic Design Using Verilog

    Coding and RTL Synthesis

    by Vaibbhav Taraate ...
    Series series Engineering (R0)
    This second edition focuses on the thought process of digital design and implementation in the context of VLSI and system design. It covers the Verilog 2001 and Verilog 2005 RTL design styles, constructs and the optimization at the RTL and synthesis level. The book also covers the logic synthesis, low power, multiple clock domain design concepts and design performance improvement techniques. The ... Read more

    $89.09 USD

  • Reversible Logic Synthesis Methodologies with Application to Quantum Computing

    by Saleem Mohammed Ridha Taha ...
    Series series Engineering (R0)
    This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano ... Read more

    $89.09 USD

  • Network Processors

    Architecture, Programming, and Implementation

    by Ran Giladi ...
    Series series Systems on Silicon
    Network processors are the basic building blocks of today's high-speed, high-demand, quality-oriented communication networks. Designing and implementing network processors requires a new programming paradigm and an in-depth understanding of network processing requirements. This book leads the reader through the requirements and the underlying theory of networks, network processing, and network ... Read more

    $86.39 USD

  • High Performance Integer Arithmetic Circuit Design on FPGA

    Architecture, Implementation and Design Automation

    by Ayan Palchaudhuri, Rajat Subhra Chakraborty ...
    Series series Engineering (R0)
    This book describes the optimized implementations of several arithmetic datapath, controlpath and pseudorandom sequence generator circuits for realization of high performance arithmetic circuits targeted towards a specific family of the high-end Field Programmable Gate Arrays (FPGAs). It explores regular, modular, cascadable and bit-sliced architectures of these circuits, by directly instantiating ... Read more

    $89.09 USD

  • Testing of Interposer-Based 2.5D Integrated Circuits

    by Ran Wang, Krishnendu Chakrabarty ...
    Series series Engineering (R0)
    This book provides readers with an insightful guide to the design, testing and optimization of 2.5D integrated circuits. The authors describe a set of design-for-test methods to address various challenges posed by the new generation of 2.5D ICs, including pre-bond testing of the silicon interposer, at-speed interconnect testing, built-in self-test architecture, extest scheduling, and a ... Read more

    $89.09 USD

  • Skew-Tolerant Circuit Design

    by David Harris ...
    Series series The Morgan Kaufmann Series in Computer Architecture and Design
    As advances in technology and circuit design boost operating frequencies of microprocessors, DSPs and other fast chips, new design challenges continue to emerge. One of the major performance limitations in today's chip designs is clock skew, the uncertainty in arrival times between a pair of clocks. Increasing clock frequencies are forcing many engineers to rethink their timing budgets and to use ... Read more

    $55.79 USD

  • Compact Models and Measurement Techniques for High-Speed Interconnects

    by Rohit Sharma, Tapas Chakravarty ...
    Series series Engineering (R0)
    Compact Models and Measurement Techniques for High-Speed Interconnects provides detailed analysis of issues related to high-speed interconnects from the perspective of modeling approaches and measurement techniques. Particular focus is laid on the unified approach (variational method combined with the transverse transmission line technique) to develop efficient compact models for planar ... Read more

    $49.49 USD

  • New Data Structures and Algorithms for Logic Synthesis and Verification

    by Luca Gaetano Amaru ...
    Series series Engineering (R0)
    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, ... Read more

    $49.49 USD

  • Reliable and Energy Efficient Streaming Multiprocessor Systems

    by Anup Kumar Das, Akash Kumar, Bharadwaj Veeravalli, Francky Catthoor ...
    Series series Engineering (R0)
    This book discusses analysis, design and optimization techniques for streaming multiprocessor systems, while satisfying a given area, performance, and energy budget. The authors describe design flows for both application-specific and general purpose streaming systems. Coverage also includes the use of machine learning for thermal optimization at run-time, when an application is being executed. The ... Read more

    $49.49 USD