2017. COVERAGE DRIVEN VERIFICATION IP AMBA AXI4-LITE. International Journal of Engineering and Computer Science. 2, 06 (Dec. 2017).