SVA Encapsulation in UVM: enabling phase and configuration aware assertions Author(s): Mark Litterick Location: United States Year: 2013 Type: Paper Format: pdf Download