In reply to dave_59:
Lets say the sampling happens at rising edge of each clock.
You have covered the problem of covering array elements from 0 to 767.
But the solution does not include other part of the problem statement, i.e. mentioning elements at indices from 768 to 999 as illegal in coverage model.