Logic Testing and Design for Testability, Computer Systems Series