/*
:name: array_queries
:description: array query function tests
:should_fail: 0
:tags: 20.7
:type: simulation parsing
*/

module top();

logic [31:0] arr;

initial begin
	$display(":assert: (%d == 0)", $unpacked_dimensions(arr));
	$display(":assert: (%d == 1)", $dimensions(arr));
	$display(":assert: (%d == 1)", $increment(arr));
	$display(":assert: (%d == 0)", $right(arr));
	$display(":assert: (%d == 31)", $left(arr));
	$display(":assert: (%d == 0)", $low(arr));
	$display(":assert: (%d == 31)", $high(arr));
	$display(":assert: (%d == 32)", $size(arr));
end

endmodule