vcs *.v *.sva -sverilog \
+define+tb_sva \
+define+slv_fc \
+define+slv_doc \
+define+master_debug \
-PP -assert enable_diag -cm assert \
-l compile.log
