verific/sva/firstmatch.sv · 8b04cc850e215ef3ecafa19408168323f4de4139 · lvzhengyang / yosys-tests · GitLab

Blame History Permalink

Add SVA firstmatch test · c32816fe
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
Clifford Wolf committed Mar 06, 2018
c32816fe

firstmatch.sv 2.64 KB