1. Digital Systems Testing and Testable Design;Abramovici,1994
2. Logic Minimization Algorithms for VLSI Synthesis;Brayton,1984
3. Essentials of Electronic Testing for Digital, Memory & Mixed-Signal VLSI Circuits;Bushnell,2000
4. Synthesis and Optimization of Digital Circuits;De Micheli,1994
5. Logic Synthesis;Devadas,1994