Can we detect SVA in DUT under UVM?

UVM
9

In reply to leapoo:

The assertions you write to be bound into the DUT may still generate UVM reports in their actions blocks.