Add comments as a branch description in coverage .info files (#7843)

Signed-off-by: Eryk Szpotanski <eszpotanski@antmicro.com>
This commit is contained in:
Eryk Szpotański 2026-07-03 17:18:29 +02:00 committed by GitHub
parent 58bd13b623
commit a64234e897
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
13 changed files with 621 additions and 611 deletions

View File

@ -70,6 +70,7 @@ Edgar E. Iglesias
Eric Mejdrich
Eric Müller
Eric Rippey
Eryk Szpotański
Eunseo Song
Ethan Sifferman
Eyck Jentzsch

View File

@ -240,7 +240,7 @@ void VlcTop::writeInfo(const string& filename) {
// FNF:<number_functions_found>
// FNH:<number_functions_hit>
// Branches:
// BRDA:<line_number>,<block_number>,<branch_number>,<taken_count_or_-_for_zero>
// BRDA:<line_number>,<block_number>,<branch>,<taken_count_or_-_for_zero>
// BRF:<number_of_branches_found>
// BRH:<number_of_branches_hit>
// Line counts:
@ -273,8 +273,14 @@ void VlcTop::writeInfo(const string& filename) {
for (const VlcPoint* point : infoPoints) {
os << "BRDA:" << sc.lineno() << ",";
os << "0,";
os << point_num << ",";
os << point->count() << "\n";
if (point->comment().empty()) {
os << point_num;
} else {
std::string comment(point->comment());
std::replace(comment.begin(), comment.end(), ',', '_');
os << comment;
}
os << "," << point->count() << "\n";
branchesHit += opt.countOk(point->count());
++point_num;

View File

@ -4,32 +4,32 @@ DA:15,1
DA:18,1
DA:55,10
DA:56,10
BRDA:56,0,0,10
BRDA:56,0,1,0
BRDA:56,0,if,10
BRDA:56,0,else,0
DA:57,10
DA:58,10
DA:60,9
BRDA:60,0,0,1
BRDA:60,0,1,9
BRDA:60,0,if,1
BRDA:60,0,else,9
DA:61,9
BRDA:61,0,0,1
BRDA:61,0,1,9
BRDA:61,0,if,1
BRDA:61,0,else,9
DA:62,1
DA:63,1
DA:66,9
BRDA:66,0,0,1
BRDA:66,0,1,9
BRDA:66,0,if,1
BRDA:66,0,else,9
DA:67,9
BRDA:67,0,0,1
BRDA:67,0,1,9
BRDA:67,0,if,1
BRDA:67,0,else,9
DA:69,9
DA:70,9
DA:73,9
BRDA:73,0,0,1
BRDA:73,0,1,9
BRDA:73,0,if,1
BRDA:73,0,else,9
DA:74,9
BRDA:74,0,0,1
BRDA:74,0,1,9
BRDA:74,0,if,1
BRDA:74,0,else,9
DA:75,1
DA:76,1
DA:79,9
@ -41,8 +41,8 @@ DA:87,1
DA:88,1
DA:89,1
DA:91,7
BRDA:91,0,0,1
BRDA:91,0,1,7
BRDA:91,0,if,1
BRDA:91,0,else,7
DA:92,1
DA:93,1
DA:96,7
@ -52,67 +52,67 @@ DA:101,0
DA:102,0
DA:104,0
DA:105,10
BRDA:105,0,0,0
BRDA:105,0,1,10
BRDA:105,0,block,0
BRDA:105,0,block,10
DA:106,10
DA:107,10
BRDA:107,0,0,0
BRDA:107,0,1,10
BRDA:107,0,block,0
BRDA:107,0,block,10
DA:110,1
DA:111,1
DA:113,1
DA:115,1
DA:120,7
BRDA:120,0,0,1
BRDA:120,0,1,7
BRDA:120,0,if,1
BRDA:120,0,else,7
DA:121,1
DA:122,1
DA:127,1
DA:129,1
DA:140,20
DA:141,18
BRDA:141,0,0,2
BRDA:141,0,1,18
BRDA:141,0,if,2
BRDA:141,0,else,18
DA:142,2
DA:145,18
DA:164,20
DA:165,20
DA:166,20
BRDA:166,0,0,0
BRDA:166,0,1,20
BRDA:166,0,if,0
BRDA:166,0,else,20
DA:168,0
DA:170,18
BRDA:170,0,0,2
BRDA:170,0,1,18
BRDA:170,0,if,2
BRDA:170,0,else,18
DA:172,2
DA:174,18
DA:188,11
DA:189,11
DA:190,11
BRDA:190,0,0,11
BRDA:190,0,1,0
BRDA:190,0,if,11
BRDA:190,0,else,0
DA:191,11
DA:194,11
DA:195,11
BRDA:195,0,0,11
BRDA:195,0,1,0
BRDA:195,0,if,11
BRDA:195,0,else,0
DA:196,11
DA:199,11
DA:200,11
BRDA:200,0,0,11
BRDA:200,0,1,0
BRDA:200,0,if,11
BRDA:200,0,else,0
DA:201,11
DA:215,10
DA:216,10
DA:219,11
DA:221,11
DA:222,10
BRDA:222,0,0,1
BRDA:222,0,1,10
BRDA:222,0,if,1
BRDA:222,0,else,10
DA:223,1
DA:225,10
BRDA:225,0,0,1
BRDA:225,0,1,10
BRDA:225,0,if,1
BRDA:225,0,else,10
DA:226,1
DA:229,11
DA:230,11
@ -121,12 +121,12 @@ DA:232,11
DA:233,11
DA:253,10
DA:254,9
BRDA:254,0,0,1
BRDA:254,0,1,9
BRDA:254,0,if,1
BRDA:254,0,else,9
DA:256,1
DA:257,1
BRDA:257,0,0,0
BRDA:257,0,1,1
BRDA:257,0,if,0
BRDA:257,0,else,1
DA:266,10
DA:267,10
DA:268,1
@ -139,8 +139,8 @@ DA:277,10
DA:278,10
DA:288,0
DA:289,0
BRDA:289,0,0,0
BRDA:289,0,1,0
BRDA:289,0,if,0
BRDA:289,0,else,0
DA:290,0
DA:292,0
DA:293,0
@ -157,66 +157,66 @@ DA:328,10
DA:329,10
DA:330,10
DA:333,31
BRDA:333,0,0,0
BRDA:333,0,1,31
BRDA:333,0,cond_then,0
BRDA:333,0,cond_else,31
DA:334,28
BRDA:334,0,0,3
BRDA:334,0,1,28
BRDA:334,0,cond_then,3
BRDA:334,0,cond_else,28
DA:335,1
BRDA:335,0,0,1
BRDA:335,0,1,0
BRDA:335,0,cond_then,1
BRDA:335,0,cond_else,0
DA:336,10
DA:337,10
BRDA:337,0,0,10
BRDA:337,0,1,3
BRDA:337,0,2,7
BRDA:337,0,block,10
BRDA:337,0,cond_then,3
BRDA:337,0,cond_else,7
DA:338,10
BRDA:338,0,0,10
BRDA:338,0,1,0
BRDA:338,0,2,10
BRDA:338,0,block,10
BRDA:338,0,cond_then,0
BRDA:338,0,cond_else,10
DA:340,19
BRDA:340,0,0,12
BRDA:340,0,1,19
BRDA:340,0,2,7
BRDA:340,0,3,5
BRDA:340,0,cond_then,12
BRDA:340,0,cond_else,19
BRDA:340,0,cond_then,7
BRDA:340,0,cond_else,5
DA:343,11
BRDA:343,0,0,11
BRDA:343,0,1,0
BRDA:343,0,cond_then,11
BRDA:343,0,cond_else,0
DA:349,22
BRDA:349,0,0,20
BRDA:349,0,1,22
BRDA:349,0,cond_then,20
BRDA:349,0,cond_else,22
DA:352,11
DA:353,10
BRDA:353,0,0,0
BRDA:353,0,1,1
BRDA:353,0,2,1
BRDA:353,0,3,10
BRDA:353,0,cond_then,0
BRDA:353,0,cond_else,1
BRDA:353,0,if,1
BRDA:353,0,else,10
DA:354,10
DA:356,11
BRDA:356,0,0,11
BRDA:356,0,1,1
BRDA:356,0,2,10
BRDA:356,0,block,11
BRDA:356,0,cond_then,1
BRDA:356,0,cond_else,10
DA:359,55
BRDA:359,0,0,11
BRDA:359,0,1,55
BRDA:359,0,block,11
BRDA:359,0,block,55
DA:360,55
DA:362,44
BRDA:362,0,0,11
BRDA:362,0,1,11
BRDA:362,0,2,33
BRDA:362,0,3,44
BRDA:362,0,block,11
BRDA:362,0,cond_then,11
BRDA:362,0,cond_else,33
BRDA:362,0,block,44
DA:363,44
DA:366,11
BRDA:366,0,0,0
BRDA:366,0,1,11
BRDA:366,0,if,0
BRDA:366,0,else,11
DA:367,11
DA:370,10
BRDA:370,0,0,1
BRDA:370,0,1,10
BRDA:370,0,cond_then,1
BRDA:370,0,cond_else,10
DA:373,10
DA:374,9
BRDA:374,0,0,1
BRDA:374,0,1,9
BRDA:374,0,if,1
BRDA:374,0,else,9
BRF:83
BRH:32
end_of_record

View File

@ -1,20 +1,20 @@
TN:verilator_coverage
SF:t/t_cover_toggle_min.v
DA:10,1
BRDA:10,0,0,1
BRDA:10,0,1,0
BRDA:10,0,2,0
BRDA:10,0,3,0
BRDA:10,0,a[0]:0->1,1
BRDA:10,0,a[0]:1->0,0
BRDA:10,0,a[1]:0->1,0
BRDA:10,0,a[1]:1->0,0
DA:11,1
BRDA:11,0,0,0
BRDA:11,0,1,0
BRDA:11,0,2,1
BRDA:11,0,3,0
BRDA:11,0,b[0]:0->1,0
BRDA:11,0,b[0]:1->0,0
BRDA:11,0,b[1]:0->1,1
BRDA:11,0,b[1]:1->0,0
DA:12,1
BRDA:12,0,0,1
BRDA:12,0,1,1
BRDA:12,0,2,1
BRDA:12,0,3,0
BRDA:12,0,c[0]:0->1,1
BRDA:12,0,c[0]:1->0,1
BRDA:12,0,c[1]:0->1,1
BRDA:12,0,c[1]:1->0,0
BRF:12
BRH:0
end_of_record

View File

@ -224,3 +224,4 @@ C 'ft/t_cover_line.vl83n10tlinepagev_line/toelsifS83-85htop.t' 1
C 'ft/t_cover_line.vl87n15tlinepagev_line/toelsifS87-89htop.t' 1
C 'ft/t_cover_line.vl91n15tlinepagev_line/toifS91-93htop.t' 1
C 'ft/t_cover_line.vl91n16tlinepagev_line/toelseS96-97htop.t' 7
C 'ft/t_cover_line.vl91n16tlinepagev_line/totest,testS91-91htop.t' 5

View File

@ -1,6 +1,6 @@
$ verilator_coverage --report summary t/t_vlcov_data_e.dat
Coverage Summary:
line : 88.6% ( 39/ 44)
line : 88.9% ( 40/ 45)
toggle : 33.3% ( 35/105)
branch : 78.1% ( 50/ 64)
expr : 66.7% ( 8/ 12)

View File

@ -1,32 +1,32 @@
TN:verilator_coverage
SF:t/t_cover_line.v
DA:56,10
BRDA:56,0,0,10
BRDA:56,0,1,0
BRDA:56,0,if,10
BRDA:56,0,else,0
DA:57,10
DA:58,10
DA:60,9
BRDA:60,0,0,1
BRDA:60,0,1,9
BRDA:60,0,if,1
BRDA:60,0,else,9
DA:61,9
BRDA:61,0,0,1
BRDA:61,0,1,9
BRDA:61,0,if,1
BRDA:61,0,else,9
DA:62,1
DA:63,1
DA:66,9
BRDA:66,0,0,1
BRDA:66,0,1,9
BRDA:66,0,if,1
BRDA:66,0,else,9
DA:67,9
BRDA:67,0,0,1
BRDA:67,0,1,9
BRDA:67,0,if,1
BRDA:67,0,else,9
DA:69,9
DA:70,9
DA:73,9
BRDA:73,0,0,1
BRDA:73,0,1,9
BRDA:73,0,if,1
BRDA:73,0,else,9
DA:74,9
BRDA:74,0,0,1
BRDA:74,0,1,9
BRDA:74,0,if,1
BRDA:74,0,else,9
DA:75,1
DA:76,1
DA:79,9
@ -34,93 +34,93 @@ DA:80,9
DA:105,10
DA:106,10
DA:120,7
BRDA:120,0,0,1
BRDA:120,0,1,7
BRDA:120,0,if,1
BRDA:120,0,else,7
DA:121,1
DA:122,1
DA:141,18
BRDA:141,0,0,2
BRDA:141,0,1,18
BRDA:141,0,if,2
BRDA:141,0,else,18
DA:142,2
DA:166,20
BRDA:166,0,0,0
BRDA:166,0,1,20
BRDA:166,0,if,0
BRDA:166,0,else,20
DA:168,0
DA:170,18
BRDA:170,0,0,2
BRDA:170,0,1,18
BRDA:170,0,if,2
BRDA:170,0,else,18
DA:172,2
DA:190,1
BRDA:190,0,0,1
BRDA:190,0,1,0
BRDA:190,0,if,1
BRDA:190,0,else,0
DA:191,1
DA:195,11
BRDA:195,0,0,11
BRDA:195,0,1,0
BRDA:195,0,if,11
BRDA:195,0,else,0
DA:196,11
DA:200,11
BRDA:200,0,0,11
BRDA:200,0,1,0
BRDA:200,0,if,11
BRDA:200,0,else,0
DA:201,11
DA:222,10
BRDA:222,0,0,1
BRDA:222,0,1,10
BRDA:222,0,if,1
BRDA:222,0,else,10
DA:223,1
DA:225,10
BRDA:225,0,0,1
BRDA:225,0,1,10
BRDA:225,0,if,1
BRDA:225,0,else,10
DA:226,1
DA:253,9
BRDA:253,0,0,1
BRDA:253,0,1,9
BRDA:253,0,if,1
BRDA:253,0,else,9
DA:255,1
DA:256,1
BRDA:256,0,0,0
BRDA:256,0,1,1
BRDA:256,0,if,0
BRDA:256,0,else,1
DA:288,0
BRDA:288,0,0,0
BRDA:288,0,1,0
BRDA:288,0,if,0
BRDA:288,0,else,0
DA:289,0
DA:291,0
DA:292,0
DA:327,31
BRDA:327,0,0,0
BRDA:327,0,1,31
BRDA:327,0,cond_then,0
BRDA:327,0,cond_else,31
DA:328,28
BRDA:328,0,0,3
BRDA:328,0,1,28
BRDA:328,0,cond_then,3
BRDA:328,0,cond_else,28
DA:329,21
BRDA:329,0,0,21
BRDA:329,0,1,0
BRDA:329,0,cond_then,21
BRDA:329,0,cond_else,0
DA:331,7
BRDA:331,0,0,3
BRDA:331,0,1,7
BRDA:331,0,cond_then,3
BRDA:331,0,cond_else,7
DA:332,10
BRDA:332,0,0,0
BRDA:332,0,1,10
BRDA:332,0,cond_then,0
BRDA:332,0,cond_else,10
DA:334,19
BRDA:334,0,0,12
BRDA:334,0,1,19
BRDA:334,0,2,7
BRDA:334,0,3,5
BRDA:334,0,cond_then,12
BRDA:334,0,cond_else,19
BRDA:334,0,cond_then,7
BRDA:334,0,cond_else,5
DA:337,11
BRDA:337,0,0,11
BRDA:337,0,1,0
BRDA:337,0,cond_then,11
BRDA:337,0,cond_else,0
DA:343,11
BRDA:343,0,0,10
BRDA:343,0,1,11
BRDA:343,0,cond_then,10
BRDA:343,0,cond_else,11
DA:347,10
BRDA:347,0,0,0
BRDA:347,0,1,1
BRDA:347,0,2,1
BRDA:347,0,3,10
BRDA:347,0,cond_then,0
BRDA:347,0,cond_else,1
BRDA:347,0,if,1
BRDA:347,0,else,10
DA:348,10
DA:350,10
BRDA:350,0,0,1
BRDA:350,0,1,10
BRDA:350,0,cond_then,1
BRDA:350,0,cond_else,10
DA:360,11
BRDA:360,0,0,0
BRDA:360,0,1,11
BRDA:360,0,if,0
BRDA:360,0,else,11
DA:361,11
BRF:64
BRH:20

View File

@ -1,23 +1,23 @@
TN:verilator_coverage
SF:t/t_cover_line.v
DA:331,7
BRDA:331,0,0,7
BRDA:331,0,1,3
BRDA:331,0,(((cyc %25 32'sh3) == 32'sh0)==0) => 0,7
BRDA:331,0,(((cyc %25 32'sh3) == 32'sh0)==1) => 1,3
DA:347,1
BRDA:347,0,0,1
BRDA:347,0,1,0
BRDA:347,0,((cyc > 32'sh5)==0) => 0,1
BRDA:347,0,((cyc > 32'sh5)==1) => 1,0
DA:350,10
BRDA:350,0,0,10
BRDA:350,0,1,1
BRDA:350,0,((cyc == 32'sh2)==0) => 0,10
BRDA:350,0,((cyc == 32'sh2)==1) => 1,1
DA:353,11
BRDA:353,0,0,11
BRDA:353,0,1,0
BRDA:353,0,((i < 32'sh5)==0) => 0,11
BRDA:353,0,((i < 32'sh5)==1) => 1,0
DA:356,11
BRDA:356,0,0,0
BRDA:356,0,1,11
BRDA:356,0,((i > 32'sh4)==0) => 0,0
BRDA:356,0,((i > 32'sh4)==1) => 1,11
DA:360,11
BRDA:360,0,0,11
BRDA:360,0,1,0
BRDA:360,0,(k==0) => 0,11
BRDA:360,0,(k==1) => 1,0
BRF:12
BRH:4
end_of_record

View File

@ -10,8 +10,9 @@ DA:87,1
DA:88,1
DA:89,1
DA:91,7
BRDA:91,0,0,1
BRDA:91,0,1,7
BRDA:91,0,if,1
BRDA:91,0,else,7
BRDA:91,0,test_test,5
DA:92,1
DA:93,1
DA:96,7
@ -75,13 +76,13 @@ DA:332,10
DA:346,11
DA:350,11
DA:353,55
BRDA:353,0,0,11
BRDA:353,0,1,55
BRDA:353,0,block,11
BRDA:353,0,block,55
DA:354,55
DA:356,44
BRDA:356,0,0,11
BRDA:356,0,1,44
BRDA:356,0,block,11
BRDA:356,0,block,44
DA:357,44
BRF:6
BRF:7
BRH:4
end_of_record

View File

@ -3,14 +3,14 @@ SF:t/t_cover_line.v
DA:12,19
DA:14,2
DA:20,11
BRDA:20,0,0,11
BRDA:20,0,1,5
BRDA:20,0,2,2
BRDA:20,0,3,1
BRDA:20,0,4,0
BRDA:20,0,5,0
BRDA:20,0,6,0
BRDA:20,0,7,0
BRDA:20,0,cyc_copy[0],11
BRDA:20,0,cyc_copy[1],5
BRDA:20,0,cyc_copy[2],2
BRDA:20,0,cyc_copy[3],1
BRDA:20,0,cyc_copy[4],0
BRDA:20,0,cyc_copy[5],0
BRDA:20,0,cyc_copy[6],0
BRDA:20,0,cyc_copy[7],0
DA:138,38
DA:139,4
DA:159,38
@ -21,96 +21,96 @@ DA:241,19
DA:242,2
DA:261,19
DA:262,10
BRDA:262,0,0,10
BRDA:262,0,1,5
BRDA:262,0,2,2
BRDA:262,0,3,1
BRDA:262,0,cyc4[0],10
BRDA:262,0,cyc4[1],5
BRDA:262,0,cyc4[2],2
BRDA:262,0,cyc4[3],1
DA:309,19
BRDA:309,0,0,19
BRDA:309,0,1,11
BRDA:309,0,2,0
BRDA:309,0,3,0
BRDA:309,0,4,0
BRDA:309,0,5,0
BRDA:309,0,6,0
BRDA:309,0,7,0
BRDA:309,0,8,0
BRDA:309,0,9,0
BRDA:309,0,10,0
BRDA:309,0,11,0
BRDA:309,0,12,5
BRDA:309,0,13,0
BRDA:309,0,14,0
BRDA:309,0,15,0
BRDA:309,0,16,0
BRDA:309,0,17,0
BRDA:309,0,18,0
BRDA:309,0,19,0
BRDA:309,0,20,0
BRDA:309,0,21,0
BRDA:309,0,22,0
BRDA:309,0,23,2
BRDA:309,0,24,0
BRDA:309,0,25,0
BRDA:309,0,26,1
BRDA:309,0,27,0
BRDA:309,0,28,0
BRDA:309,0,29,0
BRDA:309,0,30,0
BRDA:309,0,31,0
BRDA:309,0,32,0
BRDA:309,0,clk,19
BRDA:309,0,cyc[0],11
BRDA:309,0,cyc[10],0
BRDA:309,0,cyc[11],0
BRDA:309,0,cyc[12],0
BRDA:309,0,cyc[13],0
BRDA:309,0,cyc[14],0
BRDA:309,0,cyc[15],0
BRDA:309,0,cyc[16],0
BRDA:309,0,cyc[17],0
BRDA:309,0,cyc[18],0
BRDA:309,0,cyc[19],0
BRDA:309,0,cyc[1],5
BRDA:309,0,cyc[20],0
BRDA:309,0,cyc[21],0
BRDA:309,0,cyc[22],0
BRDA:309,0,cyc[23],0
BRDA:309,0,cyc[24],0
BRDA:309,0,cyc[25],0
BRDA:309,0,cyc[26],0
BRDA:309,0,cyc[27],0
BRDA:309,0,cyc[28],0
BRDA:309,0,cyc[29],0
BRDA:309,0,cyc[2],2
BRDA:309,0,cyc[30],0
BRDA:309,0,cyc[31],0
BRDA:309,0,cyc[3],1
BRDA:309,0,cyc[4],0
BRDA:309,0,cyc[5],0
BRDA:309,0,cyc[6],0
BRDA:309,0,cyc[7],0
BRDA:309,0,cyc[8],0
BRDA:309,0,cyc[9],0
DA:310,19
BRDA:310,0,0,0
BRDA:310,0,1,2
BRDA:310,0,2,19
BRDA:310,0,3,6
BRDA:310,0,4,7
BRDA:310,0,5,1
BRDA:310,0,6,19
BRDA:310,0,7,3
BRDA:310,0,8,0
BRDA:310,0,9,0
BRDA:310,0,10,0
BRDA:310,0,a,0
BRDA:310,0,b,2
BRDA:310,0,c,19
BRDA:310,0,d,6
BRDA:310,0,e,7
BRDA:310,0,f,1
BRDA:310,0,g,19
BRDA:310,0,h,3
BRDA:310,0,k,0
BRDA:310,0,l,0
BRDA:310,0,m,0
DA:311,1
BRDA:311,0,0,1
BRDA:311,0,1,1
BRDA:311,0,2,0
BRDA:311,0,3,0
BRDA:311,0,4,0
BRDA:311,0,5,0
BRDA:311,0,tab[0],1
BRDA:311,0,tab[1],1
BRDA:311,0,tab[2],0
BRDA:311,0,tab[3],0
BRDA:311,0,tab[4],0
BRDA:311,0,tab[5],0
DA:313,2
BRDA:313,0,0,0
BRDA:313,0,1,2
BRDA:313,0,2,0
BRDA:313,0,3,0
BRDA:313,0,4,0
BRDA:313,0,5,0
BRDA:313,0,6,0
BRDA:313,0,7,0
BRDA:313,0,8,2
BRDA:313,0,9,0
BRDA:313,0,10,0
BRDA:313,0,11,0
BRDA:313,0,12,0
BRDA:313,0,13,0
BRDA:313,0,14,0
BRDA:313,0,15,0
BRDA:313,0,16,0
BRDA:313,0,17,0
BRDA:313,0,18,0
BRDA:313,0,19,0
BRDA:313,0,20,0
BRDA:313,0,21,0
BRDA:313,0,22,0
BRDA:313,0,23,0
BRDA:313,0,24,0
BRDA:313,0,25,0
BRDA:313,0,26,0
BRDA:313,0,27,0
BRDA:313,0,28,0
BRDA:313,0,29,0
BRDA:313,0,30,0
BRDA:313,0,31,0
BRDA:313,0,data[0][0][0],0
BRDA:313,0,data[0][0][1],2
BRDA:313,0,data[0][0][2],0
BRDA:313,0,data[0][0][3],0
BRDA:313,0,data[0][0][4],0
BRDA:313,0,data[0][0][5],0
BRDA:313,0,data[0][0][6],0
BRDA:313,0,data[0][0][7],0
BRDA:313,0,data[0][1][0],2
BRDA:313,0,data[0][1][1],0
BRDA:313,0,data[0][1][2],0
BRDA:313,0,data[0][1][3],0
BRDA:313,0,data[0][1][4],0
BRDA:313,0,data[0][1][5],0
BRDA:313,0,data[0][1][6],0
BRDA:313,0,data[0][1][7],0
BRDA:313,0,data[1][0][0],0
BRDA:313,0,data[1][0][1],0
BRDA:313,0,data[1][0][2],0
BRDA:313,0,data[1][0][3],0
BRDA:313,0,data[1][0][4],0
BRDA:313,0,data[1][0][5],0
BRDA:313,0,data[1][0][6],0
BRDA:313,0,data[1][0][7],0
BRDA:313,0,data[1][1][0],0
BRDA:313,0,data[1][1][1],0
BRDA:313,0,data[1][1][2],0
BRDA:313,0,data[1][1][3],0
BRDA:313,0,data[1][1][4],0
BRDA:313,0,data[1][1][5],0
BRDA:313,0,data[1][1][6],0
BRDA:313,0,data[1][1][7],0
BRF:94
BRH:6
end_of_record

View File

@ -1,180 +1,180 @@
TN:verilator_coverage
SF:t/t_assert_ctl_arg.v
DA:49,1
BRDA:49,0,0,1
BRDA:49,0,1,1
BRDA:49,0,2,0
BRDA:49,0,3,0
BRDA:49,0,4,0
BRDA:49,0,5,0
BRDA:49,0,cover_simple_immediate_49,1
BRDA:49,0,cover_simple_immediate_stmt_49,1
BRDA:49,0,cover_final_deferred_immediate_49,0
BRDA:49,0,cover_observed_deferred_immediate_49,0
BRDA:49,0,cover_final_deferred_immediate_stmt_49,0
BRDA:49,0,cover_observed_deferred_immediate_stmt_49,0
DA:51,0
BRDA:51,0,0,0
BRDA:51,0,1,0
BRDA:51,0,2,0
BRDA:51,0,3,0
BRDA:51,0,4,0
BRDA:51,0,5,0
BRDA:51,0,cover_simple_immediate_51,0
BRDA:51,0,cover_simple_immediate_stmt_51,0
BRDA:51,0,cover_final_deferred_immediate_51,0
BRDA:51,0,cover_observed_deferred_immediate_51,0
BRDA:51,0,cover_final_deferred_immediate_stmt_51,0
BRDA:51,0,cover_observed_deferred_immediate_stmt_51,0
DA:56,1
BRDA:56,0,0,0
BRDA:56,0,1,0
BRDA:56,0,2,0
BRDA:56,0,3,1
BRDA:56,0,4,0
BRDA:56,0,5,1
BRDA:56,0,cover_simple_immediate_56,0
BRDA:56,0,cover_simple_immediate_stmt_56,0
BRDA:56,0,cover_final_deferred_immediate_56,0
BRDA:56,0,cover_observed_deferred_immediate_56,1
BRDA:56,0,cover_final_deferred_immediate_stmt_56,0
BRDA:56,0,cover_observed_deferred_immediate_stmt_56,1
DA:58,0
BRDA:58,0,0,0
BRDA:58,0,1,0
BRDA:58,0,2,0
BRDA:58,0,3,0
BRDA:58,0,4,0
BRDA:58,0,5,0
BRDA:58,0,cover_simple_immediate_58,0
BRDA:58,0,cover_simple_immediate_stmt_58,0
BRDA:58,0,cover_final_deferred_immediate_58,0
BRDA:58,0,cover_observed_deferred_immediate_58,0
BRDA:58,0,cover_final_deferred_immediate_stmt_58,0
BRDA:58,0,cover_observed_deferred_immediate_stmt_58,0
DA:63,1
BRDA:63,0,0,0
BRDA:63,0,1,0
BRDA:63,0,2,1
BRDA:63,0,3,0
BRDA:63,0,4,1
BRDA:63,0,5,0
BRDA:63,0,cover_simple_immediate_63,0
BRDA:63,0,cover_simple_immediate_stmt_63,0
BRDA:63,0,cover_final_deferred_immediate_63,1
BRDA:63,0,cover_observed_deferred_immediate_63,0
BRDA:63,0,cover_final_deferred_immediate_stmt_63,1
BRDA:63,0,cover_observed_deferred_immediate_stmt_63,0
DA:65,0
BRDA:65,0,0,0
BRDA:65,0,1,0
BRDA:65,0,2,0
BRDA:65,0,3,0
BRDA:65,0,4,0
BRDA:65,0,5,0
BRDA:65,0,cover_simple_immediate_65,0
BRDA:65,0,cover_simple_immediate_stmt_65,0
BRDA:65,0,cover_final_deferred_immediate_65,0
BRDA:65,0,cover_observed_deferred_immediate_65,0
BRDA:65,0,cover_final_deferred_immediate_stmt_65,0
BRDA:65,0,cover_observed_deferred_immediate_stmt_65,0
DA:69,0
BRDA:69,0,0,0
BRDA:69,0,1,0
BRDA:69,0,2,0
BRDA:69,0,3,0
BRDA:69,0,4,0
BRDA:69,0,5,0
BRDA:69,0,cover_simple_immediate_69,0
BRDA:69,0,cover_simple_immediate_stmt_69,0
BRDA:69,0,cover_final_deferred_immediate_69,0
BRDA:69,0,cover_observed_deferred_immediate_69,0
BRDA:69,0,cover_final_deferred_immediate_stmt_69,0
BRDA:69,0,cover_observed_deferred_immediate_stmt_69,0
DA:71,1
BRDA:71,0,0,1
BRDA:71,0,1,1
BRDA:71,0,2,1
BRDA:71,0,3,1
BRDA:71,0,4,1
BRDA:71,0,5,1
BRDA:71,0,cover_simple_immediate_71,1
BRDA:71,0,cover_simple_immediate_stmt_71,1
BRDA:71,0,cover_final_deferred_immediate_71,1
BRDA:71,0,cover_observed_deferred_immediate_71,1
BRDA:71,0,cover_final_deferred_immediate_stmt_71,1
BRDA:71,0,cover_observed_deferred_immediate_stmt_71,1
DA:73,0
BRDA:73,0,0,0
BRDA:73,0,1,0
BRDA:73,0,2,0
BRDA:73,0,3,0
BRDA:73,0,4,0
BRDA:73,0,5,0
BRDA:73,0,cover_simple_immediate_73,0
BRDA:73,0,cover_simple_immediate_stmt_73,0
BRDA:73,0,cover_final_deferred_immediate_73,0
BRDA:73,0,cover_observed_deferred_immediate_73,0
BRDA:73,0,cover_final_deferred_immediate_stmt_73,0
BRDA:73,0,cover_observed_deferred_immediate_stmt_73,0
DA:76,1
BRDA:76,0,0,1
BRDA:76,0,1,1
BRDA:76,0,2,0
BRDA:76,0,3,1
BRDA:76,0,4,0
BRDA:76,0,5,1
BRDA:76,0,cover_simple_immediate_76,1
BRDA:76,0,cover_simple_immediate_stmt_76,1
BRDA:76,0,cover_final_deferred_immediate_76,0
BRDA:76,0,cover_observed_deferred_immediate_76,1
BRDA:76,0,cover_final_deferred_immediate_stmt_76,0
BRDA:76,0,cover_observed_deferred_immediate_stmt_76,1
DA:78,1
BRDA:78,0,0,1
BRDA:78,0,1,1
BRDA:78,0,2,1
BRDA:78,0,3,1
BRDA:78,0,4,1
BRDA:78,0,5,1
BRDA:78,0,cover_simple_immediate_78,1
BRDA:78,0,cover_simple_immediate_stmt_78,1
BRDA:78,0,cover_final_deferred_immediate_78,1
BRDA:78,0,cover_observed_deferred_immediate_78,1
BRDA:78,0,cover_final_deferred_immediate_stmt_78,1
BRDA:78,0,cover_observed_deferred_immediate_stmt_78,1
DA:80,1
BRDA:80,0,0,1
BRDA:80,0,1,1
BRDA:80,0,2,0
BRDA:80,0,3,0
BRDA:80,0,4,0
BRDA:80,0,5,0
BRDA:80,0,cover_simple_immediate_80,1
BRDA:80,0,cover_simple_immediate_stmt_80,1
BRDA:80,0,cover_final_deferred_immediate_80,0
BRDA:80,0,cover_observed_deferred_immediate_80,0
BRDA:80,0,cover_final_deferred_immediate_stmt_80,0
BRDA:80,0,cover_observed_deferred_immediate_stmt_80,0
DA:82,1
BRDA:82,0,0,1
BRDA:82,0,1,1
BRDA:82,0,2,0
BRDA:82,0,3,0
BRDA:82,0,4,0
BRDA:82,0,5,0
BRDA:82,0,cover_simple_immediate_82,1
BRDA:82,0,cover_simple_immediate_stmt_82,1
BRDA:82,0,cover_final_deferred_immediate_82,0
BRDA:82,0,cover_observed_deferred_immediate_82,0
BRDA:82,0,cover_final_deferred_immediate_stmt_82,0
BRDA:82,0,cover_observed_deferred_immediate_stmt_82,0
DA:84,0
BRDA:84,0,0,0
BRDA:84,0,1,0
BRDA:84,0,2,0
BRDA:84,0,3,0
BRDA:84,0,4,0
BRDA:84,0,5,0
BRDA:84,0,cover_simple_immediate_84,0
BRDA:84,0,cover_simple_immediate_stmt_84,0
BRDA:84,0,cover_final_deferred_immediate_84,0
BRDA:84,0,cover_observed_deferred_immediate_84,0
BRDA:84,0,cover_final_deferred_immediate_stmt_84,0
BRDA:84,0,cover_observed_deferred_immediate_stmt_84,0
DA:86,1
BRDA:86,0,0,1
BRDA:86,0,1,1
BRDA:86,0,2,0
BRDA:86,0,3,0
BRDA:86,0,4,0
BRDA:86,0,5,0
BRDA:86,0,cover_simple_immediate_86,1
BRDA:86,0,cover_simple_immediate_stmt_86,1
BRDA:86,0,cover_final_deferred_immediate_86,0
BRDA:86,0,cover_observed_deferred_immediate_86,0
BRDA:86,0,cover_final_deferred_immediate_stmt_86,0
BRDA:86,0,cover_observed_deferred_immediate_stmt_86,0
DA:88,0
BRDA:88,0,0,0
BRDA:88,0,1,0
BRDA:88,0,2,0
BRDA:88,0,3,0
BRDA:88,0,4,0
BRDA:88,0,5,0
BRDA:88,0,cover_simple_immediate_88,0
BRDA:88,0,cover_simple_immediate_stmt_88,0
BRDA:88,0,cover_final_deferred_immediate_88,0
BRDA:88,0,cover_observed_deferred_immediate_88,0
BRDA:88,0,cover_final_deferred_immediate_stmt_88,0
BRDA:88,0,cover_observed_deferred_immediate_stmt_88,0
DA:90,1
BRDA:90,0,0,1
BRDA:90,0,1,1
BRDA:90,0,2,1
BRDA:90,0,3,1
BRDA:90,0,4,1
BRDA:90,0,5,1
BRDA:90,0,cover_simple_immediate_90,1
BRDA:90,0,cover_simple_immediate_stmt_90,1
BRDA:90,0,cover_final_deferred_immediate_90,1
BRDA:90,0,cover_observed_deferred_immediate_90,1
BRDA:90,0,cover_final_deferred_immediate_stmt_90,1
BRDA:90,0,cover_observed_deferred_immediate_stmt_90,1
DA:92,0
BRDA:92,0,0,0
BRDA:92,0,1,0
BRDA:92,0,2,0
BRDA:92,0,3,0
BRDA:92,0,4,0
BRDA:92,0,5,0
BRDA:92,0,cover_simple_immediate_92,0
BRDA:92,0,cover_simple_immediate_stmt_92,0
BRDA:92,0,cover_final_deferred_immediate_92,0
BRDA:92,0,cover_observed_deferred_immediate_92,0
BRDA:92,0,cover_final_deferred_immediate_stmt_92,0
BRDA:92,0,cover_observed_deferred_immediate_stmt_92,0
DA:97,0
BRDA:97,0,0,0
BRDA:97,0,1,0
BRDA:97,0,2,0
BRDA:97,0,3,0
BRDA:97,0,4,0
BRDA:97,0,5,0
BRDA:97,0,cover_simple_immediate_97,0
BRDA:97,0,cover_simple_immediate_stmt_97,0
BRDA:97,0,cover_final_deferred_immediate_97,0
BRDA:97,0,cover_observed_deferred_immediate_97,0
BRDA:97,0,cover_final_deferred_immediate_stmt_97,0
BRDA:97,0,cover_observed_deferred_immediate_stmt_97,0
DA:100,1
BRDA:100,0,0,1
BRDA:100,0,1,1
BRDA:100,0,2,1
BRDA:100,0,3,1
BRDA:100,0,4,1
BRDA:100,0,5,1
BRDA:100,0,cover_simple_immediate_100,1
BRDA:100,0,cover_simple_immediate_stmt_100,1
BRDA:100,0,cover_final_deferred_immediate_100,1
BRDA:100,0,cover_observed_deferred_immediate_100,1
BRDA:100,0,cover_final_deferred_immediate_stmt_100,1
BRDA:100,0,cover_observed_deferred_immediate_stmt_100,1
DA:103,0
BRDA:103,0,0,0
BRDA:103,0,1,0
BRDA:103,0,2,0
BRDA:103,0,3,0
BRDA:103,0,4,0
BRDA:103,0,5,0
BRDA:103,0,cover_simple_immediate_103,0
BRDA:103,0,cover_simple_immediate_stmt_103,0
BRDA:103,0,cover_final_deferred_immediate_103,0
BRDA:103,0,cover_observed_deferred_immediate_103,0
BRDA:103,0,cover_final_deferred_immediate_stmt_103,0
BRDA:103,0,cover_observed_deferred_immediate_stmt_103,0
DA:106,1
BRDA:106,0,0,1
BRDA:106,0,1,1
BRDA:106,0,2,1
BRDA:106,0,3,1
BRDA:106,0,4,1
BRDA:106,0,5,1
BRDA:106,0,cover_simple_immediate_106,1
BRDA:106,0,cover_simple_immediate_stmt_106,1
BRDA:106,0,cover_final_deferred_immediate_106,1
BRDA:106,0,cover_observed_deferred_immediate_106,1
BRDA:106,0,cover_final_deferred_immediate_stmt_106,1
BRDA:106,0,cover_observed_deferred_immediate_stmt_106,1
DA:108,1
BRDA:108,0,0,1
BRDA:108,0,1,1
BRDA:108,0,2,1
BRDA:108,0,3,1
BRDA:108,0,4,1
BRDA:108,0,5,1
BRDA:108,0,cover_simple_immediate_108,1
BRDA:108,0,cover_simple_immediate_stmt_108,1
BRDA:108,0,cover_final_deferred_immediate_108,1
BRDA:108,0,cover_observed_deferred_immediate_108,1
BRDA:108,0,cover_final_deferred_immediate_stmt_108,1
BRDA:108,0,cover_observed_deferred_immediate_stmt_108,1
DA:110,0
BRDA:110,0,0,0
BRDA:110,0,1,0
BRDA:110,0,2,0
BRDA:110,0,3,0
BRDA:110,0,4,0
BRDA:110,0,5,0
BRDA:110,0,cover_simple_immediate_110,0
BRDA:110,0,cover_simple_immediate_stmt_110,0
BRDA:110,0,cover_final_deferred_immediate_110,0
BRDA:110,0,cover_observed_deferred_immediate_110,0
BRDA:110,0,cover_final_deferred_immediate_stmt_110,0
BRDA:110,0,cover_observed_deferred_immediate_stmt_110,0
DA:112,1
BRDA:112,0,0,1
BRDA:112,0,1,1
BRDA:112,0,2,1
BRDA:112,0,3,0
BRDA:112,0,4,1
BRDA:112,0,5,0
BRDA:112,0,cover_simple_immediate_112,1
BRDA:112,0,cover_simple_immediate_stmt_112,1
BRDA:112,0,cover_final_deferred_immediate_112,1
BRDA:112,0,cover_observed_deferred_immediate_112,0
BRDA:112,0,cover_final_deferred_immediate_stmt_112,1
BRDA:112,0,cover_observed_deferred_immediate_stmt_112,0
DA:192,0
DA:193,0
BRF:150

View File

@ -5,42 +5,42 @@ DA:14,2
DA:15,1
DA:18,1
DA:20,11
BRDA:20,0,0,11
BRDA:20,0,1,5
BRDA:20,0,2,2
BRDA:20,0,3,1
BRDA:20,0,4,0
BRDA:20,0,5,0
BRDA:20,0,6,0
BRDA:20,0,7,0
BRDA:20,0,cyc_copy[0],11
BRDA:20,0,cyc_copy[1],5
BRDA:20,0,cyc_copy[2],2
BRDA:20,0,cyc_copy[3],1
BRDA:20,0,cyc_copy[4],0
BRDA:20,0,cyc_copy[5],0
BRDA:20,0,cyc_copy[6],0
BRDA:20,0,cyc_copy[7],0
DA:55,10
DA:56,10
BRDA:56,0,0,10
BRDA:56,0,1,0
BRDA:56,0,if,10
BRDA:56,0,else,0
DA:57,10
DA:58,10
DA:60,9
BRDA:60,0,0,1
BRDA:60,0,1,9
BRDA:60,0,if,1
BRDA:60,0,else,9
DA:61,9
BRDA:61,0,0,1
BRDA:61,0,1,9
BRDA:61,0,if,1
BRDA:61,0,else,9
DA:62,1
DA:63,1
DA:66,9
BRDA:66,0,0,1
BRDA:66,0,1,9
BRDA:66,0,if,1
BRDA:66,0,else,9
DA:67,9
BRDA:67,0,0,1
BRDA:67,0,1,9
BRDA:67,0,if,1
BRDA:67,0,else,9
DA:69,9
DA:70,9
DA:73,9
BRDA:73,0,0,1
BRDA:73,0,1,9
BRDA:73,0,if,1
BRDA:73,0,else,9
DA:74,9
BRDA:74,0,0,1
BRDA:74,0,1,9
BRDA:74,0,if,1
BRDA:74,0,else,9
DA:75,1
DA:76,1
DA:79,9
@ -52,8 +52,9 @@ DA:87,1
DA:88,1
DA:89,1
DA:91,7
BRDA:91,0,0,1
BRDA:91,0,1,7
BRDA:91,0,if,1
BRDA:91,0,else,7
BRDA:91,0,test_test,5
DA:92,1
DA:93,1
DA:96,7
@ -63,19 +64,19 @@ DA:101,0
DA:102,0
DA:104,0
DA:105,10
BRDA:105,0,0,0
BRDA:105,0,1,10
BRDA:105,0,block,0
BRDA:105,0,if,10
DA:106,10
BRDA:106,0,0,0
BRDA:106,0,1,10
BRDA:106,0,block,0
BRDA:106,0,if,10
DA:107,0
DA:110,1
DA:111,1
DA:113,1
DA:115,1
DA:120,7
BRDA:120,0,0,1
BRDA:120,0,1,7
BRDA:120,0,if,1
BRDA:120,0,else,7
DA:121,1
DA:122,1
DA:127,1
@ -84,8 +85,8 @@ DA:138,38
DA:139,4
DA:140,20
DA:141,18
BRDA:141,0,0,2
BRDA:141,0,1,18
BRDA:141,0,if,2
BRDA:141,0,else,18
DA:142,2
DA:145,18
DA:159,38
@ -93,29 +94,29 @@ DA:160,4
DA:164,20
DA:165,20
DA:166,20
BRDA:166,0,0,0
BRDA:166,0,1,20
BRDA:166,0,if,0
BRDA:166,0,else,20
DA:168,0
DA:170,18
BRDA:170,0,0,2
BRDA:170,0,1,18
BRDA:170,0,if,2
BRDA:170,0,else,18
DA:172,2
DA:174,18
DA:188,1
DA:189,1
DA:190,1
BRDA:190,0,0,1
BRDA:190,0,1,0
BRDA:190,0,if,1
BRDA:190,0,else,0
DA:191,1
DA:194,11
DA:195,11
BRDA:195,0,0,11
BRDA:195,0,1,0
BRDA:195,0,if,11
BRDA:195,0,else,0
DA:196,11
DA:199,11
DA:200,11
BRDA:200,0,0,11
BRDA:200,0,1,0
BRDA:200,0,if,11
BRDA:200,0,else,0
DA:201,11
DA:210,19
DA:211,2
@ -124,12 +125,12 @@ DA:216,10
DA:219,11
DA:221,11
DA:222,10
BRDA:222,0,0,1
BRDA:222,0,1,10
BRDA:222,0,if,1
BRDA:222,0,else,10
DA:223,1
DA:225,10
BRDA:225,0,0,1
BRDA:225,0,1,10
BRDA:225,0,if,1
BRDA:225,0,else,10
DA:226,1
DA:229,11
DA:230,1
@ -139,18 +140,18 @@ DA:241,19
DA:242,2
DA:252,10
DA:253,9
BRDA:253,0,0,1
BRDA:253,0,1,9
BRDA:253,0,if,1
BRDA:253,0,else,9
DA:255,1
DA:256,1
BRDA:256,0,0,0
BRDA:256,0,1,1
BRDA:256,0,if,0
BRDA:256,0,else,1
DA:261,19
DA:262,10
BRDA:262,0,0,10
BRDA:262,0,1,5
BRDA:262,0,2,2
BRDA:262,0,3,1
BRDA:262,0,cyc4[0],10
BRDA:262,0,cyc4[1],5
BRDA:262,0,cyc4[2],2
BRDA:262,0,cyc4[3],1
DA:265,10
DA:266,10
DA:267,1
@ -163,8 +164,8 @@ DA:276,10
DA:277,10
DA:287,0
DA:288,0
BRDA:288,0,0,0
BRDA:288,0,1,0
BRDA:288,0,if,0
BRDA:288,0,else,0
DA:289,0
DA:291,0
DA:292,0
@ -174,91 +175,91 @@ DA:303,1
DA:304,20
DA:305,20
DA:309,19
BRDA:309,0,0,19
BRDA:309,0,1,11
BRDA:309,0,2,0
BRDA:309,0,3,0
BRDA:309,0,4,0
BRDA:309,0,5,0
BRDA:309,0,6,0
BRDA:309,0,7,0
BRDA:309,0,8,0
BRDA:309,0,9,0
BRDA:309,0,10,0
BRDA:309,0,11,0
BRDA:309,0,12,5
BRDA:309,0,13,0
BRDA:309,0,14,0
BRDA:309,0,15,0
BRDA:309,0,16,0
BRDA:309,0,17,0
BRDA:309,0,18,0
BRDA:309,0,19,0
BRDA:309,0,20,0
BRDA:309,0,21,0
BRDA:309,0,22,0
BRDA:309,0,23,2
BRDA:309,0,24,0
BRDA:309,0,25,0
BRDA:309,0,26,1
BRDA:309,0,27,0
BRDA:309,0,28,0
BRDA:309,0,29,0
BRDA:309,0,30,0
BRDA:309,0,31,0
BRDA:309,0,32,0
BRDA:309,0,clk,19
BRDA:309,0,cyc[0],11
BRDA:309,0,cyc[10],0
BRDA:309,0,cyc[11],0
BRDA:309,0,cyc[12],0
BRDA:309,0,cyc[13],0
BRDA:309,0,cyc[14],0
BRDA:309,0,cyc[15],0
BRDA:309,0,cyc[16],0
BRDA:309,0,cyc[17],0
BRDA:309,0,cyc[18],0
BRDA:309,0,cyc[19],0
BRDA:309,0,cyc[1],5
BRDA:309,0,cyc[20],0
BRDA:309,0,cyc[21],0
BRDA:309,0,cyc[22],0
BRDA:309,0,cyc[23],0
BRDA:309,0,cyc[24],0
BRDA:309,0,cyc[25],0
BRDA:309,0,cyc[26],0
BRDA:309,0,cyc[27],0
BRDA:309,0,cyc[28],0
BRDA:309,0,cyc[29],0
BRDA:309,0,cyc[2],2
BRDA:309,0,cyc[30],0
BRDA:309,0,cyc[31],0
BRDA:309,0,cyc[3],1
BRDA:309,0,cyc[4],0
BRDA:309,0,cyc[5],0
BRDA:309,0,cyc[6],0
BRDA:309,0,cyc[7],0
BRDA:309,0,cyc[8],0
BRDA:309,0,cyc[9],0
DA:310,19
BRDA:310,0,0,0
BRDA:310,0,1,2
BRDA:310,0,2,19
BRDA:310,0,3,6
BRDA:310,0,4,7
BRDA:310,0,5,1
BRDA:310,0,6,19
BRDA:310,0,7,3
BRDA:310,0,8,0
BRDA:310,0,9,0
BRDA:310,0,10,0
BRDA:310,0,a,0
BRDA:310,0,b,2
BRDA:310,0,c,19
BRDA:310,0,d,6
BRDA:310,0,e,7
BRDA:310,0,f,1
BRDA:310,0,g,19
BRDA:310,0,h,3
BRDA:310,0,k,0
BRDA:310,0,l,0
BRDA:310,0,m,0
DA:311,1
BRDA:311,0,0,1
BRDA:311,0,1,1
BRDA:311,0,2,0
BRDA:311,0,3,0
BRDA:311,0,4,0
BRDA:311,0,5,0
BRDA:311,0,tab[0],1
BRDA:311,0,tab[1],1
BRDA:311,0,tab[2],0
BRDA:311,0,tab[3],0
BRDA:311,0,tab[4],0
BRDA:311,0,tab[5],0
DA:313,2
BRDA:313,0,0,0
BRDA:313,0,1,2
BRDA:313,0,2,0
BRDA:313,0,3,0
BRDA:313,0,4,0
BRDA:313,0,5,0
BRDA:313,0,6,0
BRDA:313,0,7,0
BRDA:313,0,8,2
BRDA:313,0,9,0
BRDA:313,0,10,0
BRDA:313,0,11,0
BRDA:313,0,12,0
BRDA:313,0,13,0
BRDA:313,0,14,0
BRDA:313,0,15,0
BRDA:313,0,16,0
BRDA:313,0,17,0
BRDA:313,0,18,0
BRDA:313,0,19,0
BRDA:313,0,20,0
BRDA:313,0,21,0
BRDA:313,0,22,0
BRDA:313,0,23,0
BRDA:313,0,24,0
BRDA:313,0,25,0
BRDA:313,0,26,0
BRDA:313,0,27,0
BRDA:313,0,28,0
BRDA:313,0,29,0
BRDA:313,0,30,0
BRDA:313,0,31,0
BRDA:313,0,data[0][0][0],0
BRDA:313,0,data[0][0][1],2
BRDA:313,0,data[0][0][2],0
BRDA:313,0,data[0][0][3],0
BRDA:313,0,data[0][0][4],0
BRDA:313,0,data[0][0][5],0
BRDA:313,0,data[0][0][6],0
BRDA:313,0,data[0][0][7],0
BRDA:313,0,data[0][1][0],2
BRDA:313,0,data[0][1][1],0
BRDA:313,0,data[0][1][2],0
BRDA:313,0,data[0][1][3],0
BRDA:313,0,data[0][1][4],0
BRDA:313,0,data[0][1][5],0
BRDA:313,0,data[0][1][6],0
BRDA:313,0,data[0][1][7],0
BRDA:313,0,data[1][0][0],0
BRDA:313,0,data[1][0][1],0
BRDA:313,0,data[1][0][2],0
BRDA:313,0,data[1][0][3],0
BRDA:313,0,data[1][0][4],0
BRDA:313,0,data[1][0][5],0
BRDA:313,0,data[1][0][6],0
BRDA:313,0,data[1][0][7],0
BRDA:313,0,data[1][1][0],0
BRDA:313,0,data[1][1][1],0
BRDA:313,0,data[1][1][2],0
BRDA:313,0,data[1][1][3],0
BRDA:313,0,data[1][1][4],0
BRDA:313,0,data[1][1][5],0
BRDA:313,0,data[1][1][6],0
BRDA:313,0,data[1][1][7],0
DA:314,1
DA:317,21
DA:318,21
@ -266,69 +267,69 @@ DA:319,21
DA:322,10
DA:324,10
DA:327,31
BRDA:327,0,0,0
BRDA:327,0,1,31
BRDA:327,0,cond_then,0
BRDA:327,0,cond_else,31
DA:328,28
BRDA:328,0,0,3
BRDA:328,0,1,28
BRDA:328,0,cond_then,3
BRDA:328,0,cond_else,28
DA:329,21
BRDA:329,0,0,21
BRDA:329,0,1,0
BRDA:329,0,cond_then,21
BRDA:329,0,cond_else,0
DA:330,10
DA:331,10
BRDA:331,0,0,10
BRDA:331,0,1,7
BRDA:331,0,2,3
BRDA:331,0,3,3
BRDA:331,0,4,7
BRDA:331,0,block,10
BRDA:331,0,(((cyc %25 32'sh3) == 32'sh0)==0) => 0,7
BRDA:331,0,(((cyc %25 32'sh3) == 32'sh0)==1) => 1,3
BRDA:331,0,cond_then,3
BRDA:331,0,cond_else,7
DA:332,10
BRDA:332,0,0,10
BRDA:332,0,1,0
BRDA:332,0,2,10
BRDA:332,0,block,10
BRDA:332,0,cond_then,0
BRDA:332,0,cond_else,10
DA:334,19
BRDA:334,0,0,12
BRDA:334,0,1,19
BRDA:334,0,2,7
BRDA:334,0,3,5
BRDA:334,0,cond_then,12
BRDA:334,0,cond_else,19
BRDA:334,0,cond_then,7
BRDA:334,0,cond_else,5
DA:337,11
BRDA:337,0,0,11
BRDA:337,0,1,0
BRDA:337,0,cond_then,11
BRDA:337,0,cond_else,0
DA:343,11
BRDA:343,0,0,10
BRDA:343,0,1,11
BRDA:343,0,cond_then,10
BRDA:343,0,cond_else,11
DA:346,11
DA:347,10
BRDA:347,0,0,1
BRDA:347,0,1,0
BRDA:347,0,2,0
BRDA:347,0,3,1
BRDA:347,0,4,1
BRDA:347,0,5,10
BRDA:347,0,((cyc > 32'sh5)==0) => 0,1
BRDA:347,0,((cyc > 32'sh5)==1) => 1,0
BRDA:347,0,cond_then,0
BRDA:347,0,cond_else,1
BRDA:347,0,if,1
BRDA:347,0,else,10
DA:348,10
DA:350,11
BRDA:350,0,0,11
BRDA:350,0,1,10
BRDA:350,0,2,1
BRDA:350,0,3,1
BRDA:350,0,4,10
BRDA:350,0,block,11
BRDA:350,0,((cyc == 32'sh2)==0) => 0,10
BRDA:350,0,((cyc == 32'sh2)==1) => 1,1
BRDA:350,0,cond_then,1
BRDA:350,0,cond_else,10
DA:353,55
BRDA:353,0,0,11
BRDA:353,0,1,11
BRDA:353,0,2,0
BRDA:353,0,3,55
BRDA:353,0,block,11
BRDA:353,0,((i < 32'sh5)==0) => 0,11
BRDA:353,0,((i < 32'sh5)==1) => 1,0
BRDA:353,0,block,55
DA:354,55
DA:356,44
BRDA:356,0,0,11
BRDA:356,0,1,0
BRDA:356,0,2,11
BRDA:356,0,3,44
BRDA:356,0,block,11
BRDA:356,0,((i > 32'sh4)==0) => 0,0
BRDA:356,0,((i > 32'sh4)==1) => 1,11
BRDA:356,0,block,44
DA:357,44
DA:360,11
BRDA:360,0,0,11
BRDA:360,0,1,0
BRDA:360,0,2,0
BRDA:360,0,3,11
BRDA:360,0,(k==0) => 0,11
BRDA:360,0,(k==1) => 1,0
BRDA:360,0,if,0
BRDA:360,0,else,11
DA:361,11
BRF:183
BRF:184
BRH:39
end_of_record

View File

@ -1,5 +1,5 @@
Coverage Summary:
line : 88.6% ( 39/ 44)
line : 88.9% ( 40/ 45)
toggle : 33.3% ( 35/105)
branch : 78.1% ( 50/ 64)
expr : 66.7% ( 8/ 12)