Merge pull request #172 from antmicro/assume

Add support for vpiImmediateAssume

Author: kamilrakoczy

uhdm-plugin/UhdmAst.cc

@@ -3382,6 +3382,16 @@ void UhdmAst::process_immediate_cover()
     });
 }
 
+void UhdmAst::process_immediate_assume()
+{
+    current_node = make_ast_node(AST::AST_ASSUME);
+    visit_one_to_one({vpiExpr}, obj_h, [&](AST::AstNode *node) {
+        if (node) {
+            current_node->children.push_back(node);
+        }
+    });
+}
+
 void UhdmAst::process_while()
 {
     current_node = make_ast_node(AST::AST_WHILE);
@@ -3621,6 +3631,9 @@ AST::AstNode *UhdmAst::process_object(vpiHandle obj_handle)
     case vpiImmediateCover:
         process_immediate_cover();
         break;
+    case vpiImmediateAssume:
+        process_immediate_assume();
+        break;
     case vpiWhile:
         process_while();
         break;

uhdm-plugin/UhdmAst.h

@@ -131,6 +131,7 @@ class UhdmAst
     void process_byte_var();
     void process_long_int_var();
     void process_immediate_cover();
+    void process_immediate_assume();
     void process_while();
     void simplify_parameter(AST::AstNode *parameter, AST::AstNode *module_node = nullptr);
     void process_nonsynthesizable(const UHDM::BaseClass *object);