On the employment of approximate multipliers in high-level synthesis toolkits