diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-11-25 17:40:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-25 17:40:57 +0100 |
| commit | 448a796e155416884c5fa45465da4e5ecc9f75a4 (patch) | |
| tree | 164722d2699a98b149b740562f0f7c04a2628919 /frontends/verific/verific.h | |
| parent | c55c514cdbd5a7968c17689876f2ced282071f9c (diff) | |
| parent | f764cd16556b638b2857a3df9b77281c1bf872a0 (diff) | |
| download | yosys-448a796e155416884c5fa45465da4e5ecc9f75a4.tar.gz yosys-448a796e155416884c5fa45465da4e5ecc9f75a4.tar.bz2 yosys-448a796e155416884c5fa45465da4e5ecc9f75a4.zip | |
Merge pull request #3560 from YosysHQ/verific_conf
Support importing verilog configurations using Verific
Diffstat (limited to 'frontends/verific/verific.h')
| -rw-r--r-- | frontends/verific/verific.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h index 695c04f3b..d9f0077db 100644 --- a/frontends/verific/verific.h +++ b/frontends/verific/verific.h @@ -26,7 +26,7 @@ YOSYS_NAMESPACE_BEGIN extern int verific_verbose; extern bool verific_import_pending; -extern void verific_import(Design *design, const std::map<std::string,std::string> ¶meters, std::string top = std::string()); +extern std::string verific_import(Design *design, const std::map<std::string,std::string> ¶meters, std::string top = std::string()); extern pool<int> verific_sva_prims; |