higher-level-hardware-synthesis