projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ab2498) | patch
Add Verific SVA support for "seq and seq" expressions
authorClifford Wolf <clifford@clifford.at>
Sun, 4 Mar 2018 14:08:21 +0000 (15:08 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 4 Mar 2018 14:08:21 +0000 (15:08 +0100)
commit8dcf3d0c7698c9556f5049dd6d912396724bf17a
tree5507fb6431333fd3d5b7c6c12f7811763226ce92tree
parent9ab2498c558560f664d2189a17182cb9f879d4edcommit | diff
Add Verific SVA support for "seq and seq" expressions

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