diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/various/.gitignore | 2 | ||||
| -rw-r--r-- | tests/various/write_gzip.ys | 16 |
2 files changed, 18 insertions, 0 deletions
diff --git a/tests/various/.gitignore b/tests/various/.gitignore index 7b3e8c68e..31078b298 100644 --- a/tests/various/.gitignore +++ b/tests/various/.gitignore @@ -1,2 +1,4 @@ /*.log /*.out +/write_gzip.v +/write_gzip.v.gz diff --git a/tests/various/write_gzip.ys b/tests/various/write_gzip.ys new file mode 100644 index 000000000..030ec318e --- /dev/null +++ b/tests/various/write_gzip.ys @@ -0,0 +1,16 @@ +read -vlog2k <<EOT +module top(input a, output y); +assign y = !a; +endmodule +EOT + +prep -top top +write_verilog write_gzip.v.gz +design -reset + +! rm -f write_gzip.v +! gunzip write_gzip.v.gz +read -vlog2k write_gzip.v +! rm -f write_gzip.v +hierarchy -top top +select -assert-any top |