Systemverilog assertion

[NimishaV]

For reference, the problem was due to the $sformatf, it can be resolved by using $psprintf instead.