$value$plusargs in SVA

In reply to ajp0:

This is a very open-ended question. You can use $value$plusargs to initialize any variable, and you use variables in assertions. Did you have something in mind?