selected publications conference paper Target architecture oriented high-level synthesis for multi-FPGA based emulation 2000