Current high-level design environments offer little support to implement