How the sample function for collecting coverage is implemented

Coverage
,
1

Hi All,
May I ask how the sample function for collecting coverage is implemented?
Did it also call the stop/start function?
I found that LRM doesn’t seem to specifically introduce the implementation methods of the built-in functions either.

2

The SystemVerilog Language Reference Manual (LRM) only outlines the necessary behavior for a tool to implement, but it doesn’t provide specific details on how to achieve that behavior.

3

Yes, I found that.
So the specific implementation of the built-in methods is the task of the EDA vendor, right?

4

The implementation of everything in the LRM is up to whoever develops a tool to support it.