Hi,
If I understand the original poster, he wants to see all the assertion firing/summary emerging from both interface/VIrt-if and DUT internal blocks at a single place. Typically you get this as part of run time log/transcript.
In your vxim command line you use:
vsim top +UVM_TESTNAME=“$(TEST)” -do “coverage save 1.ucdb -onexit;run -all” -c -l 1.log
So the “l.log” will contain everything.
Then you use
vcover report -file assertion_report_detail.txt -assert -verbose 1.ucdb
And I believe you are missing those SVAs that are bound to DUT in this assertion_report_detail.txt - if so, check the document for the tool. It should have an option.
HTH
Ajeetha, CVC