Multiple clock domain microprocessor - Albonesi, David