diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-10-13 20:23:19 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-10-13 20:23:19 +0200 |
commit | 1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64 (patch) | |
tree | 06e2f8a12488ed8cdc78229f83961321e6bf779c /manual/PRESENTATION_ExSyn | |
parent | e7a3c47cc793eaacff3b3bf0e996944f6963a7a8 (diff) | |
download | yosys-1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64.tar.gz yosys-1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64.tar.bz2 yosys-1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64.zip |
Add "verific -vlog-libdir"
Diffstat (limited to 'manual/PRESENTATION_ExSyn')
0 files changed, 0 insertions, 0 deletions