Title: VLSI Engineering: Beyond Software Engineering, Author: Tosiyasu Kunii
Title: Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets / Edition 1, Author: John R. Gregg
Title: Contemporary Logic Design / Edition 2, Author: Randy Katz
Title: Asynchronous Pulse Logic / Edition 1, Author: Mika M. Nystrom
Title: A VLSI Architecture for Concurrent Data Structures, Author: J. W. Dally
Title: Symbolic Model Checking, Author: Kenneth L. McMillan