top of page

Coverage deriving verification 

SPV Coverage classes enable achieve 100 % coverage with 100 % efficiency by using the coverage classes queries.

When SPV coming up, it's start collect info on the history coverage. 

Even in middle test, The new cover combination add to current status.

Each coverage item is  object that enable call GenerateUnCoverElement() that return new combination that not cover yet.  

In the generation code we could call this query and use the information to generate new transaction that not cover yet, this is how SPV implement Coverage deriving verification.

In the example above we could see that the requirement was to cover any combination 10 times, and by query we achieve this request, with 100% efficiency.

Using this method called  active coverage, while  there is an option to work with passive coverage that only collect event and transaction and update coverage data base. user could combine these 2 method any where any time.

SPV coverage is very flexible, and enable do what ever you  want in case of any event, it is because the event of any coverage call to virtual function, in this function you could manage any information to  cover.


Coverage deriving verification 

//Select the least covered object

for(unsigned i=1;i<CovList.size();i++)
    if (CovList[i]->CoverPercent() < lessPercent) {
       lessPercent     = CovList[i]->CoverPercent();
       lessPercentInd  = i;//
The index of least covered object

//Code for case index 2 is the least covered object        

}  else if (lessPercentInd == 2) {//m_CovRdWrInc
   cmd->m_WrPolicyType = AddrIncrType;
   cmd->m_RdPolicyType = AddrIncrType;
   cmd->m_BlockLength = ((m_GenBlockSize->Gen()%8192)/4)*4;//do it X*4

   // The main engin, get combination that not cover yet.
   vec<uint>&wrRdUnCov = CovList[lessPercentInd]->

    //Calculate the start aligment , that not cover yet.
   cmd->m_SAddr = ((m_GenAddrRead.Gen()/4)*4) + wrRdIncUnCov[0];

   //Calculate the end aligment, that not cover yet.
   cmd->m_BlockLength = cmd->m_BlockLength - wrRdIncUnCov[0]+ wrRdIncUnCov[1];
   cmd->m_DAddr = ((m_GenAddrWrite.Gen()/4)*4) + wrRdIncUnCov[2];


Intermediate results: (100 % efficiency)

Up: more in: Spv Programmer guide

bottom of page