Logic Design

CMOS VLSI design: a circuits and systems perspective

Neil H.E. Weste, David Harris, Ayan Banerjee

Computer and the Brain

John Von Neumann, Ray Kurzweil

High Performance Embedded Architectures and Compilers: First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings

Theo Ungerer, Mateo Valero, Wen-Mei W. Hwu, Nacho Navarro, Tom Conte, Wen-mei W. Hwu

Digital Integrated Circuits: A Design Perspective

Jan M. Rabaey

Logic Functions and Equations: Binary Models for Computer Science

Bernd Steinbach, Christian Posthoff

Logic, language, and computation

edited by Jerry Seligman & Dag Westerståhl.

Assertion-based design

Harry Foster, Adam Krolnik, David Lacey.

Introduction to Logic Design

Vlad P. Shmerko, Svetlana N. Yanushkevich

Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning)

Lise Getoor

Handshake Circuits: An Asynchronous Architecture for VLSI Programming (Cambridge International Series on Parallel Computation)

Kees van Berkel