أرسل هذا في رسالة قصيرة: A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification