diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-10-13 17:11:46 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-10-13 17:11:53 +0200 |
commit | 05068af88041d8fffbece6ec94f240c7ae3e4f54 (patch) | |
tree | 33a054c66fbacfa27a4982d881e4e87f425384f1 /frontends/verific/example.sby | |
parent | d565bc4a826b45a542699c5d7b085170ef4981b4 (diff) | |
download | yosys-05068af88041d8fffbece6ec94f240c7ae3e4f54.tar.gz yosys-05068af88041d8fffbece6ec94f240c7ae3e4f54.tar.bz2 yosys-05068af88041d8fffbece6ec94f240c7ae3e4f54.zip |
Update Verific README
Diffstat (limited to 'frontends/verific/example.sby')
0 files changed, 0 insertions, 0 deletions