High-level synthesis - AIMMS LMS