Single Source library for high-level modelling and hardware synthesis