今天再此回味RVM的文档时,发现SYNOPSYS对Functional coverage有很好的解释:
Functional coverage identifies which test conditions have been
automatically created by the random stimulus. Instead of coding
individual interesting conditions in individual directed testcases, they
will be coded as individual coverage points in a functional coverage
model. Testcases will then be used to steer the environment toward
the uncovered points in the coverage model.
请细细品味这段抽象的解释