class data;
     rand integer data1;
     rand integer data2,data3;
     rand reg [31:0] foo;
     
     constraint basic_c {
        
        //empty constraint
			}
       
       constraint complex_c {
			    data1 <= 100;
			    foo inside {[40:999]};
			    if(foo < 87)
			    data2 == 10;
			    if(data2 == 76) {
	 data3 == 8;
       }
			    }
	
	constraint implication_c {
	   data1 == 10 -> data3 >= -1;
	}
     
	function new();
	   data1 = 0;
	   data2 = 78;
	endfunction // new    
 endclass // data

--- verilog-mode.el.orig        2012-04-02 11:28:24.530560000 -0700
+++ verilog-mode.el     2012-04-02 13:50:26.922656000 -0700
@@ -5315,7 +5315,13 @@
           ((eq type 'defun)
            (list type 0))
           (t
-          (list type (verilog-current-indent-level))))))))
+          ;;(message "block point %s starting_position %s indent %s inside-constraint %s"
+          ;;       (point) starting_position
+          ;;       (verilog-current-indent-level-pos starting_position)
+          ;;       (verilog-inside-constraint-pos-p starting_position))
+          (if (verilog-inside-constraint-pos-p starting_position)
+              (list type (verilog-current-indent-level-pos starting_position))
+            (list type (verilog-current-indent-level)))))))))
 
 (defun verilog-wai ()
    "Show matching nesting block for debugging."
@@ -5921,6 +5927,7 @@
          (verilog-at-constraint-p)
          )
       nil)))
+
 (defun verilog-at-close-constraint-p ()
    "If at the } that closes a constraint or covergroup, return true."
    (if (and
@@ -5929,7 +5936,8 @@
 
        (save-excursion
         (verilog-backward-ws&directives)
-       (if (equal (char-before) ?\;)
+;;     (if (equal (char-before) ?\;)
+       (if (or (equal (char-before) ?\;) (equal (char-before) ?\}))
             (point)
           nil))))
 
@@ -5941,12 +5949,26 @@
          (forward-list)
          (progn (backward-char 1)
                 (verilog-backward-ws&directives)
-               (equal (char-before) ?\;))))
+;;             (equal (char-before) ?\;))))
+               (or (equal (char-before) ?\;) (equal (char-before) ?\})))))
        ;; maybe
        (verilog-re-search-backward "\\<constraint\\|coverpoint\\|cross\\>" nil 'move)
      ;; not
      nil))
 
+(defun verilog-inside-constraint-pos-p (pos)
+  "If inside a constraint or coverpoint definition, return true, moving point to constraint."
+  (save-excursion
+    (let (par-pos)
+      (beginning-of-line)
+      (setq par-pos (verilog-parenthesis-depth))
+      (while par-pos
+       (goto-char par-pos)
+       (beginning-of-line)
+       (setq par-pos (verilog-parenthesis-depth)))
+      (skip-chars-forward " \t")
+      (verilog-re-search-forward "\\<constraint\\>" pos 'move))))
+
 (defun verilog-at-struct-p ()
    "If at the { of a struct, return true, moving point to struct."
    (save-excursion
@@ -6227,6 +6249,21 @@
      indent-str                         ; Return indent data
      ))
 
+(defun verilog-current-indent-level-pos (pos)
+  "Return the indent-level of the current statement."
+  (save-excursion
+    (let (par-pos)
+      (goto-char pos)
+      (beginning-of-line)
+      (setq par-pos (verilog-parenthesis-depth))
+      (if par-pos
+         (progn
+           (goto-char par-pos)
+           (beginning-of-line)
+           (skip-chars-forward " \t")
+           (current-column))
+       0))))
+
 (defun verilog-current-indent-level ()
    "Return the indent-level of the current statement."
    (save-excursion

  always_comb
      begin
         case (in1)
           4'b0001 :     begin
              out1  = in2;
           end
           default       :       begin
              out1  = {4{1'b0}};
           end  // This mis-indents
         endcase
      end

if (x)
  `ovm_do_with(my,
                { y == 1;
    z == 2;
});