أرسل هذا في رسالة قصيرة: Practical Formal Verification in Microprocessor Design