TSIM coverage format?

Jiri Gaisler jiri at gaisler.se
Fri May 17 09:41:53 UTC 2019


>From the TSIM manual:

"The coverage data for each 32-bit word of memory consists of a 5-bit field, with bit0 (lsb) indicating that the
word has been executed, bit1 indicating that the word has been written, and bit2 that the word has been read.
Bit3 and bit4 indicates the presence of a branch instruction; if bit3 is set then the branch was taken while bit4
is set if the branch was not taken."

sis implements the same format, but does not set bits 1 & 2 (data read/write).

Jiri.

On 5/17/19 11:23 AM, Sebastian Huber wrote:
> Hello,
>
> is there a documentation for the TSIM coverage format available? From the tester/covoar/CoverageReaderTSIM.cc
>
>         if ( cover & 0x01 ) {
>           aCoverageMap->setWasExecuted( a );
>           aCoverageMap->setWasExecuted( a + 1 );
>           aCoverageMap->setWasExecuted( a + 2 );
>           aCoverageMap->setWasExecuted( a + 3 );
>           if ( cover & 0x08 ) {
>             aCoverageMap->setWasTaken( a );
>             BranchInfoAvailable = true;
>           }
>           if ( cover & 0x10 ) {
>             aCoverageMap->setWasNotTaken( a );
>             BranchInfoAvailable = true;
>           }
>         }
>
> it seems to be a bit field. Do the other five bits in this byte have a meaning too?
>



More information about the devel mailing list