title: Example of a big SystemVerilog constraint
body: <p>Can you give an example of a big and complex SystemVerilog constraint? The bigger the better, and preferably realistic. Perhaps some address calculation that also depends on a few other variables.</p>
  
  <p>I am evaluating switching our IP to use SystemVerilog constraints, and my management wants to see how easy/hard it is to create/understand SystemVerilog constraints.</p>