A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification - Muhammad Waseem Anwar; Muhammad Rashid; Farooque Azam; Aamir Naeem; Muhammad Kashif; Wasi Haider Butt (IEEE Access, 2020)