projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a44e1ed) | patch
Add SVA support for sequence OR
authorClifford Wolf <clifford@clifford.at>
Sat, 3 Mar 2018 15:34:28 +0000 (16:34 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 3 Mar 2018 15:34:28 +0000 (16:34 +0100)
commit707ddb77bcb416399f7c61a2670731adbb97fc83
tree96cf4b8d730ff63e41cb6b890fe32787ff53d8dbtree
parenta44e1edaa302539fc1a53bf099c77b8085ed4d79commit | diff
Add SVA support for sequence OR

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