projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e93e4a7) | patch
Add Verific support for SVA nexttime properties
authorClifford Wolf <clifford@clifford.at>
Fri, 22 Nov 2019 15:11:56 +0000 (16:11 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 22 Nov 2019 15:11:56 +0000 (16:11 +0100)
commitdb323685a4357ae0a04a8def9de29ef3a8ba16c2
tree9f4ec5ae19c28ff6c54fa01fd464cce130acafe2tree
parente93e4a7a2c6875e87b7e2635470cf02aa45af23acommit | diff
Add Verific support for SVA nexttime properties

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verificsva.cc diff | blob | history