I've tried using other OpenAI tools to help write SVA assertions ... looked promising but they did not do what I expected ... I haven't tried ChatGPT for that (maybe it has a better natural language parser) as it's always busy these days!