I am developing using a Dolphin FLIP8051 Thunder. Do you support any debug tools (apart from the simulator)? Is it possible to use Dolphin's JTAG Virtual Emulator with the Keil debugger? I am having real trouble trying to indentify a suitable debugger/emulation tool as the 8051 is embedded as an IP core in the FPGA and I have no way of using a hardware emulator....any ideas?