Idempotent Computation over Finite Fields. - Richard A. Davies (J. Symb. Comput., 1994)

Scan Islands - A Scan Partitioning Architecture and its Implementation on the Alpha 21364 Processor. - Dilip K. Bhavsar; Richard A. Davies (VTS, 2002)

Automatic Generation of Critical-Path Tests for a Partial-Scan Microprocessor. - Joel Grodstein; Dilip K. Bhavsar; Vijay Bettada; Richard A. Davies (ICCD, 2003)

Testability Features of the Alpha 21364 Microprocessor. - Scott Erlanger; Dilip K. Bhavsar; Richard A. Davies (ITC, 2003)