A 65MHz Floating-point Coprocessor For A RISC Processor