Development of generic verification environment based on UVM with case study on HMC controller | IEEE Conference Publication | IEEE Xplore