Establishing latch correspondence for embedded circuits of PowerPC microprocessors. - Himyanshu Anand; Jayanta Bhadra; Alper Sen 001; Magdy S. Abadir; Kenneth G. Davis (HLDVT, 2005)