High-level synthesis from VHDL with exact timing constraints | IEEE Conference Publication | IEEE Xplore