For dynamic delays and repeats, see
SVA Package: Dynamic and range delays and repeats
SVA: Package for dynamic and range delays and repeats - SystemVerilog - Verification Academy Provides a library and model solutions
See example at:
Need help in coding an assertion - #2 by ben2
Link to the list of papers and books that I wrote, many are now donated.
https://systemverilog.us/vf/Cohen_Links_to_papers_books.pdf