SVA Encapsulation in UVM: enabling phase and configuration aware assertions Author(s): Mark Litterick Download