diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-07-29 10:29:36 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-07-29 10:29:36 +0200 |
commit | fc462c8243d60ebd769d5ce01142fb7ed49fa8f8 (patch) | |
tree | 345d89a7fdda5d1390cae35615a07b1f0a8a3dbd /frontends/verific/verific.cc | |
parent | 6538671c84a12114a991d59569eede3e0d368758 (diff) | |
download | yosys-fc462c8243d60ebd769d5ce01142fb7ed49fa8f8.tar.gz yosys-fc462c8243d60ebd769d5ce01142fb7ed49fa8f8.tar.bz2 yosys-fc462c8243d60ebd769d5ce01142fb7ed49fa8f8.zip |
Call "read_verilog" with -defer from "read"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/verific.cc')
-rw-r--r-- | frontends/verific/verific.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 2bf99e58e..06d58a44a 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2484,7 +2484,7 @@ struct ReadPass : public Pass { args[0] = "verific"; } else { args[0] = "read_verilog"; - args.erase(args.begin()+1, args.begin()+2); + args[1] = "-defer"; } Pass::call(design, args); return; @@ -2498,6 +2498,7 @@ struct ReadPass : public Pass { if (args[1] == "-formal") args.insert(args.begin()+1, std::string()); args[1] = "-sv"; + args.insert(args.begin()+1, "-defer"); } Pass::call(design, args); return; |