How to code a sorted linked list using constraints in SV

How to code a sorted linked list using constraints in SV.

In reply to smania89:

SystemVerilog has queues that should eliminate the need for using linked lists. I don’t think it’s possible to iterate over a linked list in any constraint.