أرسل هذا في رسالة قصيرة: Tools for Functional Verification of Microprocessors