diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2021-01-20 20:48:10 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2021-01-20 20:48:10 +0100 |
| commit | acad7a6e4031a37745bf05b84d9bd65d2e31627b (patch) | |
| tree | 87d2f4236bcc310dc39555b172706d4970fc6e3a /frontends/verific/example.sby | |
| parent | bfa353f154b3a72fca667b7da1a3e2ec15099a30 (diff) | |
| download | yosys-acad7a6e4031a37745bf05b84d9bd65d2e31627b.tar.gz yosys-acad7a6e4031a37745bf05b84d9bd65d2e31627b.tar.bz2 yosys-acad7a6e4031a37745bf05b84d9bd65d2e31627b.zip | |
Switch verific bindings from Symbiotic EDA flavored Verific to YosysHQ flavored Verific
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
Diffstat (limited to 'frontends/verific/example.sby')
0 files changed, 0 insertions, 0 deletions