In reply to dave_59:
Hi Dave, thank you for your answer. I have two follow up questions.
1. Am I allowed to instantiate an SVA module like a design module in TB_top? What I mean is
module tb_top();
// some code here
sva_module i_sva; // ---> is this module instantiation allowed?
// or should it be something like this?
bind my_design sva_module i_sva (.*);
endmodule
2. In any case, if the sva_module instance name is i_sva, is this what I will have to enter in the “list_of_scopes_or_assertions” field?
For example:
module tb_top();
// some code here
// instantiate sva module here
$assert_control( control_type [ , [ assertion_type ] [ , [ directive_type ] [ , [ levels ]
[ , i_sva ] ] ] ] ) ; // turn on or turn off assertions within this module as needed
endmodule