A transaction-oriented UVM-based library for verification of analog behavior | IEEE Conference Publication | IEEE Xplore