BGB is the only emulator I know that emulated Pinball Deluxe without problems.