Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Muhammad Kashif, Wasi Haider Butt. A model-driven framework for design and verification of embedded systems through SystemVerilog. Design Autom. for Emb. Sys., 23(3-4):179-223, 2019. [doi]
Abstract is missing.