SVA Encapsulation in UVM: enabling phase and configuration aware assertions

Author(s):
Mark Litterick