diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-22 11:58:51 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-22 11:58:51 +0200 |
| commit | 2785aaffeb66575128da1f68044dd317660e0f3b (patch) | |
| tree | 864b248092eaa6a8096ecb45ba7fc5438d1af034 /tests/sva/basic02.sv | |
| parent | b3bc7068d1683cc0ac0b21cacdfb07867a7eeadb (diff) | |
| download | yosys-2785aaffeb66575128da1f68044dd317660e0f3b.tar.gz yosys-2785aaffeb66575128da1f68044dd317660e0f3b.tar.bz2 yosys-2785aaffeb66575128da1f68044dd317660e0f3b.zip | |
Improve docs for verific bindings, add simply sby example
Diffstat (limited to 'tests/sva/basic02.sv')
0 files changed, 0 insertions, 0 deletions