Books in category Computers – Logic Design

  • Automata Implementation

    Automata Implementation
    Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi

    This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Implementing Automata, WIA'98, held in Rouen, France, in September 1998.

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

  • 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 …

  • Field Programmable Logic and Applications The Roadmap to Reconfigurable Computing

    Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing
    Reiner W. Hartenstein, Herbert Gr├╝nbacher

    This book is the proceedings volume of the 10th International Conference on Field Programmable Logic and its Applications (FPL), held August 27 30, 2000 in Villach, Austria, which covered areas like reconfigurable logic (RL), reconfigurable …

  • Logical Foundations of Artificial Intelligence

    Logical Foundations of Artificial Intelligence
    Michael R. Genesereth, Nils J. Nilsson

    Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.

  • Logic Synthesis for Asynchronous Controllers and Interfaces

    Logic Synthesis for Asynchronous Controllers and Interfaces
    Jordi Cortadella, Michael Kishinevsky, A. Kondratyev, Luciano Lavagno, Alex Yakovlev

    This book is the result of a long friendship, of a broad international co operation, and of a bold dream.

  • Code

    Code
    Lawrence Lessig

    This second edition, Code Version 2.0, updates the work and was prepared in part through a wiki, a web site allowing readers to edit the text, making this the first reader-edited revision of a popular book.

  • Handbook of Research on Soft Computing and Nature Inspired Algorithms

    Handbook of Research on Soft Computing and Nature-Inspired Algorithms
    Shandilya, Shishir K., Shandilya, Smita, Deep, Kusum, Nagar, Atulya K.

    The Handbook of Research on Soft Computing and Nature-Inspired Algorithms is an essential source for the latest scholarly research on applications of nature-inspired computing and soft computational systems.

  • ASIC SoC Functional Design Verification

    ASIC/SoC Functional Design Verification
    Ashok B. Mehta

    This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon.

  • Advances in Computer Systems Architecture

    Advances in Computer Systems Architecture
    Chris Jesshope, Colin Egan

    This is the 11th in a series of conferences, which started life in Australia, as the computer architecture component of the Australian Computer Science Week.

1 2 3 4 5 Next >