UVM-based Verification of Bluetooth Low Energy Controller. - Maciej Moskala; Patryk Kloczko; Marek Cieplucha; Witold A. Pleskacz (DDECS, 2015)