Logic Testing | part of Logic Testing and Design for Testability | MIT Press books | IEEE Xplore