David B. Thomas, Shane T. Fleming, George A. Constantinides, Dan R. Ghica: Transparent linking of compiled software and synthesized hardware. DATE 2015: 1084-1089