أرسل هذا في رسالة قصيرة: A Formal VLSI parallel description and design environment