Does anyone know/can point me to a work that defines formal semantics for SVA properties/sequences? The spec seems to not actually do this anywhere for some reason.

#systemverilog #verification #formalsemantics