diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-15 18:20:37 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-15 18:20:37 +0100 |
| commit | 7cf9d8802832a12b46a32cebb039d161586f414f (patch) | |
| tree | c7766d4be5e218b8f61910ae18b75dbca648641c /misc | |
| parent | bf402a806a4312cf29056d86872245be3a254fce (diff) | |
| download | yosys-7cf9d8802832a12b46a32cebb039d161586f414f.tar.gz yosys-7cf9d8802832a12b46a32cebb039d161586f414f.tar.bz2 yosys-7cf9d8802832a12b46a32cebb039d161586f414f.zip | |
Improve import of memories via Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions