Logic Testing and Design for Testability (Computer Systems Series)