Logic Testing and Design for Testability, The MIT Press Classics Series