Constrained random verification of Burst operation in AXI-4 | IEEE Conference Publication | IEEE Xplore