mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-04 16:10:51 +00:00
Code Activity

avoid merging formal properties

Browse source
This commit is contained in:
N. Engelhardt 2025-12-17 20:25:24 +01:00
parent 49feaa1146
commit 45d654e2d7
4 changed files with 26 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
frontends/verific/verificsva.cc
View file

@ -1846,7 +1846,10 @@ struct VerificSvaImporter
if (mode_assume) c = module->addAssume(root_name, sig_a_q, sig_en_q);
if (mode_cover) c = module->addCover(root_name, sig_a_q, sig_en_q);
if (c) importer->import_attributes(c->attributes, root);
if (c) {
c->set_bool_attribute(ID(keep));
importer->import_attributes(c->attributes, root);
}
}
}
catch (ParserErrorException)