UVM-based Verification of Bluetooth Low Energy Controller | IEEE Conference Publication | IEEE Xplore