mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-22 16:45:32 +00:00
Code Activity

Add better Yosys/Verific name aliasing and reenable dffe opt

Browse source
This commit is contained in:
Akash Levy 2024-06-15 14:18:33 -07:00
parent 2337d97977
commit fce46d2a53
4 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
frontends/verific/verific.cc
View file

@ -207,7 +207,9 @@ bool is_blackbox(Netlist *nl)
RTLIL::IdString VerificImporter::new_verific_id(Verific::DesignObj *obj)
{
std::string s = stringf("$%s$%d", obj->Name(), autoidx++);
std::string s = stringf("$%s", obj->Name());
if (seen_ids.count(s)) s += stringf("$%d", autoidx++);
seen_ids.insert(s);
return s;
}

1
kernel/yosys.cc
View file

@ -79,6 +79,7 @@ YOSYS_NAMESPACE_BEGIN
int autoidx = 1;
int yosys_xtrace = 0;
std::set<string> seen_ids;
RTLIL::Design *yosys_design = NULL;
CellTypes yosys_celltypes;

1
kernel/yosys_common.h
View file

@ -348,6 +348,7 @@ inline int GetSize(RTLIL::Wire *wire);
extern int autoidx;
extern int yosys_xtrace;
extern std::set<string> seen_ids;
RTLIL::IdString new_id(std::string file, int line, std::string func);
RTLIL::IdString new_id_suffix(std::string file, int line, std::string func, std::string suffix);

2
passes/opt/opt_dff.cc
View file

@ -884,7 +884,7 @@ struct OptDffPass : public Pass {
{
log_header(design, "Executing OPT_DFF pass (perform DFF optimizations).\n");
OptDffOptions opt;
opt.nodffe = true; // SILIMATE: DISABLE DFFE PASS BECAUSE IT BREAKS THE DESIGN
opt.nodffe = false;
opt.nosdff = false;
opt.simple_dffe = false;
opt.keepdc = false;