mirror of
https://github.com/verilator/verilator.git
synced 2025-01-14 18:44:02 +00:00
54 lines
2.0 KiB
Perl
Executable File
54 lines
2.0 KiB
Perl
Executable File
#!/usr/bin/env perl
|
|
if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
|
|
# DESCRIPTION: Verilator: Verilog Test driver/expect definition
|
|
#
|
|
# Copyright 2003 by Wilson Snyder. This program is free software; you
|
|
# can redistribute it and/or modify it under the terms of either the GNU
|
|
# Lesser General Public License Version 3 or the Perl Artistic License
|
|
# Version 2.0.
|
|
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
|
|
|
|
# Test for bin/verilator_gantt,
|
|
#
|
|
# Only needed in multithreaded regression.
|
|
scenarios(vltmt => 1);
|
|
|
|
# It doesn't really matter what test
|
|
# we use, so long as it runs several cycles,
|
|
# enough for the profiling to happen:
|
|
top_filename("t/t_gen_alw.v");
|
|
|
|
compile(
|
|
# Checks below care about thread count, so use 2 (minimum reasonable)
|
|
v_flags2 => ["--prof-threads --threads 2"]
|
|
);
|
|
|
|
execute(
|
|
all_run_flags => ["+verilator+prof+threads+start+2",
|
|
" +verilator+prof+threads+window+2",
|
|
" +verilator+prof+threads+file+$Self->{obj_dir}/profile_threads.dat",
|
|
" +verilator+prof+vlt+file+$Self->{obj_dir}/profile.vlt",
|
|
],
|
|
check_finished => 1,
|
|
);
|
|
|
|
# For now, verilator_gantt still reads from STDIN
|
|
# (probably it should take a file, gantt.dat like verilator_profcfunc)
|
|
# The profiling data still goes direct to the runtime's STDOUT
|
|
# (maybe that should go to a separate file - gantt.dat?)
|
|
run(cmd => ["$ENV{VERILATOR_ROOT}/bin/verilator_gantt",
|
|
"$Self->{obj_dir}/profile_threads.dat",
|
|
"--vcd $Self->{obj_dir}/profile_threads.vcd",
|
|
"| tee $Self->{obj_dir}/gantt.log"],
|
|
);
|
|
|
|
file_grep("$Self->{obj_dir}/gantt.log", qr/Total threads += 2/i);
|
|
file_grep("$Self->{obj_dir}/gantt.log", qr/Total mtasks += 7/i);
|
|
file_grep("$Self->{obj_dir}/gantt.log", qr/Total evals += 2/i);
|
|
|
|
# Diff to itself, just to check parsing
|
|
vcd_identical("$Self->{obj_dir}/profile_threads.vcd", "$Self->{obj_dir}/profile_threads.vcd");
|
|
|
|
ok(1);
|
|
1;
|