aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-05-14 09:41:47 +0200
committerClifford Wolf <clifford@clifford.at>2013-05-14 09:41:47 +0200
commitff4a1dd06c44aaadea8c4c58ca3255ec0a3a6bea (patch)
treef1541a2e75ce3081c53bae26b64dc0eec80b15fc /tests
parentbe8ecd6d1681b6f3b0c43470508473ba3301ce30 (diff)
downloadyosys-ff4a1dd06c44aaadea8c4c58ca3255ec0a3a6bea.tar.gz
yosys-ff4a1dd06c44aaadea8c4c58ca3255ec0a3a6bea.tar.bz2
yosys-ff4a1dd06c44aaadea8c4c58ca3255ec0a3a6bea.zip
Improved vcdcd.pl (added -d option)
Diffstat (limited to 'tests')
-rwxr-xr-xtests/tools/vcdcd.pl90
1 files changed, 82 insertions, 8 deletions
diff --git a/tests/tools/vcdcd.pl b/tests/tools/vcdcd.pl
index 93041534b..2abfb7a21 100755
--- a/tests/tools/vcdcd.pl
+++ b/tests/tools/vcdcd.pl
@@ -9,17 +9,36 @@ use Verilog::VCD qw(parse_vcd list_sigs);
$| = 1;
my $opt_width = 0;
-if ($ARGV[0] eq '-w') {
- $opt_width = +$ARGV[1];
- shift @ARGV;
- shift @ARGV;
+my $opt_delay = 0;
+
+while (1)
+{
+ if ($ARGV[0] eq '-w') {
+ $opt_width = +$ARGV[1];
+ shift @ARGV;
+ shift @ARGV;
+ next;
+ }
+ if ($ARGV[0] eq '-d') {
+ $opt_delay = +$ARGV[1];
+ shift @ARGV;
+ shift @ARGV;
+ next;
+ }
+ last;
}
if ($#ARGV != 1) {
print STDERR "\n";
print STDERR "VCDCD - Value Change Dump Change Dumper\n";
print STDERR "\n";
- print STDERR "Usage: $0 [-w N] gold.vcd gate.vcd\n";
+ print STDERR "Usage: $0 [-w N] [-d N] gold.vcd gate.vcd\n";
+ print STDERR "\n";
+ print STDERR " -w N\n";
+ print STDERR " reserve N characters for bitmap in text ouput (default: auto)\n";
+ print STDERR "\n";
+ print STDERR " -d N\n";
+ print STDERR " allow for N timesteps delay between gate and gold (default: 0)\n";
print STDERR "\n";
print STDERR "Compare a known-good (gold) vcd file with a second (gate) vcd file.\n";
print STDERR "This is not very efficient -- so use with care on large vcd files.\n";
@@ -177,12 +196,16 @@ sub cmp_signal($$)
unshift @b, $trail_b while $#b < $#a;
for (my $i = 0; $i <= $#a; $i++) {
+ next if $a[$i] eq "-" || $b[$i] eq "-";
return 0 if $a[$i] ne "x" && $a[$i] ne $b[$i];
}
return 1;
}
+# Message objects: .text, .time, .signal, .sync
+my @messages;
+
print "Comparing vcd data..\n";
for my $time (sort { $a <=> $b } keys %times)
{
@@ -199,15 +222,66 @@ for my $time (sort { $a <=> $b } keys %times)
$stga = $state_gate{$net} if exists $state_gate{$net};
if (cmp_signal($stgo, $stga)) {
next if $signal_sync{$net};
- printf "%-10s %-20d %-*s %-*s %s\n", "<sync>", $time, $signal_maxlen, $stgo, $signal_maxlen, $stga, $net;
+ my $message = { };
+ $message->{text} = sprintf "%-10s %-20d %-*s %-*s %s\n", "<sync>", $time, $signal_maxlen, $stgo, $signal_maxlen, $stga, $net;
+ $message->{time} = $time;
+ $message->{signal} = $net;
+ $message->{sync} = 1;
+ push @messages, $message;
$signal_sync{$net} = 1;
} else {
- printf "\n%-10s %-20s %-*s %-*s %s\n", "count", "time", $signal_maxlen, "gold", $signal_maxlen, "gate", "net" if $diffcount++ == 0;
- printf "%-10d %-20d %-*s %-*s %s\n", $diffcount, $time, $signal_maxlen, $stgo, $signal_maxlen, $stga, $net;
+ my $message = { };
+ $message->{text} = sprintf "%-10d %-20d %-*s %-*s %s\n", $diffcount, $time, $signal_maxlen, $stgo, $signal_maxlen, $stga, $net;
+ $message->{time} = $time;
+ $message->{signal} = $net;
+ $message->{sync} = 0;
+ push @messages, $message;
$signal_sync{$net} = 0;
+ $diffcount++;
}
}
}
print "Found $diffcount differences.\n";
+
+if ($opt_delay > 0) {
+ my %per_net_history;
+ my $removed_diff_count = 0;
+ for (my $i = 0; $i <= $#messages; $i++) {
+ my $message = $messages[$i];
+ $message->{deleted} = 0;
+ $per_net_history{$message->{signal}} = [ ] unless exists $per_net_history{$message->{signal}};
+ if ($message->{sync}) {
+ my $deleted_all = 1;
+ for my $j (@{$per_net_history{$message->{signal}}}) {
+ my $m = $messages[$j];
+ if ($m->{time} + $opt_delay >= $message->{time}) {
+ $m->{deleted} = 1;
+ $removed_diff_count++;
+ } else {
+ $deleted_all = 0;
+ }
+ }
+ $message->{deleted} = 1 if $deleted_all;
+ $per_net_history{$message->{signal}} = [ ];
+ } else {
+ push @{$per_net_history{$message->{signal}}}, $i;
+ }
+ }
+ my @new_messages;
+ for my $message (@messages) {
+ push @new_messages, $message unless $message->{deleted};
+ }
+ @messages = @new_messages;
+ printf "Removed %d differences using delay filtering.\n", $removed_diff_count;
+ $diffcount = $diffcount - $removed_diff_count;
+}
+
+if ($#messages >= 0) {
+ printf "\n%-10s %-20s %-*s %-*s %s\n", "count", "time", $signal_maxlen, "gold", $signal_maxlen, "gate", "net" if $diffcount++ == 0;
+ for (my $i = 0; $i <= $#messages; $i++) {
+ printf "%s", $messages[$i]->{text};
+ }
+}
+
exit ($diffcount > 0 ? 1 : 0);