Logic Testing and Design for Testability by Hideo Fujiwara