Logic Design Theory by Nrioendra N. Biswas
An exploration of both the traditional topics of logic design and the various new topics and approaches that address the special problems posed by VLSI. The author outlines a new method for computation of maximum compatible classes and for information of state tables of sequential machines. In addition he discusses important results as rigorously proved theorems; includes a detailed discussion of the Quine-McClusky method; considers PLA minimization and folding methods; and explores design for testability, built-in self test and LSSD methods. This text is for students on senior/graduate level courses in logic design, switching theory or digital system design.