أرسل هذا في رسالة قصيرة: Back-end design of a formal high level synthesis system