================================================================================
Repeated sequence I
================================================================================
restrict {a[*2]};
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Braced_SERE
      (PSL_Repeated_SERE
        (PSL_Boolean
          (simple_name))
        (PSL_Count
          (PSL_Number
            (integer_decimal)))))))

================================================================================
Repeated sequence II
================================================================================
restrict {a[+]};
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Braced_SERE
      (PSL_Repeated_SERE
        (PSL_Boolean
          (simple_name))
        (PSL_Count)))))

================================================================================
Repeated sequence III
================================================================================
restrict {a[*]};
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Braced_SERE
      (PSL_Repeated_SERE
        (PSL_Boolean
          (simple_name))
        (PSL_Count)))))

================================================================================
Repeated sequence IV
================================================================================
restrict {[*]};
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Braced_SERE
      (PSL_Repeated_SERE
        (PSL_Count)))))

================================================================================
Repeated sequence V
================================================================================
restrict {a[=2]};
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Braced_SERE
      (PSL_Repeated_SERE
        (PSL_Boolean
          (simple_name))
        (PSL_Count
          (PSL_Number
            (integer_decimal)))))))

================================================================================
Repeated sequence VI
================================================================================
restrict {a[*1 to 3]};
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Braced_SERE
      (PSL_Repeated_SERE
        (PSL_Boolean
          (simple_name))
        (PSL_Count
          (ascending_range
            low: (simple_expression
              (integer_decimal))
            high: (simple_expression
              (integer_decimal))))))))

================================================================================
Sequence Instantiation - Minimal
================================================================================
restrict s;
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Sequence_Instance
      (PSL_Identifier))))

================================================================================
Sequence Instantiation - LRM I
================================================================================
restrict BusArb(breq, back, 3);
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Sequence_Instance
      (PSL_Identifier)
      (PSL_Actual_Parameter_List
        (PSL_Actual_Parameter
          (PSL_Any_Type
            (simple_name)))
        (PSL_Actual_Parameter
          (PSL_Any_Type
            (simple_name)))
        (PSL_Actual_Parameter
          (PSL_Any_Type
            (integer_decimal)))))))

================================================================================
Sequence Instantiation - LRM II
================================================================================
restrict ReadCycle(BusArb(breq, back, 5), breq, ardy, drdy);
--------------------------------------------------------------------------------

(design_file
  (PSL_Restrict_Directive
    (PSL_Sequence_Instance
      (PSL_Identifier)
      (PSL_Actual_Parameter_List
        (PSL_Actual_Parameter
          (PSL_Any_Type
            (ambiguous_name
              prefix: (simple_name)
              (expression_list
                (expression
                  (simple_name))
                (expression
                  (simple_name))
                (expression
                  (integer_decimal))))))
        (PSL_Actual_Parameter
          (PSL_Any_Type
            (simple_name)))
        (PSL_Actual_Parameter
          (PSL_Any_Type
            (simple_name)))
        (PSL_Actual_Parameter
          (PSL_Any_Type
            (simple_name)))))))
