أرسل هذا في رسالة قصيرة: Towards a formalization of digital circuit design /