1#!/usr/bin/env perl 2if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; } 3# DESCRIPTION: Verilator: Verilog Test driver/expect definition 4# 5# Copyright 2003-2009 by Wilson Snyder. This program is free software; you 6# can redistribute it and/or modify it under the terms of either the GNU 7# Lesser General Public License Version 3 or the Perl Artistic License 8# Version 2.0. 9# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0 10 11scenarios(simulator => 1); 12 13top_filename("t/t_assert_synth.v"); 14 15compile( 16 v_flags2 => ['+define+FAILING_FULL +define+ATTRIBUTES'], 17 verilator_flags2 => ['--assert'], 18 nc_flags2 => ['+assert'], 19 ); 20 21execute( 22 check_finished => 0, 23 fails => $Self->{vlt_all}, 24 expect_filename => $Self->{golden_filename}, 25 ); 26 27ok(1); 281; 29