Mohammad R.Advanced Techniques for Assertion-Based Verification in Hardware 2025