diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-22 12:31:08 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-22 12:31:08 +0200 |
| commit | 024ba310ecffa9dde47bbe66d82eab91d1f0c609 (patch) | |
| tree | 3288787070ef5ca48411fef6459b863aaac82eee /misc | |
| parent | 2785aaffeb66575128da1f68044dd317660e0f3b (diff) | |
| download | yosys-024ba310ecffa9dde47bbe66d82eab91d1f0c609.tar.gz yosys-024ba310ecffa9dde47bbe66d82eab91d1f0c609.tar.bz2 yosys-024ba310ecffa9dde47bbe66d82eab91d1f0c609.zip | |
Add some simple SVA test cases for future Verific work
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions