main module testrange %set use_routine_names=true declare a_range is integer range 1..10 aa: static array [a_range] of integer a : static a_range enddeclare arm x_range_error a := 1 a := 11 a := 3 aa[25] := 3 aa[a] := 1 endmodule