diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-06-07 12:30:24 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-06-07 12:30:24 +0200 |
| commit | 8f8baccfde62d238025024eb1060ae0aba4c77e3 (patch) | |
| tree | 302be16a368f4df3b010f0ad6d2edf4135ad5a1e /passes/techmap | |
| parent | 129984e115d318e00ec065ea76cb8c5926393bc4 (diff) | |
| download | yosys-8f8baccfde62d238025024eb1060ae0aba4c77e3.tar.gz yosys-8f8baccfde62d238025024eb1060ae0aba4c77e3.tar.bz2 yosys-8f8baccfde62d238025024eb1060ae0aba4c77e3.zip | |
Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand const reg"
Diffstat (limited to 'passes/techmap')
0 files changed, 0 insertions, 0 deletions