Pal, S.; Shukla, N. K.; Goel, P. Co-Verification of Registers Using UVM RAL. theijst 2016, 4.