diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-07 10:52:44 -0800 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-03-07 10:52:44 -0800 |
| commit | cda37830b060fd46834d8eb7af1171a1ffaee8ca (patch) | |
| tree | bb4f0790fef0a09ca72d335a607e865a204776af /frontends/ast/genrtlil.cc | |
| parent | 350dfd3745ec2efa92a601d3bab7712fd9bec07c (diff) | |
| download | yosys-cda37830b060fd46834d8eb7af1171a1ffaee8ca.tar.gz yosys-cda37830b060fd46834d8eb7af1171a1ffaee8ca.tar.bz2 yosys-cda37830b060fd46834d8eb7af1171a1ffaee8ca.zip | |
Add hack for handling SVA labels via Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/ast/genrtlil.cc')
0 files changed, 0 insertions, 0 deletions