diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-03-04 15:08:21 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2018-03-04 15:08:21 +0100 |
commit | 8dcf3d0c7698c9556f5049dd6d912396724bf17a (patch) | |
tree | 5507fb6431333fd3d5b7c6c12f7811763226ce92 /COPYING | |
parent | 9ab2498c558560f664d2189a17182cb9f879d4ed (diff) | |
download | yosys-8dcf3d0c7698c9556f5049dd6d912396724bf17a.tar.gz yosys-8dcf3d0c7698c9556f5049dd6d912396724bf17a.tar.bz2 yosys-8dcf3d0c7698c9556f5049dd6d912396724bf17a.zip |
Add Verific SVA support for "seq and seq" expressions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions