Title: Symbolic Model Checking, Author: Kenneth L. McMillan
Title: Introduction to Circuit Complexity: A Uniform Approach, Author: Heribert Vollmer
Title: Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets, Author: John R. Gregg
Title: Asynchronous Pulse Logic, Author: Mika M. Nystrom
Title: Asynchronous Pulse Logic, Author: Mika M. Nystrom
Title: Symbolic Model Checking, Author: Kenneth L McMillan
Title: Digital Hardware Testing, Author: Rochit Rajsuman
Title: A VLSI Architecture for Concurrent Data Structures, Author: J. W. Dally
Title: A VLSI Architecture for Concurrent Data Structures, Author: J. W. Dally
Title: Fundamentals of Digital Logic and Microcomputer Design, Author: M. Rafiquzzaman
Title: Algorithms for Synthesis and Testing of Asynchronous Circuits, Author: Luciano Lavagno