Interestingly, assert is supported for formal, so you could in theory techmap that to whatever would be the spice equivalent.