R6.0 Books
[Brayton 1984] R.K. Brayton, G. Hachtel, C. McMullen, A. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis 1984 Kluwer
[Brown 2003] F.M. Brown, Boolean Reasoning: The Logic of Boolean Equations 2003 Dover
[Devadas 1994] S. Devadas, A. Ghosh, K. Keutzer, Logic Synthesis 1994 McGraw-Hill
[Garey 1979] M.R. Garey, D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness 1979 W. H. Freeman
[Hassoun 2002] S. Hassoun, T. Sasao, Logic Synthesis and Verification 2002 Kluwer
[Kohavi 1978] Z. Kohavi, Switching and Finite Automata Theory 1978 McGraw-Hill
[McGeer 1991] P. McGeer, R.K. Brayton, Integrating Functional and Temporal Domains in Logic Design 1991 Kluwer
[Mo 2004] ...
Get Electronic Design Automation now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
