diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-24 13:57:16 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-24 13:57:16 +0200 |
| commit | 41be530c4e0388c36b012c38b407ec5731e137c1 (patch) | |
| tree | 23002ce328319e41649d31fa1fcbcab36e9adc13 /kernel | |
| parent | 92d3aad67059064503b31e47d3686478524fb9bc (diff) | |
| download | yosys-41be530c4e0388c36b012c38b407ec5731e137c1.tar.gz yosys-41be530c4e0388c36b012c38b407ec5731e137c1.tar.bz2 yosys-41be530c4e0388c36b012c38b407ec5731e137c1.zip | |
Add "verific -import -d <dump_file"
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions