Design for at-speed test, diagnosis, and measurement (Kluwer Academic, 2000)