Merge pull request #1515 from YosysHQ/clifford/svastuff
authorClifford Wolf <clifford@clifford.at>
Fri, 22 Nov 2019 17:10:34 +0000 (18:10 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Nov 2019 17:10:34 +0000 (18:10 +0100)
commitcaa3b21f8bc6af4a9e2115c9b599676a4dd11a2d
tree9f4ec5ae19c28ff6c54fa01fd464cce130acafe2
parent72d2ef6fd071a8b2b9e1a77ddab3a9d632aa0f3d
parentdb323685a4357ae0a04a8def9de29ef3a8ba16c2
Merge pull request #1515 from YosysHQ/clifford/svastuff

Add Verific/SVA support for "always" and "nexttime" properties