Text this: The F-path approach for pattern generation in microprocessor testing /