diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-11-22 16:11:56 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-11-22 16:11:56 +0100 |
commit | db323685a4357ae0a04a8def9de29ef3a8ba16c2 (patch) | |
tree | 9f4ec5ae19c28ff6c54fa01fd464cce130acafe2 /techlibs/coolrunner2/Makefile.inc | |
parent | e93e4a7a2c6875e87b7e2635470cf02aa45af23a (diff) | |
download | yosys-db323685a4357ae0a04a8def9de29ef3a8ba16c2.tar.gz yosys-db323685a4357ae0a04a8def9de29ef3a8ba16c2.tar.bz2 yosys-db323685a4357ae0a04a8def9de29ef3a8ba16c2.zip |
Add Verific support for SVA nexttime properties
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'techlibs/coolrunner2/Makefile.inc')
0 files changed, 0 insertions, 0 deletions