Call "read_verilog" with -defer from "read"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 2bf99e58e8628acfa2c3699cc2c3cc170cbf7b33..06d58a44ab46ad8057d0f9fc478296f9355d04b9 100644 (file)
--- 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;