Logic Testing and Design for Testability | MIT Press eBooks | IEEE Xplore