Validating physical access layer of WiMAX using SystemVerilog | IEEE Conference Publication | IEEE Xplore