CLooGVHDL and JCCI offer an extendible C-to-VHDL framework