3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-08 10:25:19 +00:00

Merge pull request #3487 from YosysHQ/micko/verific_mem_fix

Import memory attributes
This commit is contained in:
Miodrag Milanović 2022-09-21 17:28:42 +02:00 committed by GitHub
commit b2eb331b83
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1176,6 +1176,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
memory->name = RTLIL::escape_id(net->Name());
log_assert(module->count_id(memory->name) == 0);
module->memories[memory->name] = memory;
import_attributes(memory->attributes, net, nl);
int number_of_bits = net->Size();
int bits_in_word = number_of_bits;