Books in category Computers – Logic Design

  • Taxonomies for the Development and Verification of Digital Systems

    Taxonomies for the Development and Verification of Digital Systems
    Brian Bailey, Grant Martin, Thomas Anderson

    Add to that the propensity of marketing types to hijack and redefine terms, and you have anarchy. This book is the industry's attempt to bring order to the madness. Read it and maybe we won't be fooled again.

  • Skew tolerant Circuit Design

    Skew-tolerant Circuit Design
    David Harris

    Chapter 1 — Introduction — Chapter 2 — Fundamental Concepts — Chapter 3 — IP Switching — Chapter 4 — Tag Switching — Chapter 5 — MPLS Core Protocols — Chapter 6 — Quality of Service — Chapter 7 — ConstraintƯbased routing — …

  • Higher Order Algebra Logic and Term Rewriting

    Higher-Order Algebra, Logic, and Term Rewriting
    J. Heering

    This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993.

  • Computer Aided Verification

    Computer Aided Verification
    Rajeev Alur, Doron Peled

  • Switching Theory

    Switching Theory
    Shimon Peter Vingron

    This new approach to an established field introduces the concept of predicate logic in order to supersede propositional logic in switching theory.

  • Design of Experiments for Reinforcement Learning

    Design of Experiments for Reinforcement Learning
    Christopher Gatti

    The results outlined in this work provide insight as to what enables and what has an effect on successful reinforcement learning implementations so that this learning method can be applied to more challenging problems.

  • Computer Aided Verification

    Computer Aided Verification
    Aarti Gupta, Sharad Malik

    This volume contains the proceedings of the 20th International Conference on Computer Aided Veri?cation (CAV) held in Princeton, New Jersey, USA, d- ing July 7–14, 2008.

  • Digital Logic Design Using Verilog

    Digital Logic Design Using Verilog
    Vaibbhav Taraate

    This book is organized in such a way that that it can describe a number of RTL design scenarios, from simple to complex. The book constructs the logic design story from the fundamentals of logic design to advanced RTL design concepts.

  • Defects in HIgh k Gate Dielectric Stacks

    Defects in HIgh-k Gate Dielectric Stacks
    Evgeni Gusev

    Proceedings of the NATO Advanced Research Workshop on Defects in Advanced High-K Dielectric Nano-Electronic Semiconductor Devices, St. Petersburg, Russia, from 11 to 14 July 2005.

  • Separation Logic for High level Synthesis

    Separation Logic for High-level Synthesis
    Felix Winterstein

    This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial …

1 2 3 4 5 Next >