Open source tools for model-based FPGA design | IEEE Conference Publication | IEEE Xplore