high level synthesis binding and scheduling algorithms 868770