A multi-level FPGA synthesis method supporting HDL debugging for emulation-based designs | IEEE Conference Publication | IEEE Xplore