UVM based approaches to functional verification of communication controllers of microprocessor systems | IEEE Conference Publication | IEEE Xplore