diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-10-13 20:12:51 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-10-13 20:12:51 +0200 |
| commit | e7a3c47cc793eaacff3b3bf0e996944f6963a7a8 (patch) | |
| tree | 57c324336221ba900a0bae5a3c0083e6f1c55742 /manual | |
| parent | 05068af88041d8fffbece6ec94f240c7ae3e4f54 (diff) | |
| download | yosys-e7a3c47cc793eaacff3b3bf0e996944f6963a7a8.tar.gz yosys-e7a3c47cc793eaacff3b3bf0e996944f6963a7a8.tar.bz2 yosys-e7a3c47cc793eaacff3b3bf0e996944f6963a7a8.zip | |
Add "verific -vlog-incdir" and "verific -vlog-define"
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions