diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-05-03 15:35:26 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-05-03 15:35:26 -0700 |
| commit | 09841c2ac1f36d06faada27093a2cf0cdfb6cb42 (patch) | |
| tree | d32f3475fba92e1f529e1117680c651aff0eba36 /tests/various/specify.ys | |
| parent | d9c4644e88b916d1eadfd401abf297c0995b6462 (diff) | |
| download | yosys-09841c2ac1f36d06faada27093a2cf0cdfb6cb42.tar.gz yosys-09841c2ac1f36d06faada27093a2cf0cdfb6cb42.tar.bz2 yosys-09841c2ac1f36d06faada27093a2cf0cdfb6cb42.zip | |
Add quick-and-dirty specify tests
Diffstat (limited to 'tests/various/specify.ys')
| -rw-r--r-- | tests/various/specify.ys | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/various/specify.ys b/tests/various/specify.ys new file mode 100644 index 000000000..c4e901705 --- /dev/null +++ b/tests/various/specify.ys @@ -0,0 +1,25 @@ +read_verilog -specify specify.v +prep +cd test +select t:$specify2 -assert-count 0 +select t:$specify3 -assert-count 1 +select t:$specrule -assert-count 2 +cd test2 +select t:$specify2 -assert-count 1 +select t:$specify3 -assert-count 0 +select t:$specrule -assert-count 0 +write_verilog specify.out +design -stash gold + +read_verilog -specify specify.out +cd test +select t:$specify2 -assert-count 0 +select t:$specify3 -assert-count 1 +select t:$specrule -assert-count 2 +cd test2 +select t:$specify2 -assert-count 1 +select t:$specify3 -assert-count 0 +select t:$specrule -assert-count 0 +design -stash gate + +# TODO: How to check $specify and $specrule-s are equivalent? |