diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-27 11:40:07 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-27 11:40:07 +0200 |
| commit | 90d8329f642e710e8d4ce358cfb9543b85bcd822 (patch) | |
| tree | 0561b60c17c4fa15920923012b3ac78c7dfcc21b /tests/sva | |
| parent | 147ff96ba372c9dda7e4e662d02760c797ca5b68 (diff) | |
| download | yosys-90d8329f642e710e8d4ce358cfb9543b85bcd822.tar.gz yosys-90d8329f642e710e8d4ce358cfb9543b85bcd822.tar.bz2 yosys-90d8329f642e710e8d4ce358cfb9543b85bcd822.zip | |
Improve Verific SVA import: negedge and $past
Diffstat (limited to 'tests/sva')
0 files changed, 0 insertions, 0 deletions