diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-27 11:54:45 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-27 11:54:45 +0200 |
| commit | d9641621d95078fe9f6534154f21f50827de60a6 (patch) | |
| tree | 5ae0cbd20117f125d8fb0e1dc45037e23b424309 /kernel | |
| parent | b24f73775983eb7a30d50f608ccc8702e54c57c3 (diff) | |
| download | yosys-d9641621d95078fe9f6534154f21f50827de60a6.tar.gz yosys-d9641621d95078fe9f6534154f21f50827de60a6.tar.bz2 yosys-d9641621d95078fe9f6534154f21f50827de60a6.zip | |
Add "verific -import -n" and "verific -import -nosva"
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions