Email Record: The F-path approach for pattern generation in microprocessor testing /