Constrain Every Five Consecutive Array Elements to Be Unique

Given a randomized dynamic integer array arr, write a SystemVerilog constraint such that every consecutive window of five elements contains pairwise distinct values.

Requirements:

• If the array le...