tree 9f4ec5ae19c28ff6c54fa01fd464cce130acafe2
parent 72d2ef6fd071a8b2b9e1a77ddab3a9d632aa0f3d
parent db323685a4357ae0a04a8def9de29ef3a8ba16c2
author Clifford Wolf <clifford@clifford.at> 1574442634 +0100
committer GitHub <noreply@github.com> 1574442634 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJd2BaKCRBK7hj4Ov3rIwAAdHIIAEeKVt3a3bjIMyBGznaAZd5r
 dAfW1Dj4G44kXcHW/MUKu3v0SgEPOoa0be3jxrPFhWayluYyirF81tXMcNbKuNoj
 5oYpvt6kMSRtwiO23s8pj17hCu3M0Io1OvmESPRZY81zG+VH5mKRdK2Gva4athqr
 DZWgYkvdoYuxXhtA4RQCwE0cGpkmasAeqCgFQy0vGgPihthCemN4qXPJKyGgHeQ5
 nhtadumTXr+e7HGBeE6f0MMOGZvkU4RGxw6hh3q/WHiQXrcm9wj+u8OEs2qMxOtc
 BejA03ZqFXy0JQSGhANqY2h0TYc9MSrgY2NehyRda8mQO0wvFncpK+4inMfyOgQ=
 =Dv8B
 -----END PGP SIGNATURE-----
 

Merge pull request #1515 from YosysHQ/clifford/svastuff

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