[VCS] coverage temp test file name

在用vcs regression收coverage時，默認狀態下，test name 是 xxx_test_0,xxx_test_1;在simv.vdb中test_data就是收集這些test的coverage，但這樣有一個弊端：相同名字的test會把老的test coverage data蓋掉；

解決的方法：

1. 每次regression test name 都不一樣；

2. 在vcs sim option 中加入-cm_name<file_name> 

  其中<file_name>為UVM_TEST_$ENV{MINUS_SEED},即由UVM_TEST和seed組成；

  UVM_TEST是在丟sim cmd時指定的，比如UVM_TEST=tc_nor_test

  file_name :  tc_nor_test_200394

 

---

如果想去掉log中打印的SVA cover的信息，需要在sim option 加上 

-assert nopostproc

如果想在waveform中看到assertion success的信息，需要在sim option 加上

+fsdb+sva_success