أرسل هذا في رسالة قصيرة: Modelling and verification in structured integrated circuit design /