diff options
| author | Claire Wolf <claire@symbioticeda.com> | 2020-03-13 13:46:32 +0100 |
|---|---|---|
| committer | Claire Wolf <claire@symbioticeda.com> | 2020-03-13 13:46:32 +0100 |
| commit | 29e2b2dc05716607b136370432ba602c4f8c4822 (patch) | |
| tree | 2098c78de43e6218cc9735706492b0db71a23bfc /frontends/verilog | |
| parent | a0cc795e85541b0326b6d4396a726142f0d0f8bb (diff) | |
| download | yosys-29e2b2dc05716607b136370432ba602c4f8c4822.tar.gz yosys-29e2b2dc05716607b136370432ba602c4f8c4822.tar.bz2 yosys-29e2b2dc05716607b136370432ba602c4f8c4822.zip | |
Add info-file and cover features to write_btor
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'frontends/verilog')
0 files changed, 0 insertions, 0 deletions