verific/sva/run.sh · 01897ebf6d96d7a218aee94ac092d90bfd1ed637 · lvzhengyang / yosys-tests · GitLab

Blame History Permalink

Add verific/sva/ directory · 3b5a5373
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
Clifford Wolf committed Mar 01, 2018
3b5a5373

run.sh 583 Bytes