File tree Expand file tree Collapse file tree 10 files changed +43
-55
lines changed
systemverilog-plugin/tests Expand file tree Collapse file tree 10 files changed +43
-55
lines changed Original file line number Diff line number Diff line change @@ -35,3 +35,9 @@ defaults_verify = true
3535defines_verify = true
3636formal_verify = true
3737translate_off_verify = true
38+
39+ .PHONY : systemverilog_tests_clean
40+ systemverilog_tests_clean :
41+ @rm -rf $(foreach test,$(TESTS ) ,$(test ) /tmp)
42+
43+ clean : systemverilog_tests_clean
Original file line number Diff line number Diff line change @@ -2,12 +2,10 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
108# Testing simple round-trip
11- read_systemverilog -o $TMP_DIR /break-continue-test $::env(DESIGN_TOP) .v
9+ read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP) .v
1210prep
1311write_table [test_output_path $::env(DESIGN_TOP) .out]
Original file line number Diff line number Diff line change @@ -2,11 +2,9 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
108# Testing simple round-trip
11- read_systemverilog -o $TMP_DIR /counter-test $::env(DESIGN_TOP) .v
9+ read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP) .v
1210write_verilog
Original file line number Diff line number Diff line change @@ -2,15 +2,13 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
108# Testing simple round-trip
11- read_systemverilog -debug -odir $TMP_DIR /debug-flag-test -defer $::env(DESIGN_TOP) -pkg.sv
12- read_systemverilog -debug -odir $TMP_DIR /debug-flag-test -defer $::env(DESIGN_TOP) -buf.sv
13- read_systemverilog -debug -odir $TMP_DIR /debug-flag-test -defer $::env(DESIGN_TOP) .v
14- read_systemverilog -debug -odir $TMP_DIR /debug-flag-test -link
9+ read_systemverilog -debug -odir $TMP_DIR -defer $::env(DESIGN_TOP) -pkg.sv
10+ read_systemverilog -debug -odir $TMP_DIR -defer $::env(DESIGN_TOP) -buf.sv
11+ read_systemverilog -debug -odir $TMP_DIR -defer $::env(DESIGN_TOP) .v
12+ read_systemverilog -debug -odir $TMP_DIR -link
1513hierarchy
1614write_verilog
Original file line number Diff line number Diff line change @@ -2,22 +2,20 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
108# Define forbidden value
119systemverilog_defaults -add -DPAKALA
1210# Stash it
1311systemverilog_defaults -push
1412systemverilog_defaults -clear
15- read_systemverilog -o $TMP_DIR /defaults-test $::env(DESIGN_TOP) .v
13+ read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP) .v
1614# Allow parsing the module again
1715delete top
1816systemverilog_defaults -pop
1917# Skip check for forbidden value
2018systemverilog_defaults -add -Pbypass=1
21- read_systemverilog -o $TMP_DIR /defaults-test $::env(DESIGN_TOP) .v
19+ read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP) .v
2220hierarchy
2321write_verilog
Original file line number Diff line number Diff line change @@ -2,14 +2,12 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
108systemverilog_defines -DPONA
119systemverilog_defines -DPAKALA
1210systemverilog_defines -UPAKALA
13- read_systemverilog -o $TMP_DIR /defines-test $::env(DESIGN_TOP) .v
11+ read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP) .v
1412hierarchy
1513write_verilog
Original file line number Diff line number Diff line change @@ -2,11 +2,9 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
10- read_systemverilog -o $TMP_DIR /formal-test -formal $::env(DESIGN_TOP) .v
8+ read_systemverilog -o $TMP_DIR -formal $::env(DESIGN_TOP) .v
119hierarchy
1210write_verilog
Original file line number Diff line number Diff line change @@ -2,15 +2,13 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
108# Testing simple round-trip
11- read_systemverilog -report $TMP_DIR /report-flag-test -odir $TMP_DIR /report-flag-test -defer $::env(DESIGN_TOP) -pkg.sv
12- read_systemverilog -report $TMP_DIR /report-flag-test -odir $TMP_DIR /report-flag-test -defer $::env(DESIGN_TOP) -buf.sv
13- read_systemverilog -report $TMP_DIR /report-flag-test -odir $TMP_DIR /report-flag-test -defer $::env(DESIGN_TOP) .v
14- read_systemverilog -report $TMP_DIR /report-flag-test -odir $TMP_DIR /report-flag-test -link
9+ read_systemverilog -report $TMP_DIR -odir $TMP_DIR -defer $::env(DESIGN_TOP) -pkg.sv
10+ read_systemverilog -report $TMP_DIR -odir $TMP_DIR -defer $::env(DESIGN_TOP) -buf.sv
11+ read_systemverilog -report $TMP_DIR -odir $TMP_DIR -defer $::env(DESIGN_TOP) .v
12+ read_systemverilog -report $TMP_DIR -odir $TMP_DIR -link
1513hierarchy
1614write_verilog
Original file line number Diff line number Diff line change @@ -2,15 +2,13 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
108# Testing simple round-trip
11- read_systemverilog -odir $TMP_DIR /separate-compilation-test -defer $::env(DESIGN_TOP) -pkg.sv
12- read_systemverilog -odir $TMP_DIR /separate-compilation-test -defer $::env(DESIGN_TOP) -buf.sv
13- read_systemverilog -odir $TMP_DIR /separate-compilation-test -defer $::env(DESIGN_TOP) .v
14- read_systemverilog -odir $TMP_DIR /separate-compilation-test -link
9+ read_systemverilog -odir $TMP_DIR -defer $::env(DESIGN_TOP) -pkg.sv
10+ read_systemverilog -odir $TMP_DIR -defer $::env(DESIGN_TOP) -buf.sv
11+ read_systemverilog -odir $TMP_DIR -defer $::env(DESIGN_TOP) .v
12+ read_systemverilog -odir $TMP_DIR -link
1513hierarchy
1614write_verilog
Original file line number Diff line number Diff line change @@ -2,9 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR /tmp
6- if { [info exists ::env(TMPDIR) ] } {
7- set TMP_DIR $::env(TMPDIR)
8- }
5+ set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
6+ file mkdir $TMP_DIR
97
10- read_systemverilog -o $TMP_DIR /translate_off-test $::env(DESIGN_TOP) .v
8+ read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP) .v
You can’t perform that action at this time.
0 commit comments