COVERAGE DRIVEN VERIFICATION IP AMBA AXI4-LITE. int. jour. eng. com. sci 2017, 2 (06).