projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a74f805) | patch
Add support for trivial SVA sequences and properties
authorClifford Wolf <clifford@clifford.at>
Sat, 10 Mar 2018 13:32:01 +0000 (14:32 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 10 Mar 2018 13:32:01 +0000 (14:32 +0100)
commitda216937b1226d8dafc1aa33a19686eb694a15df
tree26b8eea16e9db9595035110611b9379fa66b536etree
parenta74f805ba0e3d1611d0a9904ab3a66c5d7bd38f3commit | diff
Add support for trivial SVA sequences and properties

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