mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-30 20:35:53 +00:00
Code Activity

Elaborate top level modules undo

Browse source
This commit is contained in:
Akash Levy 2024-06-03 16:17:51 -07:00
parent a692bf17d7
commit 4339b3681a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
frontends/verific/verific.cc
View file

@ -3279,7 +3279,7 @@ struct VerificPass : public Pass {
Message::SetMessageType("VERI-1063", VERIFIC_ERROR);
// https://github.com/YosysHQ/yosys/issues/1055
RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 0) ; // SILIMATE: add to resolve bug related to interfaces
RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 1) ;
RuntimeFlags::SetVar("verific_produce_verbose_syntax_error_message", 1);